Newest at the top
| 2026-06-23 18:39:07 +0000 | <monochrom> | haha "It's a feature not a bug" |
| 2026-06-23 18:37:46 +0000 | <jaror> | For that reason |
| 2026-06-23 18:37:38 +0000 | <jaror> | It explicitly added GADTs and MonoLocalBinds |
| 2026-06-23 18:37:13 +0000 | <geekosaur> | unless they removed one of those extensions it'll have it too |
| 2026-06-23 18:36:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-23 18:36:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-23 18:33:20 +0000 | dextaa | (~DV@user/dextaa) dextaa |
| 2026-06-23 18:28:50 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2026-06-23 18:25:00 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-23 18:23:43 +0000 | <jaror> | What about GHC2024 then? |
| 2026-06-23 18:21:43 +0000 | <EvanR> | we recommend you step down and resign from office |
| 2026-06-23 18:21:21 +0000 | <EvanR> | ghc2021, you're too powerful |
| 2026-06-23 18:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-23 18:17:48 +0000 | <jaror> | Though it doesn't enable MonoLocalBinds, so you'll probably get warnings about that |
| 2026-06-23 18:17:18 +0000 | <jaror> | the combination of GADTSyntax and ExistentialQuantification allows you to write any GADT |
| 2026-06-23 18:17:16 +0000 | <monochrom> | I don't mind the accidental bonus. Just nerding it out heh. |
| 2026-06-23 18:16:52 +0000 | <monochrom> | OK thanks. |
| 2026-06-23 18:16:42 +0000 | <jaror> | Yeah, it's a known bug |
| 2026-06-23 18:16:25 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 272 seconds) |
| 2026-06-23 18:16:15 +0000 | <monochrom> | GHC2021 seems to have GADTs power even though it only has GADTSyntax. I tried "data Z a where Nil :: Z ()" and it's accepted. (Tried both 9.6 and 9.14.) Have you noticed it too? How did full GADTs sneaked in? |
| 2026-06-23 18:15:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-23 18:13:37 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-06-23 18:07:46 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-06-23 18:06:28 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-06-23 18:06:11 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-06-23 18:04:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-23 18:03:07 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) |
| 2026-06-23 18:00:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-23 17:54:10 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:53:55 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-23 17:49:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-23 17:44:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-23 17:42:57 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-23 17:42:13 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-06-23 17:40:58 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:40:43 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-23 17:39:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-23 17:35:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-23 17:33:30 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) ft |
| 2026-06-23 17:33:10 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:32:50 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-23 17:28:25 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-06-23 17:28:05 +0000 | rabbull72 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Read error: Connection reset by peer) |
| 2026-06-23 17:21:29 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:21:13 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-23 17:19:50 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 17:19:34 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 17:19:16 +0000 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 276 seconds) |
| 2026-06-23 17:19:15 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 246 seconds) |
| 2026-06-23 17:16:16 +0000 | califax | (~califax@user/califx) califx |