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