2025-08-21 00:00:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 00:05:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 00:10:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-21 00:18:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 00:21:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 00:25:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-21 00:26:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 00:33:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2025-08-21 00:36:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-21 00:36:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 00:40:52 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-08-21 00:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-21 00:43:50 +0200 | ftzm | (~ftzm@085080231172.dynamic.telenor.dk) (Quit: Ping timeout (120 seconds)) |
2025-08-21 00:44:10 +0200 | ftzm | (~ftzm@085080231172.dynamic.telenor.dk) ftzm |
2025-08-21 00:51:02 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-08-21 00:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 00:59:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 01:00:32 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-08-21 01:02:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-08-21 01:02:59 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
2025-08-21 01:03:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 01:09:02 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-08-21 01:09:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 01:10:16 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-21 01:14:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-21 01:14:29 +0200 | ludat | (~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed) |
2025-08-21 01:18:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-21 01:24:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 01:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 01:29:27 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
2025-08-21 01:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 01:30:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-21 01:38:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-08-21 01:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 01:45:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 01:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 01:50:49 +0200 | acidjnk | (~acidjnk@p200300d6e71719730951ec550b463772.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-21 01:51:47 +0200 | sprotte24 | (~sprotte24@p200300d16f4b9400fd84056b8dbc8704.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-21 01:53:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-08-21 01:54:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 01:55:03 +0200 | mrvdb- | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
2025-08-21 01:55:37 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Read error: Connection reset by peer) |
2025-08-21 01:57:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 02:01:16 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
2025-08-21 02:04:13 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-21 02:05:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 02:05:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 02:07:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-08-21 02:07:44 +0200 | ljdarj1 | ljdarj |
2025-08-21 02:09:54 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-08-21 02:10:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 02:10:30 +0200 | ludat | (~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) ludat |
2025-08-21 02:13:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 02:17:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-08-21 02:20:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 02:23:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-08-21 02:29:56 +0200 | lol_ | (~lol@2603:3016:1e01:b960:a521:2571:4042:b249) |
2025-08-21 02:31:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 02:34:18 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:61b9:84a6:6553:ea15) (Ping timeout: 276 seconds) |
2025-08-21 02:34:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-08-21 02:34:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) (Ping timeout: 252 seconds) |
2025-08-21 02:35:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 02:40:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 02:46:02 +0200 | haritzondo | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-08-21 02:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 02:46:43 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 255 seconds) |
2025-08-21 02:51:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 03:02:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 03:06:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 03:12:41 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
2025-08-21 03:15:19 +0200 | Guest42 | (~Guest42@103.29.86.22) |
2025-08-21 03:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 03:21:16 +0200 | Guest42 | (~Guest42@103.29.86.22) (Quit: Client closed) |
2025-08-21 03:21:32 +0200 | Turns | (~Turns@103.29.86.22) |
2025-08-21 03:22:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 03:25:38 +0200 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 03:25:52 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-08-21 03:26:54 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2025-08-21 03:27:19 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-08-21 03:30:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-21 03:31:09 +0200 | <Axman6> | Does GHC have the ability to unpack sum types natively yet? Anonymous sum types were added to support it but I can't remember seeing anything that would let you write data Foo = Foo {-#UNPACK#-}!Int {-#UNPACK#-}!(Maybe Int). Also wondering if traditional Enum style sum types can be unpacked yet or not |
2025-08-21 03:32:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 03:33:31 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 255 seconds) |
2025-08-21 03:35:11 +0200 | Igloo | (~ian@45.130.105.76) Igfoo |
2025-08-21 03:36:46 +0200 | lol_ | jcarpenter2 |
2025-08-21 03:37:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 03:40:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-21 03:41:00 +0200 | <geekosaur> | I vaguely recall that it can in some circumstances now |
2025-08-21 03:41:04 +0200 | <Leary> | Axman6: "Since 9.6.1, data types with multiple constructors can also be unpacked, effectively transforming the field into an unboxed sum of the unpackings of each constructor (see UnboxedSums)." |
2025-08-21 03:41:13 +0200 | <Leary> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#pragma-UNPACK |
2025-08-21 03:42:05 +0200 | <geekosaur> | aaah, I was trying to find it in the release notes |
2025-08-21 03:48:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 03:50:17 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-21 03:52:53 +0200 | ft | (~ft@p508db5fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-08-21 03:54:42 +0200 | ft | (~ft@p4fc2a016.dip0.t-ipconnect.de) ft |
2025-08-21 03:54:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-21 03:58:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 04:02:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 04:02:46 +0200 | Igloo | (~ian@45.130.105.76) (Ping timeout: 255 seconds) |
2025-08-21 04:04:45 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-21 04:10:08 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds)) |
2025-08-21 04:10:27 +0200 | MironZ3 | (~MironZ@nat-infra.ehlab.uk) |
2025-08-21 04:11:34 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-08-21 04:13:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 04:13:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-21 04:14:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 04:16:41 +0200 | trickard_ | trickard |
2025-08-21 04:18:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-21 04:22:44 +0200 | <monochrom> | [exa]: I think it can be done by "Env -> Parser a" and use Env to track in-scope variables. Based on how everything else --- type checking, denotational semantics, operational semantics, interpreters --- does that. |
2025-08-21 04:26:29 +0200 | Square2 | (~Square@user/square) Square |
2025-08-21 04:26:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 04:27:34 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) Buliarous |
2025-08-21 04:27:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-08-21 04:27:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 04:28:24 +0200 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
2025-08-21 04:28:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 04:30:21 +0200 | Square | (~Square@user/square) Square |
2025-08-21 04:33:21 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) rekahsoft |
2025-08-21 04:33:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 04:36:04 +0200 | pyooque | (~puke@user/puke) puke |
2025-08-21 04:36:04 +0200 | puke | Guest4107 |
2025-08-21 04:36:04 +0200 | pyooque | puke |
2025-08-21 04:36:10 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-08-21 04:36:31 +0200 | Guest4107 | (~puke@user/puke) (Read error: Connection reset by peer) |
2025-08-21 04:44:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 04:48:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 04:59:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 05:04:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 05:09:53 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-08-21 05:12:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-21 05:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 05:19:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 05:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 05:35:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 05:36:21 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) (Ping timeout: 252 seconds) |
2025-08-21 05:36:22 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc5:1100:e216:5da2:2886:cf6e) aforemny |
2025-08-21 05:41:48 +0200 | Alleria | (~Alleria@user/alleria) Alleria |
2025-08-21 05:45:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 05:46:38 +0200 | <Axman6> | Ah fantastic, thanks Leary and geekosaur. I'd been waiting for that for quite some time and must have missed it. |
2025-08-21 05:50:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 05:58:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 06:03:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-21 06:14:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 06:18:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 06:29:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 06:34:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-21 06:35:23 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2025-08-21 06:37:30 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-08-21 06:45:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 06:45:36 +0200 | Square2 | (~Square4@user/square) Square |
2025-08-21 06:49:01 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-08-21 06:51:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 06:53:39 +0200 | mange | (~mange@user/mange) mange |
2025-08-21 06:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 07:02:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-08-21 07:04:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 07:04:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 07:04:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-21 07:06:50 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-08-21 07:15:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 07:18:48 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-21 07:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 07:22:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-21 07:22:55 +0200 | michalz | (~michalz@185.246.207.217) |
2025-08-21 07:30:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 07:30:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-08-21 07:35:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 07:38:13 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-21 07:44:55 +0200 | kimiamania994 | (~65804703@user/kimiamania) kimiamania |
2025-08-21 07:46:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 07:46:31 +0200 | kimiamania99 | (~65804703@user/kimiamania) (Read error: Connection reset by peer) |
2025-08-21 07:46:31 +0200 | kimiamania994 | kimiamania99 |
2025-08-21 07:47:43 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-21 07:50:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-21 07:53:52 +0200 | haritzondo | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-21 07:55:58 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-21 08:00:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 08:05:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-21 08:05:21 +0200 | <[exa]> | monochrom: ok I kindof expected that |
2025-08-21 08:05:30 +0200 | <[exa]> | thanks for confirm then :) |
2025-08-21 08:09:15 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-08-21 08:12:30 +0200 | Turns | (~Turns@103.29.86.22) (Quit: Client closed) |
2025-08-21 08:16:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 08:21:56 +0200 | puke | (~puke@user/puke) puke |
2025-08-21 08:23:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 08:26:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 08:28:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 08:34:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 08:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-21 08:49:32 +0200 | ft | (~ft@p4fc2a016.dip0.t-ipconnect.de) (Quit: leaving) |
2025-08-21 08:49:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 08:51:48 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-08-21 08:52:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-21 08:54:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-21 08:54:38 +0200 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 08:54:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-21 08:54:51 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-08-21 08:55:13 +0200 | collide2954 | (~collide29@user/collide2954) collide2954 |
2025-08-21 09:00:02 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-21 09:00:30 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
2025-08-21 09:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-21 09:01:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 09:06:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-21 09:13:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 09:13:44 +0200 | trickard_ | trickard |
2025-08-21 09:17:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 09:18:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
2025-08-21 09:22:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-21 09:22:53 +0200 | acidjnk | (~acidjnk@p200300d6e7171914f0b5406b8759cfb5.dip0.t-ipconnect.de) acidjnk |
2025-08-21 09:31:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-08-21 09:35:04 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-08-21 09:36:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-21 09:50:22 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
2025-08-21 09:59:15 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-08-21 10:00:58 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 10:06:12 +0200 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 10:06:26 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-08-21 10:11:10 +0200 | ludat | (~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed) |
2025-08-21 10:19:54 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-08-21 10:22:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 10:26:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-08-21 10:30:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 10:36:47 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-08-21 10:38:15 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
2025-08-21 10:39:03 +0200 | gawen | (~gawen@user/gawen) gawen |
2025-08-21 10:41:40 +0200 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-08-21 10:43:43 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-08-21 10:44:15 +0200 | merijn | (~merijn@77.242.116.146) (Quit: Reconnecting) |
2025-08-21 10:44:30 +0200 | petrichor | (~jez@user/petrichor) (Client Quit) |
2025-08-21 10:44:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 10:45:13 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-08-21 10:49:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-08-21 10:50:14 +0200 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in) |
2025-08-21 10:52:37 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-08-21 10:58:56 +0200 | chele | (~chele@user/chele) chele |
2025-08-21 10:59:29 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Server closed connection) |
2025-08-21 11:00:02 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2025-08-21 11:17:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 11:21:27 +0200 | tccq` | (~user@97-120-249-160.ptld.qwest.net) |
2025-08-21 11:22:20 +0200 | tccq | (~user@user/tccq) (Read error: Connection reset by peer) |
2025-08-21 11:22:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 11:23:31 +0200 | sprotte24 | (~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) |
2025-08-21 11:24:30 +0200 | sprotte24 | (~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Client Quit) |
2025-08-21 11:24:42 +0200 | sprotte24 | (~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) |
2025-08-21 11:24:57 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-08-21 11:25:56 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
2025-08-21 11:27:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-21 11:28:07 +0200 | Square2 | (~Square4@user/square) Square |
2025-08-21 11:28:19 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
2025-08-21 11:29:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-08-21 11:31:10 +0200 | sprotte24 | (~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-21 11:32:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 11:35:00 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 11:35:12 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-08-21 11:38:02 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-08-21 11:42:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-21 11:47:42 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 11:58:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 12:03:49 +0200 | vgtw_ | (~vgtw@user/vgtw) (Server closed connection) |
2025-08-21 12:04:41 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-08-21 12:06:21 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-08-21 12:06:42 +0200 | <Athas> | Under which circumstances will GHC encode characters read from a handle as '?'? |
2025-08-21 12:06:55 +0200 | <Athas> | I am trying to debug a test bug that appears only in CI, and which I cannot reproduce locally. |
2025-08-21 12:07:26 +0200 | <Athas> | From what I can see, anything non-ASCII is turned into '?'. |
2025-08-21 12:09:26 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-08-21 12:09:49 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-08-21 12:10:39 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-21 12:10:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-21 12:11:32 +0200 | <ncf> | see https://hackage.haskell.org/package/base-4.21.0.0/docs/System-IO.html#g:22 |
2025-08-21 12:11:46 +0200 | trickard_ | trickard |
2025-08-21 12:11:46 +0200 | <ncf> | tldr your CI's environment is probably not using a unicode locale, try setting LC_ALL=C.UTF-8 |
2025-08-21 12:14:13 +0200 | <Athas> | I am pretty sure I already tried setting LC_ALL before (and LANG is already C.UTF-8), but let me try again. |
2025-08-21 12:15:07 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-08-21 12:17:56 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
2025-08-21 12:19:32 +0200 | <merijn> | Athas: Are you using text/bytestring? |
2025-08-21 12:19:45 +0200 | <Athas> | Yeah, no difference. |
2025-08-21 12:20:21 +0200 | <Athas> | merijn: this is in the haskeline test suite. I am using a combination of ByteString and raw C strings to communicate with another process. |
2025-08-21 12:20:24 +0200 | <merijn> | With explicit decoding from bytestring to text you can specify how to handle parse errors |
2025-08-21 12:20:41 +0200 | <Athas> | That's part of my debugging challenge: not only can I not reproduce outside of CI, but I also don't know exactly where the encoding gets fucked up. |
2025-08-21 12:20:42 +0200 | <merijn> | Athas: Oh, sadly Haskeline isn't very principled in its API |
2025-08-21 12:20:59 +0200 | <merijn> | At least, it wasn't last I used it (admittedly a while ago) |
2025-08-21 12:21:21 +0200 | <merijn> | I assume the decoding happening inside it is doing that? |
2025-08-21 12:21:53 +0200 | <Athas> | Or maybe the encoding - I am also sending non-ASCII to the other process. |
2025-08-21 12:22:15 +0200 | <Athas> | The encoding is explicitly done with encodeUtf8 so that is fine, but something is turning all non-ASCII bytes into question marks. |
2025-08-21 12:22:54 +0200 | <Athas> | The test suite explicitly sets LANG to en_US.UTF-8, so it should not be sensitive to the system environment. |
2025-08-21 12:23:26 +0200 | <Athas> | This captures pretty well what I am looking at: https://github.com/haskell/haskeline/actions/runs/17124026707/job/48571413738?pr=203#step:23:39 |
2025-08-21 12:25:50 +0200 | <Athas> | Oh, the writes are also done by turning the bytestring into a C array and writing the raw bytes to a handle. There should be no non-explicit encoding/decoding anywhere! |
2025-08-21 12:26:23 +0200 | <jreicher> | Athas: are you writing to a file? |
2025-08-21 12:26:50 +0200 | <Athas> | jreicher: no, a pipe connected to a subprocess. |
2025-08-21 12:27:25 +0200 | <Athas> | Well, actually a handle produced by openPseudoTerminal. |
2025-08-21 12:27:38 +0200 | <Athas> | But I guess it is a pipe at the kernel level. |
2025-08-21 12:27:53 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
2025-08-21 12:29:21 +0200 | <Athas> | This is the program that is the other side of the pipe: https://github.com/haskell/haskeline/blob/master/examples/Test.hs Now I am trying to figure out if that is doing something wrong. It certainly has all the encoding/decoding machinery in operation. |
2025-08-21 12:37:45 +0200 | <jreicher> | Can you capture a copy of the bytes before they go into the pipe? |
2025-08-21 12:38:23 +0200 | <Athas> | I don't see why not; it's just tedious to debug with such a high roundtrip latency. |
2025-08-21 12:39:09 +0200 | <jreicher> | It's just to cover off the possibility that the bytes are fine and the problem is somewhere else. |
2025-08-21 12:39:43 +0200 | <jreicher> | For example I'm always suspicious of seeing things like ? in a terminal. I don't know if it's the terminal emulator doing that or if it's the actual process output. |
2025-08-21 12:39:50 +0200 | <jreicher> | So I send to a file and examine the file. |
2025-08-21 12:40:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 12:42:37 +0200 | <Athas> | It's not the terminal emulator for sure, since there is none. |
2025-08-21 12:43:18 +0200 | <Athas> | But now I also found another case of flakiness, as it is apparently system-dependent whether a line is terminated by \r\n or \ESCE... |
2025-08-21 12:43:29 +0200 | <Athas> | God damn do I dislike the Unix tty system. |
2025-08-21 12:43:55 +0200 | <Athas> | I have a hunch the haskeline tests never actually worked reliably, but just happened to work on the original author's machine. |
2025-08-21 12:47:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-08-21 12:49:17 +0200 | <jreicher> | I was worried the use of tty might play into it, but I actually don't have any real knowledge about that system. Is there a binary mode that might cut out having an EOL convention at all? |
2025-08-21 12:49:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 12:50:46 +0200 | <Athas> | Yes, and from what I can see all the tests that use files work fine. |
2025-08-21 12:51:03 +0200 | <Athas> | It is definitely some tty thing. |
2025-08-21 12:52:07 +0200 | <[exa]> | Athas: tbh I'd expect some very weird tty settings on the github CI side |
2025-08-21 12:53:20 +0200 | <Athas> | [exa]: I am also seeing different tty behaviour between my system and some department server. And that's just NixOS vs RHEL, and with the same environments from my .profile... |
2025-08-21 12:53:56 +0200 | <Athas> | I am increasingly confident I don't want to spend the time needed to figure this one out. Haskeline does actually work fine; it's just that its tests don't. |
2025-08-21 12:54:39 +0200 | <[exa]> | if I got it right, the test is throwing random valid unicode at the terminal and expects it to get through right? |
2025-08-21 12:54:45 +0200 | <Athas> | Yes. |
2025-08-21 12:55:15 +0200 | <Athas> | But that is not actually all; *something* is also *sometimes* turning linebreaks into \ESCE, but I expect that to be some Haskeline-logic based on what it thinks the terminal might be like. |
2025-08-21 12:56:12 +0200 | <[exa]> | can you run the whole thing with TERM= set to something very safe? |
2025-08-21 12:56:34 +0200 | <[exa]> | also the warnings that setlocale can't set locale don't spawn much confidence |
2025-08-21 12:58:04 +0200 | <Athas> | I have also tried with locales (C.UTF-8) that didn't trigger that warning, with no apparent effect. TERM=dumb and TERM=xterm has no apparent effect. |
2025-08-21 13:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-21 13:00:43 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
2025-08-21 13:03:54 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-21 13:06:25 +0200 | <Athas> | Actually that was a useful clue, because after changing the haskeline test suite to explicit set C-UTF-8 (instead of en_US.UTF-8), those encoding errors seem to go away. |
2025-08-21 13:06:40 +0200 | <Athas> | But it didn't warn about those; only when I hacked in some explicit environments in the CI config. Annoying. |
2025-08-21 13:07:02 +0200 | <Athas> | Now there is just some tab completion problem left, which is probably related to working directories. |
2025-08-21 13:09:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-08-21 13:18:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46) |
2025-08-21 13:19:09 +0200 | trickard | (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-08-21 13:19:28 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-08-21 13:20:58 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 13:23:41 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp) |
2025-08-21 13:24:22 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) fp |
2025-08-21 13:24:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-08-21 13:28:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-21 13:30:30 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-21 13:31:10 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 13:31:38 +0200 | trickard_ | trickard |
2025-08-21 13:33:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-21 13:33:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 13:37:09 +0200 | Square2 | (~Square4@user/square) Square |
2025-08-21 13:40:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 13:50:01 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 13:50:14 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 13:52:53 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-08-21 13:54:39 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-08-21 13:55:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
2025-08-21 14:02:49 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-21 14:08:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 14:11:33 +0200 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
2025-08-21 14:11:51 +0200 | liskin | (~liskin@xmonad/liskin) Liskni_si |
2025-08-21 14:15:53 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-21 14:15:54 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 14:18:10 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 14:26:18 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 14:28:47 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 14:42:45 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-08-21 14:42:45 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-08-21 14:42:45 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-21 14:43:09 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-21 14:46:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 14:46:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-21 14:56:14 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
2025-08-21 15:00:36 +0200 | petrichor | (~jez@user/petrichor) (Remote host closed the connection) |
2025-08-21 15:01:04 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-08-21 15:06:58 +0200 | ds_ | (~ds@2a02:8071:884:db60:3481:5f23:7fdc:613) |
2025-08-21 15:07:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-21 15:10:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 15:19:10 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 15:19:23 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 15:28:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-21 15:29:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 15:30:59 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-21 15:32:09 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-21 15:33:53 +0200 | petrichor | (~jez@user/petrichor) petrichor |
2025-08-21 15:36:19 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-08-21 15:37:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 15:39:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 15:39:38 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
2025-08-21 15:41:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-08-21 15:44:01 +0200 | trickard_ | trickard |
2025-08-21 15:45:28 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-08-21 15:45:40 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 255 seconds) |
2025-08-21 15:55:44 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-21 16:03:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-21 16:14:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-21 16:14:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 16:19:12 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-21 16:19:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-21 16:23:07 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.7.0) |
2025-08-21 16:23:35 +0200 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
2025-08-21 16:24:11 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-21 16:28:10 +0200 | ds_ | (~ds@2a02:8071:884:db60:3481:5f23:7fdc:613) (Remote host closed the connection) |
2025-08-21 16:28:28 +0200 | ds_ | (~ds@2a02:8071:884:db60:13f1:2448:d775:ba99) |
2025-08-21 16:29:51 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-08-21 16:31:24 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 16:44:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 17:16:54 +0200 | ds_ | (~ds@2a02:8071:884:db60:13f1:2448:d775:ba99) (Ping timeout: 244 seconds) |
2025-08-21 17:17:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-08-21 17:28:52 +0200 | qqe | (~qqq@185.54.20.59) (Quit: Lost terminal) |
2025-08-21 17:32:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 17:35:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-21 17:38:02 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-08-21 17:48:00 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 258 seconds) |
2025-08-21 17:49:40 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-21 17:51:20 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-08-21 17:52:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-21 17:53:38 +0200 | jackdk | (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
2025-08-21 17:55:50 +0200 | ft | (~ft@p4fc2a016.dip0.t-ipconnect.de) ft |
2025-08-21 17:56:35 +0200 | Guest38 | (~Guest38@2404:ab80:2:6366:9cb3:9d91:f4d7:f346) |
2025-08-21 18:01:02 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 18:09:05 +0200 | Guest38 | (~Guest38@2404:ab80:2:6366:9cb3:9d91:f4d7:f346) (Ping timeout: 250 seconds) |
2025-08-21 18:10:32 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
2025-08-21 18:12:28 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-21 18:12:41 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-21 18:22:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 18:22:27 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Server closed connection) |
2025-08-21 18:23:48 +0200 | ouroboros | (~ouroboros@user/ouroboros) ouroboros |
2025-08-21 18:24:26 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2025-08-21 18:27:22 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) mrosenbe |
2025-08-21 18:28:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-21 18:28:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 18:28:53 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Server closed connection) |
2025-08-21 18:29:10 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
2025-08-21 18:29:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
2025-08-21 18:31:57 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) (Read error: Connection reset by peer) |
2025-08-21 18:34:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-08-21 18:34:50 +0200 | mjrosenb | (~mjrosenb@70.18.10.118) mrosenbe |
2025-08-21 18:36:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-21 18:37:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-21 18:40:31 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 258 seconds) |
2025-08-21 18:42:23 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-08-21 18:45:09 +0200 | <mjrosenb> | so, cabal.project is new to me, is there any documentation on what it can do? |
2025-08-21 18:45:31 +0200 | <mjrosenb> | (also, how it is different from foo.cabal)? |
2025-08-21 18:49:27 +0200 | <mauke> | https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html |
2025-08-21 18:49:30 +0200 | <c_wraith> | foo.cabal provides information about a single package. cabal.project provides information about a whole project. |
2025-08-21 18:50:08 +0200 | <c_wraith> | You can use it to set options for packages, to specify multiple local packages to use together, etc |
2025-08-21 18:51:39 +0200 | <c_wraith> | Or even non-local. I'm using it to specify a git repository for a package that's not on hackage, in one case. |
2025-08-21 18:55:43 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Read error: Connection reset by peer) |
2025-08-21 19:13:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 19:16:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 19:16:50 +0200 | yin | zzz |
2025-08-21 19:17:04 +0200 | kilt | (~yin@104.74.114.89.rev.vodafone.pt) (Quit: leaving) |
2025-08-21 19:17:08 +0200 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
2025-08-21 19:17:26 +0200 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
2025-08-21 19:23:55 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-08-21 19:27:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-21 19:29:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2025-08-21 19:34:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-21 19:38:15 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-08-21 19:42:47 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-08-21 19:43:04 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-08-21 19:48:03 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
2025-08-21 19:48:20 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-08-21 19:50:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 19:51:47 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-21 19:52:12 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) (Quit: leaving) |
2025-08-21 19:54:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
2025-08-21 19:55:42 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
2025-08-21 19:56:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-21 19:57:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-08-21 19:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-21 19:59:06 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds) |
2025-08-21 20:04:33 +0200 | rvalue | l|r |
2025-08-21 20:06:28 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-21 20:08:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 20:09:56 +0200 | buliarous | (~buliarous@45.86.221.218) Buliarous |
2025-08-21 20:12:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 20:13:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-21 20:21:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 20:22:36 +0200 | plitter | (~plitter@user/plitter) (Server closed connection) |
2025-08-21 20:22:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-21 20:22:58 +0200 | plitter | (~plitter@user/plitter) plitter |
2025-08-21 20:25:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-21 20:29:02 +0200 | [exa] | (~exa@user/exa/x-3587197) (Server closed connection) |
2025-08-21 20:29:24 +0200 | [exa] | (~exa@2001:15e8:110:7d00::117) |
2025-08-21 20:31:31 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) Buliarous |
2025-08-21 20:36:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 20:36:55 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 256 seconds) |
2025-08-21 20:37:51 +0200 | Lycurgus | ColinRobinson |
2025-08-21 20:38:30 +0200 | ColinRobinson | (~juan@user/Lycurgus) (Changing host) |
2025-08-21 20:38:30 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-08-21 20:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-21 20:42:56 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-21 20:52:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 20:56:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-21 21:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-21 21:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-21 21:00:53 +0200 | Everything | (~Everythin@178-133-180-210.mobile.vf-ua.net) Everything |
2025-08-21 21:01:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-21 21:04:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-08-21 21:07:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 21:07:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-21 21:11:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-21 21:12:04 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-08-21 21:16:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-08-21 21:17:24 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-21 21:17:37 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-08-21 21:19:13 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds) |
2025-08-21 21:23:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-21 21:23:59 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-08-21 21:27:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-21 21:27:41 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-21 21:28:06 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-21 21:30:27 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-21 21:31:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-21 21:31:06 +0200 | ljdarj1 | ljdarj |
2025-08-21 21:31:31 +0200 | sprotte24 | (~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) |
2025-08-21 21:32:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
2025-08-21 21:33:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-21 21:35:22 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-08-21 21:38:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |