Logs: liberachat/#haskell
| 2025-08-21 00:29:56 | → | lol_ joins (~lol@2603:3016:1e01:b960:a521:2571:4042:b249) |
| 2025-08-21 00:31:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 00:34:18 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b960:61b9:84a6:6553:ea15) (Ping timeout: 276 seconds) |
| 2025-08-21 00:34:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-08-21 00:34:51 | × | xff0x quits (~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be) (Ping timeout: 252 seconds) |
| 2025-08-21 00:35:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 00:40:20 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-21 00:46:02 | → | haritzondo joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-21 00:46:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 00:46:43 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 255 seconds) |
| 2025-08-21 00:51:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 01:02:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 01:06:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 01:12:41 | × | Buliarous quits (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2025-08-21 01:15:19 | → | Guest42 joins (~Guest42@103.29.86.22) |
| 2025-08-21 01:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 01:21:16 | × | Guest42 quits (~Guest42@103.29.86.22) (Quit: Client closed) |
| 2025-08-21 01:21:32 | → | Turns joins (~Turns@103.29.86.22) |
| 2025-08-21 01:22:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 01:25:38 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-21 01:25:52 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-08-21 01:26:54 | → | todi1 joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-08-21 01:27:19 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-08-21 01:30:03 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-08-21 01:31:09 | <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 01:32:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 01:33:31 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 255 seconds) |
| 2025-08-21 01:35:11 | → | Igloo joins (~ian@45.130.105.76) |
| 2025-08-21 01:36:46 | lol_ | is now known as jcarpenter2 |
| 2025-08-21 01:37:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 01:40:16 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-21 01:41:00 | <geekosaur> | I vaguely recall that it can in some circumstances now |
| 2025-08-21 01:41:04 | <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 01:41:13 | <Leary> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#pragma-UNPACK |
| 2025-08-21 01:42:05 | <geekosaur> | aaah, I was trying to find it in the release notes |
| 2025-08-21 01:48:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 01:50:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-21 01:52:53 | × | ft quits (~ft@p508db5fa.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-08-21 01:54:42 | → | ft joins (~ft@p4fc2a016.dip0.t-ipconnect.de) |
| 2025-08-21 01:54:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-21 01:58:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 02:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 02:02:46 | × | Igloo quits (~ian@45.130.105.76) (Ping timeout: 255 seconds) |
| 2025-08-21 02:04:45 | → | Igloo joins (~ian@81.2.99.210) |
| 2025-08-21 02:10:08 | × | MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (Quit: Ping timeout (120 seconds)) |
| 2025-08-21 02:10:27 | → | MironZ3 joins (~MironZ@nat-infra.ehlab.uk) |
| 2025-08-21 02:11:34 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-08-21 02:13:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 02:13:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-21 02:14:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-21 02:16:41 | trickard_ | is now known as trickard |
| 2025-08-21 02:18:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-21 02:22:44 | <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 02:26:29 | → | Square2 joins (~Square@user/square) |
| 2025-08-21 02:26:46 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-21 02:27:34 | → | Buliarou1 joins (~gypsydang@46.232.210.139) |
| 2025-08-21 02:27:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-08-21 02:27:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-21 02:28:24 | × | Square2 quits (~Square@user/square) (Read error: Connection reset by peer) |
| 2025-08-21 02:28:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 02:30:21 | → | Square joins (~Square@user/square) |
| 2025-08-21 02:33:21 | → | rekahsoft joins (~rekahsoft@174.95.4.83) |
| 2025-08-21 02:33:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 02:36:04 | → | pyooque joins (~puke@user/puke) |
| 2025-08-21 02:36:04 | puke | is now known as Guest4107 |
| 2025-08-21 02:36:04 | pyooque | is now known as puke |
| 2025-08-21 02:36:10 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2025-08-21 02:36:31 | × | Guest4107 quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 2025-08-21 02:44:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 02:48:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 02:59:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 03:04:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 03:09:53 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-21 03:12:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-08-21 03:15:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 03:19:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 03:30:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 03:35:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-21 03:36:21 | × | aforemny quits (~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) (Ping timeout: 252 seconds) |
| 2025-08-21 03:36:22 | → | aforemny_ joins (~aforemny@2001:9e8:6cc5:1100:e216:5da2:2886:cf6e) |
| 2025-08-21 03:41:48 | → | Alleria joins (~Alleria@user/alleria) |
| 2025-08-21 03:45:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 03:46:38 | <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 03:50:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 03:58:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 04:03:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-21 04:14:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 04:18:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 04:29:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 04:34:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-21 04:35:23 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2025-08-21 04:37:30 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-21 04:45:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 04:45:36 | → | Square2 joins (~Square4@user/square) |
| 2025-08-21 04:49:01 | × | Square quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-08-21 04:51:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-21 04:53:39 | → | mange joins (~mange@user/mange) |
| 2025-08-21 04:59:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-21 05:02:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-08-21 05:04:49 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
All times are in UTC.