2025/08/21

2025-08-21 00:00:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 00:05:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:10:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-21 00:18:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 00:21:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:25:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-21 00:26:15 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 00:33:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2025-08-21 00:36:02 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-21 00:36:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:40:52 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-21 00:43:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 00:43:50 +0200ftzm(~ftzm@085080231172.dynamic.telenor.dk) (Quit: Ping timeout (120 seconds))
2025-08-21 00:44:10 +0200ftzm(~ftzm@085080231172.dynamic.telenor.dk) ftzm
2025-08-21 00:51:02 +0200jreicher(~user@user/jreicher) jreicher
2025-08-21 00:54:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 00:59:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 01:00:32 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-21 01:02:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-21 01:02:59 +0200ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2025-08-21 01:03:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 01:09:02 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-21 01:09:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:10:16 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-21 01:14:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 01:14:29 +0200ludat(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed)
2025-08-21 01:18:59 +0200weary-traveler(~user@user/user363627) user363627
2025-08-21 01:24:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 01:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:29:27 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) athan
2025-08-21 01:29:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:30:51 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 01:38:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-08-21 01:40:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:45:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:50:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 01:50:49 +0200acidjnk(~acidjnk@p200300d6e71719730951ec550b463772.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-08-21 01:51:47 +0200sprotte24(~sprotte24@p200300d16f4b9400fd84056b8dbc8704.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-21 01:53:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-08-21 01:54:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 01:55:03 +0200mrvdb-(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2025-08-21 01:55:37 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Read error: Connection reset by peer)
2025-08-21 01:57:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 02:01:16 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds)
2025-08-21 02:04:13 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-21 02:05:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 02:05:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:07:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-21 02:07:44 +0200ljdarj1ljdarj
2025-08-21 02:09:54 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-21 02:10:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 02:10:30 +0200ludat(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) ludat
2025-08-21 02:13:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:17:01 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-21 02:20:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 02:23:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-21 02:29:56 +0200lol_(~lol@2603:3016:1e01:b960:a521:2571:4042:b249)
2025-08-21 02:31:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:34:18 +0200jcarpenter2(~lol@2603:3016:1e01:b960:61b9:84a6:6553:ea15) (Ping timeout: 276 seconds)
2025-08-21 02:34:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-21 02:34:51 +0200xff0x(~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) (Ping timeout: 252 seconds)
2025-08-21 02:35:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 02:40:20 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 02:46:02 +0200haritzondo(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-21 02:46:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 02:46:43 +0200haritz(~hrtz@user/haritz) (Ping timeout: 255 seconds)
2025-08-21 02:51:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:02:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:06:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:12:41 +0200Buliarous(~gypsydang@46.232.210.139) (Quit: leaving)
2025-08-21 03:15:19 +0200Guest42(~Guest42@103.29.86.22)
2025-08-21 03:17:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:21:16 +0200Guest42(~Guest42@103.29.86.22) (Quit: Client closed)
2025-08-21 03:21:32 +0200Turns(~Turns@103.29.86.22)
2025-08-21 03:22:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:25:38 +0200trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 03:25:52 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 03:26:54 +0200todi1(~todi@p57803331.dip0.t-ipconnect.de)
2025-08-21 03:27:19 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-08-21 03:30:03 +0200L29Ah(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:33:31 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 255 seconds)
2025-08-21 03:35:11 +0200Igloo(~ian@45.130.105.76) Igfoo
2025-08-21 03:36:46 +0200lol_jcarpenter2
2025-08-21 03:37:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:40:16 +0200xff0x(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:50:17 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 03:52:53 +0200ft(~ft@p508db5fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-21 03:54:42 +0200ft(~ft@p4fc2a016.dip0.t-ipconnect.de) ft
2025-08-21 03:54:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 03:58:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:02:46 +0200Igloo(~ian@45.130.105.76) (Ping timeout: 255 seconds)
2025-08-21 04:04:45 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-21 04:10:08 +0200MironZ3(~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds))
2025-08-21 04:10:27 +0200MironZ3(~MironZ@nat-infra.ehlab.uk)
2025-08-21 04:11:34 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-21 04:13:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:13:46 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 04:14:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 04:16:41 +0200trickard_trickard
2025-08-21 04:18:36 +0200merijn(~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 +0200Square2(~Square@user/square) Square
2025-08-21 04:26:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 04:27:34 +0200Buliarou1(~gypsydang@46.232.210.139) Buliarous
2025-08-21 04:27:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 04:27:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 04:28:24 +0200Square2(~Square@user/square) (Read error: Connection reset by peer)
2025-08-21 04:28:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:30:21 +0200Square(~Square@user/square) Square
2025-08-21 04:33:21 +0200rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-08-21 04:33:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:36:04 +0200pyooque(~puke@user/puke) puke
2025-08-21 04:36:04 +0200pukeGuest4107
2025-08-21 04:36:04 +0200pyooquepuke
2025-08-21 04:36:10 +0200puke(~puke@user/puke) (Remote host closed the connection)
2025-08-21 04:36:31 +0200Guest4107(~puke@user/puke) (Read error: Connection reset by peer)
2025-08-21 04:44:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:48:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:59:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:04:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:09:53 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-21 05:12:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-21 05:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:19:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:30:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:35:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 05:36:21 +0200aforemny(~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) (Ping timeout: 252 seconds)
2025-08-21 05:36:22 +0200aforemny_(~aforemny@2001:9e8:6cc5:1100:e216:5da2:2886:cf6e) aforemny
2025-08-21 05:41:48 +0200Alleria(~Alleria@user/alleria) Alleria
2025-08-21 05:45:57 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:58:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:03:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 06:14:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:18:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 06:29:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:34:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-21 06:35:23 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2025-08-21 06:37:30 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-21 06:45:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 06:45:36 +0200Square2(~Square4@user/square) Square
2025-08-21 06:49:01 +0200Square(~Square@user/square) (Ping timeout: 256 seconds)
2025-08-21 06:51:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 06:53:39 +0200mange(~mange@user/mange) mange
2025-08-21 06:59:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:02:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-08-21 07:04:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 07:04:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 07:04:55 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-21 07:06:50 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-08-21 07:15:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:18:48 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-21 07:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 07:22:49 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-21 07:22:55 +0200michalz(~michalz@185.246.207.217)
2025-08-21 07:30:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:30:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-21 07:35:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 07:38:13 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-21 07:44:55 +0200kimiamania994(~65804703@user/kimiamania) kimiamania
2025-08-21 07:46:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 07:46:31 +0200kimiamania99(~65804703@user/kimiamania) (Read error: Connection reset by peer)
2025-08-21 07:46:31 +0200kimiamania994kimiamania99
2025-08-21 07:47:43 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-21 07:50:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 07:53:52 +0200haritzondo(~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 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-08-21 08:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 08:05:17 +0200merijn(~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 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-21 08:12:30 +0200Turns(~Turns@103.29.86.22) (Quit: Client closed)
2025-08-21 08:16:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 08:21:56 +0200puke(~puke@user/puke) puke
2025-08-21 08:23:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 08:26:19 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 08:28:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 08:34:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 08:39:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-21 08:49:32 +0200ft(~ft@p4fc2a016.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-21 08:49:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 08:51:48 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-08-21 08:52:48 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-21 08:54:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 08:54:38 +0200trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 08:54:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-21 08:54:51 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 08:55:13 +0200collide2954(~collide29@user/collide2954) collide2954
2025-08-21 09:00:02 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-21 09:00:30 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-08-21 09:00:42 +0200caconym747(~caconym@user/caconym) caconym
2025-08-21 09:01:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 09:06:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 09:13:05 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 09:13:44 +0200trickard_trickard
2025-08-21 09:17:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 09:18:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2025-08-21 09:22:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-21 09:22:53 +0200acidjnk(~acidjnk@p200300d6e7171914f0b5406b8759cfb5.dip0.t-ipconnect.de) acidjnk
2025-08-21 09:31:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-21 09:35:04 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-21 09:36:01 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-21 09:50:22 +0200jmcantrell(~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 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-21 10:06:12 +0200trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 10:06:26 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 10:11:10 +0200ludat(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed)
2025-08-21 10:19:54 +0200jreicher(~user@user/jreicher) jreicher
2025-08-21 10:22:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 10:26:40 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-08-21 10:30:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 10:36:47 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-21 10:38:15 +0200gawen(~gawen@user/gawen) (Quit: cya)
2025-08-21 10:39:03 +0200gawen(~gawen@user/gawen) gawen
2025-08-21 10:41:40 +0200petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-21 10:43:43 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-21 10:44:15 +0200merijn(~merijn@77.242.116.146) (Quit: Reconnecting)
2025-08-21 10:44:30 +0200petrichor(~jez@user/petrichor) (Client Quit)
2025-08-21 10:44:30 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-21 10:45:13 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-21 10:49:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 10:50:14 +0200petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-21 10:52:37 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-21 10:58:56 +0200chele(~chele@user/chele) chele
2025-08-21 10:59:29 +0200tabemann__(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Server closed connection)
2025-08-21 11:00:02 +0200tabemann__(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-08-21 11:17:38 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 11:21:27 +0200tccq`(~user@97-120-249-160.ptld.qwest.net)
2025-08-21 11:22:20 +0200tccq(~user@user/tccq) (Read error: Connection reset by peer)
2025-08-21 11:22:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 11:23:31 +0200sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de)
2025-08-21 11:24:30 +0200sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Client Quit)
2025-08-21 11:24:42 +0200sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de)
2025-08-21 11:24:57 +0200jreicher(~user@user/jreicher) jreicher
2025-08-21 11:25:56 +0200Square2(~Square4@user/square) (Remote host closed the connection)
2025-08-21 11:27:04 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-21 11:28:07 +0200Square2(~Square4@user/square) Square
2025-08-21 11:28:19 +0200Square2(~Square4@user/square) (Remote host closed the connection)
2025-08-21 11:29:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-08-21 11:31:10 +0200sprotte24(~sprotte24@p200300d16f010f00f465e22349b09c8d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-21 11:32:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 11:35:00 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 11:35:12 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-21 11:38:02 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-21 11:42:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-21 11:47:42 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 11:58:49 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc)
2025-08-21 12:03:49 +0200vgtw_(~vgtw@user/vgtw) (Server closed connection)
2025-08-21 12:04:41 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-08-21 12:06:21 +0200tremon(~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 +0200pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-08-21 12:09:49 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-21 12:10:39 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-21 12:10:52 +0200lortabac(~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 +0200trickard_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 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-21 12:17:56 +0200xff0x(~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 +0200merijn(~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 +0200merijn(~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 +0200merijn(~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 +0200merijn(~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 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-21 13:00:43 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-21 13:03:54 +0200caconym747(~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 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-21 13:18:35 +0200xff0x(~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46)
2025-08-21 13:19:09 +0200trickard(~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-21 13:19:28 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-21 13:20:58 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-21 13:23:41 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Quit: fp)
2025-08-21 13:24:22 +0200fp(~Thunderbi@2001:708:150:10::72df) fp
2025-08-21 13:24:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-08-21 13:28:33 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-21 13:30:30 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-21 13:31:10 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 13:31:38 +0200trickard_trickard
2025-08-21 13:33:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-21 13:33:23 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-21 13:37:09 +0200Square2(~Square4@user/square) Square
2025-08-21 13:40:00 +0200tromp(~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-21 13:50:01 +0200trickard(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-21 13:50:14 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-08-21 13:52:53 +0200poscat0x04(~poscat@user/poscat) poscat
2025-08-21 13:54:39 +0200poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-08-21 13:55:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-21 14:02:49 +0200weary-traveler(~user@user/user363627) user363627