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 |