Newest at the top
| 2025-02-12 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-12 08:59:53 +0100 | <c_wraith> | I'm not sure 2024 actually *is* suitable as a default |
| 2025-02-12 08:59:43 +0100 | <dminuoso> | See https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/control.html#controlling-editions-and-exte… |
| 2025-02-12 08:59:33 +0100 | <dminuoso> | In one part it says: "[GHC2024 is] suitable to be turned on by default", while indeed "Currently, GHC2021 is used by default [...]" |
| 2025-02-12 08:58:43 +0100 | <dminuoso> | Oh what is going on. My clipboard is acting up. |
| 2025-02-12 08:58:35 +0100 | <dminuoso> | [ |
| 2025-02-12 08:58:31 +0100 | <dminuoso> | The wording in the manual is a bit cute. [ |
| 2025-02-12 08:58:14 +0100 | <c_wraith> | yes, but it's not a default in any current version of GHC |
| 2025-02-12 08:58:01 +0100 | <dminuoso> | Oh, GHC2024 is a thing too nowadays. |
| 2025-02-12 08:57:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-12 08:57:50 +0100 | CiaoSen | (~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-02-12 08:57:33 +0100 | <c_wraith> | wires crossed |
| 2025-02-12 08:57:29 +0100 | <c_wraith> | err. GHC2021. |
| 2025-02-12 08:57:08 +0100 | <dminuoso> | What is Haskell2021? |
| 2025-02-12 08:56:27 +0100 | <c_wraith> | It's Haskell2021 in recent GHC |
| 2025-02-12 08:54:48 +0100 | tnt2 | tnt1 |
| 2025-02-12 08:54:48 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-12 08:54:17 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-12 08:54:16 +0100 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-02-12 08:53:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 08:48:36 +0100 | tnt2 | tnt1 |
| 2025-02-12 08:48:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-12 08:48:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-12 08:48:04 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-12 08:47:56 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-02-12 08:47:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-12 08:45:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-12 08:43:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-12 08:42:58 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-12 08:42:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-12 08:37:40 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-12 08:34:44 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-02-12 08:34:04 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-02-12 08:16:22 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-12 08:10:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-12 08:05:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-12 08:05:43 +0100 | CiaoSen | (~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) CiaoSen |
| 2025-02-12 08:05:23 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-12 08:01:04 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 07:58:59 +0100 | <dminuoso> | It cant be Haskell2010 since geekosaur demonstrated earlier that DeepSubsumption is not on by default. |
| 2025-02-12 07:58:23 +0100 | <dminuoso> | What language settings does a GHCi invocation default to these days? GHC2021? |
| 2025-02-12 07:56:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-12 07:55:36 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-12 07:54:09 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f80357462f87ee532d8.dip0.t-ipconnect.de) acidjnk |
| 2025-02-12 07:50:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 07:46:03 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-02-12 07:39:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-12 07:37:53 +0100 | ft | (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-12 07:35:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-12 07:31:40 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |