2025/08/21

Newest at the top

2025-08-21 05:19:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 05:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 05:12:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-21 05:09:53 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-21 05:04:11 +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 04:48:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:44:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:36:31 +0200Guest4107(~puke@user/puke) (Read error: Connection reset by peer)
2025-08-21 04:36:10 +0200puke(~puke@user/puke) (Remote host closed the connection)
2025-08-21 04:36:04 +0200pyooquepuke
2025-08-21 04:36:04 +0200pukeGuest4107
2025-08-21 04:36:04 +0200pyooque(~puke@user/puke) puke
2025-08-21 04:33:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 04:33:21 +0200rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-08-21 04:30:21 +0200Square(~Square@user/square) Square
2025-08-21 04:28:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:28:24 +0200Square2(~Square@user/square) (Read error: Connection reset by peer)
2025-08-21 04:27:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
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:34 +0200Buliarou1(~gypsydang@46.232.210.139) Buliarous
2025-08-21 04:26:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-21 04:26:29 +0200Square2(~Square@user/square) Square
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:18:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-21 04:16:41 +0200trickard_trickard
2025-08-21 04:14:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
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:13:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 04:11:34 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-08-21 04:10:27 +0200MironZ3(~MironZ@nat-infra.ehlab.uk)
2025-08-21 04:10:08 +0200MironZ3(~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds))
2025-08-21 04:04:45 +0200Igloo(~ian@81.2.99.210) Igfoo
2025-08-21 04:02:46 +0200Igloo(~ian@45.130.105.76) (Ping timeout: 255 seconds)
2025-08-21 04:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:58:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:54:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-21 03:54:42 +0200ft(~ft@p4fc2a016.dip0.t-ipconnect.de) ft
2025-08-21 03:52:53 +0200ft(~ft@p508db5fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-21 03:50:17 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-21 03:48:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-21 03:42:05 +0200 <geekosaur> aaah, I was trying to find it in the release notes
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: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:00 +0200 <geekosaur> I vaguely recall that it can in some circumstances now
2025-08-21 03:40:16 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-21 03:37:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-21 03:36:46 +0200lol_jcarpenter2
2025-08-21 03:35:11 +0200Igloo(~ian@45.130.105.76) Igfoo
2025-08-21 03:33:31 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 255 seconds)