| 2022-08-26 00:01:02 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6f8a:e9c1:3bc4:a024) (Quit: xff0x) |
| 2022-08-26 00:01:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 00:02:00 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 00:04:07 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-08-26 00:04:39 +0000 | td_ | (~td@94.134.91.83) |
| 2022-08-26 00:05:06 +0000 | <glguy> | johnw: Just glancing at the package (I haven't used it before) I imagine you could run into overflow issues given decimalPlaces :: Word8, but I'd be surprised if the Integer arithmetic had determinism issues |
| 2022-08-26 00:09:21 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-08-26 00:09:48 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) |
| 2022-08-26 00:10:05 +0000 | dsrt^ | (~dsrt@96.70.11.181) (Ping timeout: 255 seconds) |
| 2022-08-26 00:10:30 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) (Remote host closed the connection) |
| 2022-08-26 00:13:42 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a148-a5a9-53c4-68f2.res6.spectrum.com) |
| 2022-08-26 00:13:56 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 00:15:26 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 00:16:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 00:17:53 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 00:17:54 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-26 00:30:46 +0000 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-08-26 00:30:46 +0000 | money | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 2022-08-26 00:30:46 +0000 | money | (~Gambino@user/polo) |
| 2022-08-26 00:30:48 +0000 | money | Polo |
| 2022-08-26 00:33:32 +0000 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 00:34:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 00:36:38 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-08-26 00:37:32 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 255 seconds) |
| 2022-08-26 00:44:33 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-26 00:46:15 +0000 | Polo | (~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-26 00:46:32 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 00:47:24 +0000 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-26 00:51:05 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 00:51:07 +0000 | liz | (~liz@host86-157-124-38.range86-157.btcentralplus.com) (Remote host closed the connection) |
| 2022-08-26 00:54:55 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 210 seconds.) |
| 2022-08-26 00:55:21 +0000 | hueso | (~root@user/hueso) |
| 2022-08-26 01:04:41 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 01:06:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 01:07:01 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 01:08:11 +0000 | king_gs | (~Thunderbi@187.201.216.244) (Ping timeout: 260 seconds) |
| 2022-08-26 01:08:12 +0000 | king_gs1 | king_gs |
| 2022-08-26 01:10:31 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2022-08-26 01:11:52 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 01:13:53 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-26 01:16:12 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 01:18:41 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 01:25:14 +0000 | causal | (~user@50.35.83.177) |
| 2022-08-26 01:25:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 01:25:52 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 01:28:50 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2022-08-26 01:30:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-26 01:36:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 01:40:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 01:40:48 +0000 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) () |
| 2022-08-26 01:41:45 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2022-08-26 01:44:36 +0000 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2022-08-26 01:46:25 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-26 01:51:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-26 01:52:16 +0000 | iqubic | (~iqubic@2601:602:9502:c70:8762:e35e:374b:9ef9) |
| 2022-08-26 01:56:58 +0000 | <Axman6> | johnw: Scientific might also be an option, but I think all these representations can run into calculations that run forever (the Word8 there might save you though) |
| 2022-08-26 01:58:20 +0000 | <Axman6> | (Hmmmm, the Decimal divide function looks like it could be really usefor for the project I'm working on at the moment...) |
| 2022-08-26 02:01:51 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-26 02:01:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 02:02:09 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 02:02:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 02:07:20 +0000 | iqubic | (~iqubic@2601:602:9502:c70:8762:e35e:374b:9ef9) (Quit: Client closed) |
| 2022-08-26 02:07:55 +0000 | Guest5647 | (~polo@user/polo) |
| 2022-08-26 02:11:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 02:15:24 +0000 | td_ | (~td@94.134.91.83) (Ping timeout: 268 seconds) |
| 2022-08-26 02:16:57 +0000 | td_ | (~td@94.134.91.103) |
| 2022-08-26 02:20:31 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 02:20:37 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 02:22:10 +0000 | <Axman6> | Possibly a #ghc question, but trying here first - if you have a literal in a compiled file for a ByteString, does anyone know how it's stored in the compiled binary? "foo |
| 2022-08-26 02:22:45 +0000 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) |
| 2022-08-26 02:22:54 +0000 | <Axman6> | ""foo" :: ByteString - wondering if that goes voa String with the fromStringN call or if there's enough optimisation to store it as a C(ish) string and reference that directly |
| 2022-08-26 02:24:28 +0000 | <johnw> | > 15.034465284692086 ** 3.466120406090667 |
| 2022-08-26 02:24:30 +0000 | <lambdabot> | 12020.670425990642 |
| 2022-08-26 02:24:42 +0000 | <johnw> | on most machines, that answer is different |
| 2022-08-26 02:25:00 +0000 | <johnw> | Intel and M1 Mac give 12020.670425990644 |
| 2022-08-26 02:25:57 +0000 | <dolio> | Axman6: I think GHC builds regular strings from something more compact, like C strings. And then there are probably rewrite rules for directly building bytestrings without an intermediate String. |
| 2022-08-26 02:26:18 +0000 | <c_wraith> | Axman6: if the Lift instance is any good at all, it stores it as a BytesPrimL |
| 2022-08-26 02:26:33 +0000 | <c_wraith> | Axman6: which is literally an Addr# |
| 2022-08-26 02:26:53 +0000 | <c_wraith> | which I'd assume is a pointer into the text segment |
| 2022-08-26 02:28:17 +0000 | <c_wraith> | https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/src/Data.ByteString.Internal.html#lin… |
| 2022-08-26 02:28:34 +0000 | <c_wraith> | Well, if template-haskell is new enough, it does |
| 2022-08-26 02:28:53 +0000 | <c_wraith> | I suppose BytesPrimL was added in 2.16 |
| 2022-08-26 02:29:14 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:7f88:edef:fe86:249f) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 2022-08-26 02:29:40 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 02:29:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 02:29:54 +0000 | <c_wraith> | Otherwise it uses a StringPrimL, which is also an Addr#, but it implies conversion to and from characters which may not be appropriate |
| 2022-08-26 02:30:49 +0000 | <Axman6> | hmm - wasn;t thinking about TH, but thats interesting too. I remember seeing in the past String literals being compiled as fromCString "some string literal"# or whatever, I wondered if the bytestring would point directly to that |
| 2022-08-26 02:31:26 +0000 | <Axman6> | c_wraith: how new is that version of TH? |
| 2022-08-26 02:31:37 +0000 | <c_wraith> | no idea! |
| 2022-08-26 02:31:59 +0000 | <c_wraith> | Looks like ghc 8.10 |
| 2022-08-26 02:32:34 +0000 | <c_wraith> | So all the "modern" versions, for some definition of modern I just made up. |
| 2022-08-26 02:32:40 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 02:32:51 +0000 | <Axman6> | so basically ancient history at this point |
| 2022-08-26 02:33:15 +0000 | <Axman6> | (we need a GHC equivalent of BCE; B8.10E) |
| 2022-08-26 02:34:31 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 02:35:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 02:35:32 +0000 | <Axman6> | > 12020.670425990642 - 12020.670425990644 |
| 2022-08-26 02:35:34 +0000 | <lambdabot> | -1.8189894035458565e-12 |
| 2022-08-26 02:35:42 +0000 | Guest5647 | Polo |
| 2022-08-26 02:35:51 +0000 | <Axman6> | johnw: surely that's small enough for government work? |
| 2022-08-26 02:36:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 02:38:33 +0000 | <johnw> | not when you're hashing outputs |
| 2022-08-26 02:39:08 +0000 | <johnw> | so it seems that GHC, same version, both Intel processors, gives different answers between mine and a co-worker's machine |
| 2022-08-26 02:39:49 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-26 02:40:41 +0000 | tom | (~chenqisu1@183.217.200.212) |
| 2022-08-26 02:40:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 02:41:40 +0000 | luffy | (~chenqisu1@183.217.200.212) (Remote host closed the connection) |
| 2022-08-26 02:42:05 +0000 | tom | Guest4172 |
| 2022-08-26 02:43:16 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-26 02:44:18 +0000 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 02:44:50 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Read error: Connection reset by peer) |
| 2022-08-26 02:45:01 +0000 | king_gs1 | (~Thunderbi@187.201.216.244) |
| 2022-08-26 02:45:45 +0000 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 02:47:19 +0000 | king_gs1 | king_gs |
| 2022-08-26 02:47:48 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-08-26 02:48:06 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-08-26 02:49:50 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-26 02:51:03 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-26 02:51:18 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 02:59:55 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 02:59:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-26 02:59:55 +0000 | finn_elija | FinnElija |
| 2022-08-26 03:02:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 03:04:17 +0000 | king_gs | (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 2022-08-26 03:04:50 +0000 | Polo | (~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-26 03:05:02 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 03:10:36 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 03:13:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 03:13:11 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 03:13:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 03:15:14 +0000 | <Axman6> | how fun D: |
| 2022-08-26 03:15:29 +0000 | <Axman6> | I would love to know why if you find out |
| 2022-08-26 03:20:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 03:20:37 +0000 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-26 03:21:06 +0000 | <johnw> | I'll let you know! It happens in Perl too, so it's not a GHC thing |
| 2022-08-26 03:21:20 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-26 03:21:40 +0000 | vglfr | (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 2022-08-26 03:22:52 +0000 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-26 03:24:03 +0000 | jargon | (~jargon@184.101.169.20) (Ping timeout: 244 seconds) |
| 2022-08-26 03:25:24 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 03:26:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 03:30:58 +0000 | <Axman6> | well, that's a bit of a relief! |
| 2022-08-26 03:32:49 +0000 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2022-08-26 03:33:47 +0000 | hololeap | (~quassel@user/hololeap) |
| 2022-08-26 03:34:20 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Ping timeout: 268 seconds) |
| 2022-08-26 03:42:23 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 03:42:45 +0000 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-08-26 03:43:10 +0000 | Patternm1ster | (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2022-08-26 03:43:30 +0000 | Patternmaster | (~georg@user/Patternmaster) |
| 2022-08-26 03:47:52 +0000 | _73 | (~user@pool-173-76-102-248.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-08-26 03:49:00 +0000 | <Clinton[m]> | I'm working on a cabal project, which consists of about a dozen cabal packages, and I have recently made the build process a bit stricter basically by ensuring all our packages are `-Wall` and `-Werror`. However, I'd like to be able to do say, a `cabal build all --dev` or something during development that turns off _some_ warnings, in particular the unused _blah_ warnings. But, I do want cabal to attempt to rebuild the files when I finally |
| 2022-08-26 03:49:00 +0000 | <Clinton[m]> | am ready to push a branch and do a `cabal build all`, not just use the built files that weren't checked for these warnings. |
| 2022-08-26 03:49:00 +0000 | <Clinton[m]> | Is there a way to achieve this? |
| 2022-08-26 03:49:06 +0000 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-08-26 03:51:18 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-08-26 03:52:31 +0000 | <c_wraith> | Clinton[m]: untested, but maybe if you make it a cabal flag and reconfigure the package the flag changed? |
| 2022-08-26 03:52:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 03:53:19 +0000 | <c_wraith> | honestly, that's a tricky one. Usually people want to recompile *less*.. |
| 2022-08-26 03:53:47 +0000 | <c_wraith> | I guess you could also just fire off a cabal clean |
| 2022-08-26 03:54:22 +0000 | <c_wraith> | Put it into a script that also rebuilds with full warnings and -Werror |
| 2022-08-26 03:55:15 +0000 | <Clinton[m]> | c_wraith: as in, put the same flag in all my `.cabal` files, and make that flag turn off warnings? |
| 2022-08-26 03:55:35 +0000 | <Clinton[m]> | c_wraith: well turn off some of them at least |
| 2022-08-26 03:55:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 03:55:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 03:57:26 +0000 | ardell_ | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-26 03:58:08 +0000 | <c_wraith> | something like that. My note is mostly based on the observation that cabal considers changing flags to be changing the package key, so it considers it a whole new package, and... hopefully recompiles because of that. |
| 2022-08-26 03:58:26 +0000 | <c_wraith> | changing cabal flags, that is |
| 2022-08-26 03:58:30 +0000 | ddb | (~ddb@ipv6two.tilde.club) (Ping timeout: 268 seconds) |
| 2022-08-26 04:00:12 +0000 | ddb | (~ddb@ipv6two.tilde.club) |
| 2022-08-26 04:00:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 04:00:23 +0000 | <L29Ah> | is it me or -Wall -Werror impacts portability a lot, basically forcing to get rid of deprecated everything and all the extra imports that allow building my code with older ghc/libs? |
| 2022-08-26 04:02:28 +0000 | <c_wraith> | You can work around those issues... but yes, it adds a lot of noise to do those workarounds |
| 2022-08-26 04:04:38 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-08-26 04:06:13 +0000 | <c_wraith> | keeping that even sort of relatively under control is why a lot of packages adopt things like 3-version rules, where they say every release of their library will support the last three major versions of GHC, but they make no guarantees going back further. |
| 2022-08-26 04:06:28 +0000 | <c_wraith> | ... Though the bugginess of 9.x releases has thrown a wrench into that. |
| 2022-08-26 04:07:49 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-26 04:15:58 +0000 | <monochrom> | I think -Wall hasn't changed a lot over the years? |
| 2022-08-26 04:16:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 04:16:53 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-26 04:18:05 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-26 04:18:07 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-26 04:18:38 +0000 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-26 04:19:49 +0000 | <L29Ah> | it hasn't but libs changed |
| 2022-08-26 04:20:06 +0000 | <L29Ah> | some imports became redundant and -Wall -Werror happily explodes on them |
| 2022-08-26 04:20:15 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-08-26 04:21:40 +0000 | <[Leary]> | You want something like -Wwarn=deprecations -Wwarn=dodgy-imports -Wwarn=unused-imports |
| 2022-08-26 04:22:26 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-08-26 04:24:03 +0000 | <c_wraith> | -Wall has definitely changed |
| 2022-08-26 04:24:13 +0000 | <c_wraith> | And there are people who get unhappy every time a new warning is added |
| 2022-08-26 04:25:30 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-26 04:25:40 +0000 | <dolio> | That's why you shouldn't use -Wall. :þ |
| 2022-08-26 04:30:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 04:30:39 +0000 | <janus> | Clinton[m]: you can have multiple cabal.projects and choose the one to use using --project-file |
| 2022-08-26 04:31:11 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 04:31:12 +0000 | <janus> | Clinton[m]: cabal.project files are used only for local development, so it is what you want, since you don't want this to get used when not working on the library itself |
| 2022-08-26 04:32:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 04:35:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 04:43:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 04:44:36 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) (Ping timeout: 260 seconds) |
| 2022-08-26 04:47:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 04:52:45 +0000 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-26 04:54:32 +0000 | benin0 | (~benin@183.82.205.66) (Ping timeout: 268 seconds) |
| 2022-08-26 05:00:01 +0000 | <hololeap> | Clinton[m]: a common practice is to add a 'pedantic' flag which turns on -Werror, which you can add to a 'common' stanza and 'import' it everywhere. then you can turn it on/off in cabal.project.local as you see fit. you would have to add this same 'common' stanza and flag to all your packages, though |
| 2022-08-26 05:04:29 +0000 | cods_ | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2022-08-26 05:04:41 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-08-26 05:06:21 +0000 | <hololeap> | for instance: https://github.com/hololeap/cabal-portage/blob/main/parsable/parsable.cabal#L26-L49 |
| 2022-08-26 05:09:55 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-26 05:10:50 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-26 05:18:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 05:21:03 +0000 | <johnw> | Axman6: so here is some odd code: https://gist.github.com/f8eab8aca4ab60230ecfde0ca62bbf1d |
| 2022-08-26 05:21:14 +0000 | <johnw> | on some platforms, this prints two different answers from the same pow function! |
| 2022-08-26 05:21:27 +0000 | <johnw> | and it looks like whatever is happening due to my "safe_pow" wrapper, is what happens to GHC's FFI boundary |
| 2022-08-26 05:23:11 +0000 | king_gs | (~Thunderbi@187.201.216.244) |
| 2022-08-26 05:24:39 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2022-08-26 05:27:09 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-26 05:29:04 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-26 05:35:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 05:36:54 +0000 | jargon | (~jargon@184.101.185.66) |
| 2022-08-26 05:43:02 +0000 | king_gs | (~Thunderbi@187.201.216.244) (Read error: Connection reset by peer) |
| 2022-08-26 05:43:11 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 05:45:29 +0000 | king_gs1 | king_gs |
| 2022-08-26 05:46:16 +0000 | cheater | (~Username@user/cheater) |
| 2022-08-26 05:47:00 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 05:56:25 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-08-26 05:56:28 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-26 05:57:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-26 05:59:16 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 260 seconds) |
| 2022-08-26 06:00:50 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 06:03:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 06:05:02 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 06:07:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 06:10:58 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 06:11:40 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-26 06:12:56 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 06:15:26 +0000 | dos__^^ | (~user@user/dos/x-1723657) (Read error: Connection reset by peer) |
| 2022-08-26 06:16:11 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 06:16:14 +0000 | chele | (~chele@user/chele) |
| 2022-08-26 06:17:11 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 06:17:47 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 06:20:06 +0000 | coot | (~coot@213.134.176.158) (Remote host closed the connection) |
| 2022-08-26 06:22:36 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
| 2022-08-26 06:22:51 +0000 | kenran | (~kenran@p200300df77304e00c7e0792bdbb64275.dip0.t-ipconnect.de) |
| 2022-08-26 06:23:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 06:25:44 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-26 06:25:59 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-26 06:30:27 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-26 06:30:56 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 06:33:33 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-26 06:34:05 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-26 06:36:01 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-26 06:36:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-26 06:38:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 06:41:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-26 06:47:06 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-08-26 06:54:26 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-26 06:54:59 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 248 seconds) |
| 2022-08-26 06:56:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 06:57:42 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-08-26 06:58:11 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2022-08-26 07:00:53 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 07:06:46 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-26 07:07:11 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:960c:3e36:2011:d901) |
| 2022-08-26 07:07:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 07:09:15 +0000 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 07:09:49 +0000 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 07:11:52 +0000 | aforemny_ | aforemny |
| 2022-08-26 07:13:42 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 07:14:20 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 07:14:42 +0000 | jtomas | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-26 07:14:56 +0000 | michalz | (~michalz@185.246.204.90) |
| 2022-08-26 07:16:46 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9065c8dabee66bffd1.dip0.t-ipconnect.de) |
| 2022-08-26 07:19:23 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 255 seconds) |
| 2022-08-26 07:20:20 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:4494:42b0:507c:252c) |
| 2022-08-26 07:20:34 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-26 07:25:25 +0000 | themc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-26 07:27:15 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 07:28:03 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 2022-08-26 07:31:15 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 07:32:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 07:42:07 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 07:44:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 07:47:59 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 07:48:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 07:52:40 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-26 07:53:14 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-26 07:58:58 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-26 08:02:07 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4194:7795:a0fa:7264) |
| 2022-08-26 08:02:30 +0000 | <merijn> | Clinton[m]: /sb goto +20 |
| 2022-08-26 08:02:38 +0000 | <merijn> | hmm |
| 2022-08-26 08:02:45 +0000 | <merijn> | awkward tab complete failure xD |
| 2022-08-26 08:04:00 +0000 | phma | (phma@2001:5b0:210d:9458:aee1:2881:7c08:f7a7) |
| 2022-08-26 08:04:51 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 08:05:02 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 08:05:09 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-26 08:08:00 +0000 | fserucas | (~fserucas@83.223.251.40) |
| 2022-08-26 08:17:34 +0000 | olle | (~olle@h-94-254-63-12.NA.cust.bahnhof.se) |
| 2022-08-26 08:17:45 +0000 | <olle> | What's the situation with printf in haskell? Only string literal? |
| 2022-08-26 08:17:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 08:20:11 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4194:7795:a0fa:7264) (Remote host closed the connection) |
| 2022-08-26 08:20:30 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:e583:10da:cffa:3886) |
| 2022-08-26 08:23:10 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-26 08:24:16 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 08:25:26 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 08:26:29 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:e583:10da:cffa:3886) (Remote host closed the connection) |
| 2022-08-26 08:27:23 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:205a:6422:dcc1:1c1c) |
| 2022-08-26 08:27:38 +0000 | <maerwald[m]> | olle: printf works |
| 2022-08-26 08:28:32 +0000 | <tdammers> | The printf in base (Text.Printf.printf) works fine, it's just not fully typesafe |
| 2022-08-26 08:28:59 +0000 | <maerwald[m]> | printf was never typesafe |
| 2022-08-26 08:29:03 +0000 | <tdammers> | e.g., printf "%i %i" "Hello, world!" will compile, but it will error at runtime |
| 2022-08-26 08:29:49 +0000 | <merijn> | olle: There's not enough context to understand what kinda answer you're even looking for |
| 2022-08-26 08:30:08 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Remote host closed the connection) |
| 2022-08-26 08:30:15 +0000 | <tdammers> | and yeah, ^. |
| 2022-08-26 08:30:27 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-26 08:31:02 +0000 | <maerwald[m]> | If you want something typesafe, then you don't want printf |
| 2022-08-26 08:31:50 +0000 | <dminuoso> | "As an ExitCode is not an IOException, exitWith bypasses the error handling in the IO monad and cannot be intercepted by catch from the Prelude" |
| 2022-08-26 08:32:07 +0000 | <dminuoso> | This seems misleading, as `catch` can catch this perfectly fine if you monomorphize it to SomeException... |
| 2022-08-26 08:33:21 +0000 | <dminuoso> | Or is there something subtle Im missing? |
| 2022-08-26 08:34:11 +0000 | <merijn> | dminuoso: check the repo to see how old those docs are? :p |
| 2022-08-26 08:34:32 +0000 | <dminuoso> | Fair *shrugs* |
| 2022-08-26 08:35:02 +0000 | <dminuoso> | Im just mildly annoyed that I cannot special-case ExitCode in a outermost `handle` |
| 2022-08-26 08:36:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 08:38:39 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:205a:6422:dcc1:1c1c) (Remote host closed the connection) |
| 2022-08-26 08:38:57 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:cead:ee68:494c:1354) |
| 2022-08-26 08:40:12 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 08:41:19 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-08-26 08:41:20 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-26 08:44:22 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 08:45:22 +0000 | <olle> | merijn: in ocaml, they limit the first input arg to printf, it must be a string literal so that the compiler can figure out the function signature |
| 2022-08-26 08:46:17 +0000 | <olle> | tdammers: error at runtime, eh. |
| 2022-08-26 08:47:13 +0000 | <olle> | Just curious in general, since I'm writing on a little compiler project :) |
| 2022-08-26 08:47:49 +0000 | <merijn> | In general: Don't use printf |
| 2022-08-26 08:48:13 +0000 | <c_wraith> | Hey, now that the Uncons type family exists, you can write a type-safe printf |
| 2022-08-26 08:48:15 +0000 | <olle> | merijn: So what's the type-safe alternative...? |
| 2022-08-26 08:48:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 08:49:01 +0000 | nattiestnate | (~nate@202.138.250.9) |
| 2022-08-26 08:49:16 +0000 | <merijn> | olle: I use either Text Builder, a prettyprinter, or just "putStrLn $ mconcat [ list of strings and explicitly converted elements here]" |
| 2022-08-26 08:49:51 +0000 | <merijn> | c_wraith: A bunch of type safe printfs already exist, using all sorts of type level machinery and god knows what |
| 2022-08-26 08:50:05 +0000 | <c_wraith> | sure, but Uncons actually makes them efficient |
| 2022-08-26 08:50:27 +0000 | <merijn> | And you know what? I can get 99% of the power with 5% of the complexity by just "having a list of strings and things explicitly converted to strings" |
| 2022-08-26 08:50:31 +0000 | <c_wraith> | instead of taking minutes to compile if the format string is long... |
| 2022-08-26 08:51:38 +0000 | <maerwald[m]> | Shitty type families, because we want to be as cool as Idris |
| 2022-08-26 08:51:40 +0000 | <merijn> | Stuff like: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/model-src/Evaluate.hs#L375-L385 |
| 2022-08-26 08:51:59 +0000 | <merijn> | Added bonus: don't have to explain complicated type level stuff to beginners |
| 2022-08-26 08:52:32 +0000 | <c_wraith> | It's not that complicated to say "put a @ in front of the format string" |
| 2022-08-26 08:52:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-26 08:55:29 +0000 | <lortabac> | there are also a couple of string interpolation libraries |
| 2022-08-26 08:56:55 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-26 08:58:15 +0000 | <merijn> | c_wraith: And enable the relevant extension to enable that and hope the error messages don't become inscrutable |
| 2022-08-26 08:58:56 +0000 | <c_wraith> | inscrutable error messages are better than segfaults. :P |
| 2022-08-26 08:59:19 +0000 | <merijn> | c_wraith: Sure, but that wasn't the alternative I proposed |
| 2022-08-26 08:59:38 +0000 | <c_wraith> | But that's what people asking for printf expect |
| 2022-08-26 09:00:31 +0000 | <c_wraith> | also, your proposal is really bad at the cases where I'd want printf - formatting tabular numeric output. |
| 2022-08-26 09:02:00 +0000 | <merijn> | c_wraith: How is it worse at that then printf? |
| 2022-08-26 09:04:15 +0000 | <c_wraith> | printf provides a compact numeric format specification language that only takes 3 or 4 characters to full describe most numeric formats you want. That's a lot less pleasant than a bunch of function calls with slightly different parameters |
| 2022-08-26 09:05:15 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 09:05:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 09:05:27 +0000 | <c_wraith> | err. more pleasant. brain failing |
| 2022-08-26 09:05:36 +0000 | <c_wraith> | how'd it get so late? |
| 2022-08-26 09:07:41 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9065c8dabee66bffd1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 09:11:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-26 09:12:22 +0000 | kaskal- | (~kaskal@213-225-33-152.nat.highway.a1.net) (Quit: ZNC - https://znc.in) |
| 2022-08-26 09:12:50 +0000 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) |
| 2022-08-26 09:18:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-26 09:20:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 09:23:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 09:23:58 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) |
| 2022-08-26 09:25:58 +0000 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Quit: king_gs) |
| 2022-08-26 09:43:14 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:cead:ee68:494c:1354) (Ping timeout: 252 seconds) |
| 2022-08-26 09:45:34 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-26 09:48:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-26 09:48:21 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-26 09:49:36 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 09:50:35 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2022-08-26 09:52:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 09:52:24 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 09:53:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 09:56:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 10:00:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-08-26 10:00:36 +0000 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
| 2022-08-26 10:02:32 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 10:03:00 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 10:03:16 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 10:03:50 +0000 | cheater | (~Username@user/cheater) |
| 2022-08-26 10:05:27 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-26 10:07:24 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-08-26 10:07:27 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ebdd:9648:ec0b:a288) |
| 2022-08-26 10:08:23 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-26 10:10:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 10:15:10 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-08-26 10:17:41 +0000 | fserucas | (~fserucas@83.223.251.40) (Ping timeout: 260 seconds) |
| 2022-08-26 10:25:14 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 255 seconds) |
| 2022-08-26 10:27:09 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 10:27:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 10:28:51 +0000 | MoC | (~moc@user/moc) |
| 2022-08-26 10:29:33 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:ebdd:9648:ec0b:a288) (Remote host closed the connection) |
| 2022-08-26 10:29:52 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:a29:a40d:c286:af9d) |
| 2022-08-26 10:32:26 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 10:36:02 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2022-08-26 10:37:00 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:f468:ae00:9bb1:fddf) |
| 2022-08-26 10:37:22 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 10:41:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 10:42:11 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 10:43:47 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) |
| 2022-08-26 10:45:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 10:50:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 10:53:50 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 10:55:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-26 11:03:26 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:a29:a40d:c286:af9d) (Remote host closed the connection) |
| 2022-08-26 11:03:45 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4707:8153:2279:bb9) |
| 2022-08-26 11:12:26 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 11:14:21 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Client Quit) |
| 2022-08-26 11:14:38 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 11:19:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 11:20:06 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 11:21:18 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 11:24:21 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:4707:8153:2279:bb9) (Remote host closed the connection) |
| 2022-08-26 11:24:40 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7a19:dcb1:41a4:e1bf) |
| 2022-08-26 11:25:16 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-26 11:25:23 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-08-26 11:25:56 +0000 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-26 11:27:57 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-26 11:28:57 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 11:29:12 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 11:35:57 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:7a19:dcb1:41a4:e1bf) (Remote host closed the connection) |
| 2022-08-26 11:39:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 11:43:02 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 11:43:48 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 11:48:24 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 11:48:42 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 11:48:47 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 11:51:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 11:55:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 11:55:56 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-08-26 11:58:22 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 11:58:49 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) |
| 2022-08-26 11:59:10 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:01:15 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) (Max SendQ exceeded) |
| 2022-08-26 12:01:43 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) |
| 2022-08-26 12:03:29 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-08-26 12:04:56 +0000 | jtomas | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-08-26 12:05:31 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 12:09:33 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:09:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 12:09:41 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Ping timeout: 260 seconds) |
| 2022-08-26 12:09:50 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) (Ping timeout: 268 seconds) |
| 2022-08-26 12:10:21 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 12:11:24 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:12:35 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 12:12:51 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:15:25 +0000 | kenran | (~kenran@p200300df77304e00c7e0792bdbb64275.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 12:17:07 +0000 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) |
| 2022-08-26 12:19:20 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-26 12:20:11 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90ed2e80addb26645c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 12:20:43 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2022-08-26 12:23:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2022-08-26 12:24:08 +0000 | <troydm> | is there a way to get object reference address in memory in Haskell? |
| 2022-08-26 12:25:14 +0000 | <troydm> | like I have something like type MyType = MyType Text which I want to implement Eq by reference in memory, I know that doesn't sounds right but it's performance optimization hack |
| 2022-08-26 12:27:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 12:27:46 +0000 | <opqdonut> | there's stuff like reallyUnsafePtrEquality# |
| 2022-08-26 12:27:52 +0000 | <opqdonut> | but I have no idea how to use those correctly |
| 2022-08-26 12:30:22 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-26 12:30:50 +0000 | <jackdk> | opqdonut: Manuel Chakravaty used it in his Haskell bindings to SpriteKit to provide a declarative interface and avoid many expensive equality checks. I think it's in https://www.youtube.com/watch?v=GaorHAlUkVs but my internet is bad right now. |
| 2022-08-26 12:31:05 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:fd36:7f1:588a:9c0f) |
| 2022-08-26 12:31:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-08-26 12:32:24 +0000 | <merijn> | troydm: No, because memory location isn't fixed |
| 2022-08-26 12:34:50 +0000 | <troydm> | merijn: if you force both values they won't change their memory location right? |
| 2022-08-26 12:34:57 +0000 | <merijn> | Maybe |
| 2022-08-26 12:35:08 +0000 | <merijn> | troydm: GC can move them, and GC can happen basically anytime |
| 2022-08-26 12:35:28 +0000 | <merijn> | I know reallyUnsafePtrEquality# can give both false positives *and* false negatives even when paranoidly used |
| 2022-08-26 12:36:04 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-26 12:36:21 +0000 | <merijn> | troydm: More importantly, Text already does pointer equality internally before doing full comparison |
| 2022-08-26 12:37:04 +0000 | <troydm> | merijn: it does? |
| 2022-08-26 12:37:21 +0000 | <troydm> | merijn: if it does my problem is solved |
| 2022-08-26 12:37:36 +0000 | <merijn> | hmm, maybe not, I thought it did. But it does a bunch of optimisations already |
| 2022-08-26 12:37:53 +0000 | <merijn> | Like, if two texts have different lengths it immediately returns false without checking contents |
| 2022-08-26 12:38:37 +0000 | <troydm> | <interactive>:9:41: error: parse error on input ‘\#’ |
| 2022-08-26 12:38:38 +0000 | <troydm> | ghci> import GHC.Prim (reallyUnsafePtrEquality#) |
| 2022-08-26 12:38:43 +0000 | <troydm> | how do I use it? |
| 2022-08-26 12:39:11 +0000 | <troydm> | merijn: yeah I understand that |
| 2022-08-26 12:39:17 +0000 | <merijn> | It requires MagicHash |
| 2022-08-26 12:43:21 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-08-26 12:44:13 +0000 | <troydm> | another way I think is to use IORef values and check those to each other right? |
| 2022-08-26 12:44:22 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 12:44:43 +0000 | vglfr | (~vglfr@145.224.94.75) (Read error: Connection reset by peer) |
| 2022-08-26 12:45:00 +0000 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-26 12:45:17 +0000 | <merijn> | IORefs and MVar always compare by their location, yes |
| 2022-08-26 12:46:57 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 12:49:20 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 268 seconds) |
| 2022-08-26 12:50:28 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-26 12:52:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 12:54:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 12:54:11 +0000 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-26 12:55:55 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:fd36:7f1:588a:9c0f) (Remote host closed the connection) |
| 2022-08-26 12:56:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-08-26 12:58:40 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) |
| 2022-08-26 13:01:23 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2022-08-26 13:01:33 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2022-08-26 13:03:35 +0000 | averell | (~averell@user/averell) (Quit: .) |
| 2022-08-26 13:04:13 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-08-26 13:04:54 +0000 | kadobanana | (~mud@user/kadoban) |
| 2022-08-26 13:06:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 13:06:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:13:31 +0000 | nattiestnate | (~nate@202.138.250.9) (Quit: WeeChat 3.6) |
| 2022-08-26 13:15:19 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 13:17:10 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 13:17:52 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 13:18:09 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 13:22:10 +0000 | <eikke> | Looks like `--gcc-options` passed to `cabal configure` are passed to gcc when compiling a hsc2hs-generated C file, but not whejn compiling C files part of a package's `c-sources`. Is that expected? |
| 2022-08-26 13:22:21 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-26 13:22:35 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2022-08-26 13:22:57 +0000 | <geekosaur> | this might be a question for #hackage (which despite its name is about cabal) |
| 2022-08-26 13:23:32 +0000 | <Maeda> | Hi! Is this a good place to start with learning Haskell? https://wiki.haskell.org/Tutorials, especially "Introduction to Haskell (Spring 2013)". I do not want to start with obsolete content :). Thanks. |
| 2022-08-26 13:23:45 +0000 | <eikke> | geekosaur: thanks! |
| 2022-08-26 13:24:12 +0000 | <geekosaur> | most of the changes since 2013 have been to advanced topics |
| 2022-08-26 13:24:35 +0000 | <merijn> | eikke: Don't use gcc-options, use c-options |
| 2022-08-26 13:24:41 +0000 | <geekosaur> | the spring 2013 course by byorgey is generally considered the best one tp start from |
| 2022-08-26 13:24:54 +0000 | <opqdonut> | Maeda: consider https://haskell.mooc.fi/ |
| 2022-08-26 13:25:04 +0000 | <merijn> | eikke: C files get compiled via C compiler invoked by GHC and I dunno how gcc-options are handled there |
| 2022-08-26 13:25:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 13:26:29 +0000 | <eikke> | merijn: I can put stuff in `cc-options`, sure, but I was thinking to move a bunch of not-needed compiler flags out of my lib's lib.cabal file and move them in cabal.project |
| 2022-08-26 13:26:58 +0000 | <eikke> | As an example, ghc-options -Wall aren't really needed in lib.cabal's ghc-options. Same for C compiler -Wall. Having stuff in cabal.project would allow to have -Werror in there |
| 2022-08-26 13:27:52 +0000 | <merijn> | You shouldn't have -Werror in your cabal anyway if you plan to upload to hackage (in fact, pretty sure Hackage will reject your package if you do that) |
| 2022-08-26 13:28:00 +0000 | tristanC_ | tristanC |
| 2022-08-26 13:28:16 +0000 | <eikke> | merijn: I know. But having it in cabal.project is a different story, right? |
| 2022-08-26 13:28:41 +0000 | <merijn> | Yeah, but I'd just move the -Werror into cabal.project, not the others :p |
| 2022-08-26 13:28:47 +0000 | <eikke> | That's the point, I'd like my local dev env and other contributors and CI etc to have -Werror, but the distributed package not |
| 2022-08-26 13:29:05 +0000 | <geekosaur> | then you want cabal.project.local, not cabal.project |
| 2022-08-26 13:29:20 +0000 | <eikke> | geekosaur: why .local only? |
| 2022-08-26 13:29:33 +0000 | <geekosaur> | because that's the one that's not part of the package |
| 2022-08-26 13:30:03 +0000 | <eikke> | I have 2 libs in the same git-tree, cabal.project is at the root, are you saying it's somehow still made part of the sdists of the (subdir) libraries? |
| 2022-08-26 13:30:08 +0000 | <geekosaur> | well, if you're breaking it up then cabal.project belongs only to the package it shares a directory with |
| 2022-08-26 13:30:20 +0000 | <geekosaur> | it may be okay in that case |
| 2022-08-26 13:30:36 +0000 | <merijn> | geekosaur: huh, -Werror and stuff sounds right for cabal.project |
| 2022-08-26 13:30:44 +0000 | <geekosaur> | but you should develop the habit of using .local so as to not get a surprise when it's in the same dir as a cabal file |
| 2022-08-26 13:30:44 +0000 | <merijn> | He said he wants it set for all contriubtors |
| 2022-08-26 13:31:30 +0000 | <eikke> | geekosaur: .local shouldn't be in VCS, so seems weird if these are settings that should be applied to all dev/CI envs |
| 2022-08-26 13:32:09 +0000 | <eikke> | (I was out of the Haskell sphere for a while, when cabal.project was introduced, so I may be missing a couple of things ;)) |
| 2022-08-26 13:33:03 +0000 | <merijn> | eikke: I think geekosaur is misunderstanding you |
| 2022-08-26 13:33:20 +0000 | <eikke> | The way I interpreted is: foo.cabal is about the package, what gets sdist'ed/uploaded to hackage. cabal.project is about dev/build environment but doesn't influence sdist/hackage. c.p.local is system-local overrides |
| 2022-08-26 13:33:31 +0000 | <merijn> | eikke: Yes |
| 2022-08-26 13:34:15 +0000 | <eikke> | so having compiler warnings (and optionally -Werror) seems a good fit for cabal.project, but not foo.cabal (where historically these things were put) |
| 2022-08-26 13:34:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:36:01 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-08-26 13:36:24 +0000 | kenran | (~kenran@ip-037-024-119-190.um08.pools.vodafone-ip.de) (Quit: WeeChat info:version) |
| 2022-08-26 13:36:27 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-26 13:36:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 13:37:53 +0000 | <merijn> | I would keep warnings inside the cabal file, though. Makes it easier for users to spot things going potentially wrong that your tests may not see |
| 2022-08-26 13:39:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:39:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:960c:3e36:2011:d901) (Ping timeout: 268 seconds) |
| 2022-08-26 13:40:56 +0000 | <eikke> | merijn: maybe, though seems unlikely because when installed as a dep, the cabal output won't show the compiler output by default iirc |
| 2022-08-26 13:44:01 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2022-08-26 13:44:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 13:45:11 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-08-26 13:48:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 13:52:34 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90e5222ed8f1aa363c.dip0.t-ipconnect.de) |
| 2022-08-26 13:57:16 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 13:58:01 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-08-26 13:59:23 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-26 13:59:38 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-08-26 14:01:41 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-08-26 14:01:41 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-26 14:05:24 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-26 14:09:28 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-26 14:09:51 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds) |
| 2022-08-26 14:14:54 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-08-26 14:16:02 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-26 14:16:07 +0000 | <worldhelloworld1> | How do I see a history of this irc channel? My irc client doesn't retain history :( |
| 2022-08-26 14:17:25 +0000 | <geekosaur> | there's a log in the /topic |
| 2022-08-26 14:17:44 +0000 | <geekosaur> | (search doesn't work, though) |
| 2022-08-26 14:19:54 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 14:21:20 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 14:21:47 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bd51:d0d0:1488:2474) |
| 2022-08-26 14:23:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-26 14:25:53 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:26:45 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-26 14:27:29 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-26 14:28:31 +0000 | acidjnk | (~acidjnk@p200300d6e7137a90e5222ed8f1aa363c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 14:30:16 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 260 seconds) |
| 2022-08-26 14:31:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 14:32:50 +0000 | gnyeki | (~gnyeki@user/gnyeki) (Quit: leaving) |
| 2022-08-26 14:33:56 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 14:35:59 +0000 | gnyeki | (~gnyeki@user/gnyeki) |
| 2022-08-26 14:38:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 14:39:06 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 14:39:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 14:40:57 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds) |
| 2022-08-26 14:41:34 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 14:42:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 14:43:25 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-08-26 14:52:38 +0000 | ddellacosta | (~ddellacos@143.244.47.90) |
| 2022-08-26 14:53:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 14:54:32 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-26 14:56:03 +0000 | pavonia | (~user@user/siracusa) |
| 2022-08-26 14:57:03 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-26 14:58:19 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 15:02:27 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 15:03:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:04:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:05:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:06:21 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-08-26 15:07:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:07:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:07:38 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:bd51:d0d0:1488:2474) (Remote host closed the connection) |
| 2022-08-26 15:07:57 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:16a0:cc74:b1e8:4d5) |
| 2022-08-26 15:08:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 15:11:05 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-08-26 15:11:25 +0000 | econo | (uid147250@user/econo) |
| 2022-08-26 15:18:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 15:22:24 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-08-26 15:24:50 +0000 | maroloccio | (~marolocci@151.53.151.111) |
| 2022-08-26 15:25:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 15:29:14 +0000 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:16a0:cc74:b1e8:4d5) (Remote host closed the connection) |
| 2022-08-26 15:29:46 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-26 15:30:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 15:37:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 15:38:33 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2022-08-26 15:38:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 15:42:09 +0000 | justDeez | justache |
| 2022-08-26 15:46:08 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-26 15:46:49 +0000 | maroloccio | (~marolocci@151.53.151.111) (Quit: WeeChat 3.0) |
| 2022-08-26 15:58:34 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-26 15:59:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 16:08:11 +0000 | oo_migue1 | (~pi@77.252.47.226) (Ping timeout: 252 seconds) |
| 2022-08-26 16:10:01 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:f468:ae00:9bb1:fddf) (Ping timeout: 260 seconds) |
| 2022-08-26 16:10:18 +0000 | oo_migue1 | (~pi@77.252.47.160) |
| 2022-08-26 16:10:45 +0000 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2022-08-26 16:11:11 +0000 | fserucas | (~fserucas@2001:8a0:75cf:a000:3e07:2fab:6f55:9d33) (Ping timeout: 260 seconds) |
| 2022-08-26 16:11:21 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 16:11:21 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-26 16:11:36 +0000 | ystael | (~ystael@user/ystael) |
| 2022-08-26 16:11:39 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 16:12:10 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-26 16:17:12 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 16:17:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 16:17:46 +0000 | oo_migue1 | (~pi@77.252.47.160) (Ping timeout: 268 seconds) |
| 2022-08-26 16:19:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 16:19:39 +0000 | oo_migue1 | (~pi@77-252-46-58.static.ip.netia.com.pl) |
| 2022-08-26 16:22:03 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-26 16:23:09 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) |
| 2022-08-26 16:24:09 +0000 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-26 16:25:07 +0000 | hometown | (~blurb@96.45.2.121) (Quit: Leaving) |
| 2022-08-26 16:28:14 +0000 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-08-26 16:30:06 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-26 16:31:16 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.dsl.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2022-08-26 16:32:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 16:33:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 16:35:26 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-26 16:35:39 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 16:36:00 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 16:37:53 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:4494:42b0:507c:252c) (Remote host closed the connection) |
| 2022-08-26 16:38:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 16:39:05 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:97b:9ffd:dcae:7700) |
| 2022-08-26 16:39:05 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-26 16:39:56 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (Ping timeout: 268 seconds) |
| 2022-08-26 16:39:58 +0000 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 268 seconds) |
| 2022-08-26 16:41:39 +0000 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-26 16:43:01 +0000 | TravisAthougies[ | (~tathougie@2001:470:69fc:105::2:6fbd) |
| 2022-08-26 16:44:20 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 16:46:04 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-08-26 16:50:27 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:97b:9ffd:dcae:7700) (Ping timeout: 268 seconds) |
| 2022-08-26 16:51:31 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-26 16:58:04 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 16:58:06 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-08-26 16:58:20 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 17:00:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:02:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 17:06:57 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:6c1:7ffb:81b:ea40) |
| 2022-08-26 17:07:59 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2022-08-26 17:10:41 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 260 seconds) |
| 2022-08-26 17:17:23 +0000 | <raehik> | I'm designing some type classes for parsing & serializing, like Aeson. Question: morally/in your opinion, should I provide instances for Void? Aeson does, but it means ToJSON Void runtime errors |
| 2022-08-26 17:17:35 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 17:17:40 +0000 | OpenSource | (~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Changing host) |
| 2022-08-26 17:17:40 +0000 | OpenSource | (~Hash@user/OpenSource) |
| 2022-08-26 17:17:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 17:18:03 +0000 | <raehik> | The underlying question here is perhaps "how should one use Void" |
| 2022-08-26 17:18:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:22:56 +0000 | <zero> | did takeUntil disappear or did i dream about such a function? |
| 2022-08-26 17:23:31 +0000 | <c_wraith> | I don't think it takeUntil ever existed in base, but I'm sure many packages have defined it |
| 2022-08-26 17:23:36 +0000 | <geekosaur> | is that a list function or a parser function? |
| 2022-08-26 17:23:45 +0000 | <zero> | list |
| 2022-08-26 17:23:58 +0000 | <geekosaur> | I think there are megaparsec functions of that variety, but never a list function |
| 2022-08-26 17:24:44 +0000 | <zero> | maybe i'm getting it mixed with takeWhile |
| 2022-08-26 17:26:20 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds) |
| 2022-08-26 17:27:28 +0000 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-26 17:29:16 +0000 | acidjnk | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 17:32:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:33:06 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-26 17:33:42 +0000 | <[exa]> | raehik: you can perfectly run ToJSON Void, if someone marks the void for you as Void -- you just output the "null" or something and don't even think about touching the parameter |
| 2022-08-26 17:33:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 17:34:34 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) |
| 2022-08-26 17:34:57 +0000 | <raehik> | [exa]: really? `ToJSON Void` uses `toJSON = absurd` |
| 2022-08-26 17:35:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:35:19 +0000 | <raehik> | ToJSON () outputs a JSON null (or w/e it's called) |
| 2022-08-26 17:35:23 +0000 | <c_wraith> | I think using absurd is better anyway. anyone who claims to be giving you a Void is lying |
| 2022-08-26 17:35:29 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 17:35:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 17:36:58 +0000 | <raehik> | I felt uneasy even implementing an instance for Void. But I'm seeing some use as an end user to mark something as "obviously failable if you broke an expectation" |
| 2022-08-26 17:37:45 +0000 | <raehik> | and if I don't add an instance then it will become an orphan and I can't have that weighing on my consciousness so I think I'll add it |
| 2022-08-26 17:37:51 +0000 | <[exa]> | yeah well, true that anything except `absurd` would be a crime in the standard library |
| 2022-08-26 17:38:45 +0000 | califax | (~califax@user/califx) |
| 2022-08-26 17:38:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:38:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 17:39:07 +0000 | <[exa]> | I think there was another reason for that, something that helped the typechecking in more complicated cases, basically by making Void completely unexceptional |
| 2022-08-26 17:40:22 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-26 17:40:24 +0000 | <raehik> | on the generics side I can generate a type error if I get a void constructor which is nice |
| 2022-08-26 17:44:03 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-26 17:45:55 +0000 | OpenSource | (~Hash@user/OpenSource) (Quit: ZNC - https://znc.in) |
| 2022-08-26 17:46:10 +0000 | OpenSource | (~kernel@user/OpenSource) |
| 2022-08-26 17:51:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 17:59:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 18:02:07 +0000 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) |
| 2022-08-26 18:03:09 +0000 | toby | (~toby@137.220.84.171) (Quit: Lost terminal) |
| 2022-08-26 18:05:29 +0000 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-08-26 18:19:46 +0000 | <dmj`> | may or may not have implemented a JSON parser at the type level. |
| 2022-08-26 18:20:10 +0000 | <geekosaur> | rip your snaity |
| 2022-08-26 18:20:14 +0000 | <geekosaur> | *sanity |
| 2022-08-26 18:20:23 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-08-26 18:25:00 +0000 | <dmj`> | geekosaur: https://gist.github.com/dmjio/2e94862988830dfd7e4bd51d29c1a9ba |
| 2022-08-26 18:27:04 +0000 | <monochrom> | haha achievement unlocked |
| 2022-08-26 18:27:14 +0000 | <dmj`> | haha :P |
| 2022-08-26 18:28:11 +0000 | <monochrom> | <Q> Hi why do you use C++ for prime factorization and Haskell for webapps? <A> Because I want to do those at compile time. |
| 2022-08-26 18:28:33 +0000 | <c_wraith> | that's what template haskell is for! |
| 2022-08-26 18:28:55 +0000 | <c_wraith> | ... ghci interpretation can't be any slower than template interpretation |
| 2022-08-26 18:28:58 +0000 | bjobjo_ | (~bjobjo@user/bjobjo) (Quit: leaving) |
| 2022-08-26 18:29:59 +0000 | <dmj`> | Lots can be done now, can have type safe jq queries as well, or json path, can augment it to have json schema too. |
| 2022-08-26 18:31:06 +0000 | <dmj`> | c_wraith: I guess its the difference between the yesod approach and the servant approach. |
| 2022-08-26 18:31:18 +0000 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-08-26 18:31:31 +0000 | califax | (~califax@user/califx) |
| 2022-08-26 18:32:49 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-08-26 18:32:50 +0000 | qhong_ | qhong |
| 2022-08-26 18:32:53 +0000 | <dmj`> | this is why I want type level Read, but I guess an open type family can do that |
| 2022-08-26 18:34:19 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-26 18:35:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-26 18:35:27 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 18:36:02 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-26 18:36:15 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-08-26 18:36:20 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 18:37:04 +0000 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-26 18:37:05 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-26 18:37:07 +0000 | <monochrom> | Laplace's Web Programming Method: 1. Predict all requests in the future. 2. Hardcode the desired responses as a type-level list. 3. Deploy. |
| 2022-08-26 18:38:31 +0000 | <c_wraith> | look, the set of possible http request bodies is countable. This should be easy! |
| 2022-08-26 18:38:56 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-26 18:40:50 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 18:44:01 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 18:44:34 +0000 | <dmj`> | the grammar could be extended to include types so, `type Schema = "{ \"thing\" : @Thing }", which could produce a function to parse / encode, `toJSON :: Thing -> Value; toJSON (Proxy @Schema)", using the type family induction trick. |
| 2022-08-26 18:45:32 +0000 | <zero> | i just found out about constance synonyms like HasCallStack and Partial. where can i read about constant synonyms? |
| 2022-08-26 18:45:41 +0000 | <zero> | s/constance/constant |
| 2022-08-26 18:46:48 +0000 | <zero> | oops, nvm that |
| 2022-08-26 18:47:11 +0000 | <zero> | s/constant/constraint/g |
| 2022-08-26 18:48:10 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-26 18:48:22 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 18:48:24 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-26 18:48:31 +0000 | <dmj`> | monochrom: oh cmon', responses should be predictable, not necessarily requests. |
| 2022-08-26 18:50:04 +0000 | <monochrom> | Oh! You're right! |
| 2022-08-26 18:50:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-26 18:51:59 +0000 | <zero> | ok now by searching for the correct term i found ConstraintKinds |
| 2022-08-26 18:52:03 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 18:52:06 +0000 | <zero> | thank you rubber duckies |
| 2022-08-26 18:52:10 +0000 | <monochrom> | The Laplace-Feynman Web Programming Method: 1. Read the specification very carefully. 2. Think very hard. 3. Write down the predicted future responses. |
| 2022-08-26 18:53:38 +0000 | <monochrom> | Don't forget to import Data.Kind for Constraint. |
| 2022-08-26 18:54:43 +0000 | <dmj`> | it's a schema of the response |
| 2022-08-26 18:58:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 19:00:40 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-26 19:01:31 +0000 | <random-jellyfish> | is there a tool similar to jq for lisp source code? |
| 2022-08-26 19:02:18 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 19:07:32 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 19:08:01 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-26 19:08:45 +0000 | <dmj`> | monochrom: don't make me implement a SQL parser now |
| 2022-08-26 19:09:19 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 19:09:27 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 19:09:33 +0000 | <tdammers> | I think that tool is called "lisp" XD |
| 2022-08-26 19:09:35 +0000 | <monochrom> | haha |
| 2022-08-26 19:10:27 +0000 | <monochrom> | I should s/the specification/the initial state of the world/ :) |
| 2022-08-26 19:11:02 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 19:11:10 +0000 | <monochrom> | Then there is no input to parse! Based on the initial state, you think very carefully to see all correct responses in the future! |
| 2022-08-26 19:11:42 +0000 | <monochrom> | "Kripke would be proud" :) |
| 2022-08-26 19:12:30 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-08-26 19:12:42 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) |
| 2022-08-26 19:17:24 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-08-26 19:17:43 +0000 | <dmj`> | I hope so |
| 2022-08-26 19:20:07 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-08-26 19:26:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 19:27:56 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-08-26 19:31:18 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 19:32:52 +0000 | califax | (~califax@user/califx) |
| 2022-08-26 19:41:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:46:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 19:46:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3c0d:13d8:ef0f:4c79) |
| 2022-08-26 19:46:33 +0000 | ozkutuk | (~ozkutuk@176.240.173.153) |
| 2022-08-26 19:47:12 +0000 | kenran | (~kenran@200116b82b092600f9ea957e5315559f.dip.versatel-1u1.de) |
| 2022-08-26 19:49:19 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2022-08-26 19:49:56 +0000 | <ozkutuk> | What is the purpose of `other-extensions` field of Cabal? How is it different from `default-extensions`? |
| 2022-08-26 19:51:18 +0000 | <ozkutuk> | The documentation mentions the listed extensions may be provided via LANGUAGE pragmas, but I couldn't really make sense of this as they can be provided without listing them in the `other-extensions` field regardless |
| 2022-08-26 19:52:47 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-08-26 19:53:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 19:53:22 +0000 | <dmj`> | ozkutuk: https://cabal.readthedocs.io/en/stable/cabal-package.html#pkg-field-other-extensions |
| 2022-08-26 19:54:57 +0000 | <ozkutuk> | dmj`: That is the documentation I mentioned, but from that I couldn't understand why I would want to use that field |
| 2022-08-26 19:55:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 19:55:30 +0000 | <ozkutuk> | For project-wide extensions I tend to use `default-extensions`, and for per-file extensions I use LANGUAGE pragmas |
| 2022-08-26 19:55:50 +0000 | <ozkutuk> | What use case does `other-extensions` cover? |
| 2022-08-26 19:57:21 +0000 | <geekosaur> | validation (not using extensions not listed in it), documentation |
| 2022-08-26 19:58:04 +0000 | <geekosaur> | checking that the specified extensions are supported by the compiler (e.g. not using LinearTypes in ghc 8.10.7) |
| 2022-08-26 19:59:00 +0000 | <dmj`> | ^ also, "The new 'default-extensions' field lists extensions that are used in all modules in the component, while the 'other-extensions' field lists extensions that are used in some modules, e.g. via the {-# LANGUAGE #-} pragma." |
| 2022-08-26 20:00:59 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-26 20:01:24 +0000 | <ozkutuk> | So if I list some extensions in the `other-extensions` field, would GHC complain if I provide an extension through LANGUAGE pragma that isn't part of the field? |
| 2022-08-26 20:02:20 +0000 | <geekosaur> | ghc wouldn't. cabal might; I don't know if it actually validates that currently |
| 2022-08-26 20:02:35 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-26 20:03:52 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-26 20:03:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 20:04:14 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-08-26 20:04:49 +0000 | pavonia | (~user@user/siracusa) |
| 2022-08-26 20:06:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-26 20:06:31 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:06:34 +0000 | <ozkutuk> | I think it doesn't, at least that's what I observed from a quick test with one my existing projects |
| 2022-08-26 20:06:47 +0000 | <ozkutuk> | I guess documentation is still a valid use-case though |
| 2022-08-26 20:07:17 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:08:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 20:11:27 +0000 | oo_migue1 | (~pi@77-252-46-58.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2022-08-26 20:12:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 20:13:19 +0000 | oo_migue1 | (~pi@77-252-46-249.static.ip.netia.com.pl) |
| 2022-08-26 20:16:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 20:19:16 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-26 20:19:47 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 248 seconds) |
| 2022-08-26 20:20:55 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:22:32 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:23:14 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:24:26 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:26:05 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:28:41 +0000 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-26 20:31:17 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:33:51 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-26 20:34:23 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:34:29 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:35:23 +0000 | califax | (~califax@user/califx) |
| 2022-08-26 20:36:09 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:38:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 20:40:00 +0000 | fjmorazan | (~quassel@user/fjmorazan) () |
| 2022-08-26 20:40:18 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:40:49 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-08-26 20:41:56 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:42:06 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2022-08-26 20:42:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3c0d:13d8:ef0f:4c79) (Ping timeout: 268 seconds) |
| 2022-08-26 20:42:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 20:42:40 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-26 20:43:28 +0000 | remexre | (~remexre@user/remexre) |
| 2022-08-26 20:44:51 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-26 20:44:52 +0000 | kenran | (~kenran@200116b82b092600f9ea957e5315559f.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-26 20:46:32 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-08-26 20:55:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 21:01:42 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-26 21:02:43 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-26 21:10:17 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-08-26 21:12:27 +0000 | kmein | (~weechat@user/kmein) |
| 2022-08-26 21:12:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 21:19:19 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-26 21:22:27 +0000 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-26 21:22:39 +0000 | stef204 | (~stef204@user/stef204) |
| 2022-08-26 21:23:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-08-26 21:23:11 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 21:23:30 +0000 | califax | (~califax@user/califx) |
| 2022-08-26 21:23:41 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-26 21:23:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 21:24:14 +0000 | tcard | (~tcard@114.164.44.242) (Quit: Leaving) |
| 2022-08-26 21:24:18 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-26 21:24:18 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-26 21:25:38 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-26 21:26:09 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-26 21:26:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-08-26 21:28:17 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-26 21:29:18 +0000 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-08-26 21:29:23 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-08-26 21:31:02 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 268 seconds) |
| 2022-08-26 21:31:49 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-08-26 21:31:52 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-26 21:32:16 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-26 21:35:31 +0000 | acidjnk | (~acidjnk@p200300d6e7137a55e00ff7705fa34544.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-26 21:36:13 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-26 21:37:14 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-26 21:40:04 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-08-26 21:42:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 21:47:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-26 21:53:43 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Quit: beteigeuze) |
| 2022-08-26 21:53:58 +0000 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-26 21:59:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 22:03:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-26 22:04:36 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-26 22:11:53 +0000 | melonai- | (~mel@rnrd.eu) |
| 2022-08-26 22:12:00 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-08-26 22:12:11 +0000 | melonai | (~mel@rnrd.eu) (Ping timeout: 255 seconds) |
| 2022-08-26 22:12:19 +0000 | [exa] | (exa@user/exa/x-3587197) (Ping timeout: 268 seconds) |
| 2022-08-26 22:12:29 +0000 | [exa] | (exa@srv3.blesmrt.net) |
| 2022-08-26 22:15:29 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 22:16:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 22:16:30 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:d0ab:c5dd:dc27:59e5) |
| 2022-08-26 22:17:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-26 22:19:08 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:6c1:7ffb:81b:ea40) (Ping timeout: 268 seconds) |
| 2022-08-26 22:21:15 +0000 | leah_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-26 22:21:56 +0000 | leah_ | (lp0@heathens.club) |
| 2022-08-26 22:25:40 +0000 | gustik | (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) (Quit: Leaving) |
| 2022-08-26 22:29:38 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-26 22:29:42 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-26 22:32:22 +0000 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-26 22:33:59 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-26 22:36:21 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-26 22:36:56 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-26 22:41:57 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-26 22:42:34 +0000 | olle | (~olle@h-94-254-63-12.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-08-26 22:46:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 22:47:20 +0000 | motherfs1 | motherfsck |
| 2022-08-26 22:48:08 +0000 | <raehik> | I have a function returning a binop (it's a record in a type). Can I do something like "left `opInA a` right"? |
| 2022-08-26 22:48:38 +0000 | <raehik> | That's not working, but I wonder if there's any similar syntax I don't know about. Else I'll bumble around without infix |
| 2022-08-26 22:51:09 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-26 22:51:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-26 22:55:22 +0000 | <geekosaur> | no, the allowable syntax inside of `` is very limited because that kind of bracketing is hard to parse (ask anyone who had to deal with shells that used `` for command substitution, before ksh and POSIX gave us $()) |
| 2022-08-26 22:55:48 +0000 | <geekosaur> | you can use let to extract it to a local operator though |
| 2022-08-26 22:56:19 +0000 | <geekosaur> | let (^*^) = opInA a in foo ^*^ bar |
| 2022-08-26 22:59:17 +0000 | <geekosaur> | (or where, if you prefer) |
| 2022-08-26 23:01:50 +0000 | slaydr | (~slaydr@75.164.62.23) |
| 2022-08-26 23:02:17 +0000 | <raehik> | geekosaur: lovely ty |
| 2022-08-26 23:02:23 +0000 | slaydr | (~slaydr@75.164.62.23) (Client Quit) |
| 2022-08-26 23:03:30 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds) |
| 2022-08-26 23:07:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:09:05 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-08-26 23:11:47 +0000 | michalz | (~michalz@185.246.204.90) (Remote host closed the connection) |
| 2022-08-26 23:13:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 23:14:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:15:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 23:16:21 +0000 | <shachaf> | Hmm, there's also another trick which is probably not a good idea. |
| 2022-08-26 23:16:40 +0000 | <shachaf> | Where you define two operators for the left and right `, and then you can put an expression in between them. |
| 2022-08-26 23:17:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:17:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-26 23:18:27 +0000 | <shachaf> | > 1 & (,,) 3 $ 2 |
| 2022-08-26 23:18:29 +0000 | <lambdabot> | (3,1,2) |
| 2022-08-26 23:18:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Read error: Connection reset by peer) |
| 2022-08-26 23:19:16 +0000 | <shachaf> | You can use some brackety-looking names instead of & and $, if you give them the reasonable precedences. |
| 2022-08-26 23:22:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-26 23:22:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-26 23:23:14 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:d0ab:c5dd:dc27:59e5) (Ping timeout: 244 seconds) |
| 2022-08-26 23:40:17 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-26 23:41:06 +0000 | sagax | (~sagax_nb@213.138.71.146) |
| 2022-08-26 23:50:47 +0000 | Guest4172 | (~chenqisu1@183.217.200.212) |
| 2022-08-26 23:51:26 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-26 23:51:34 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-26 23:53:40 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-26 23:55:57 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2022-08-26 23:56:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-26 23:58:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |