Newest at the top
2025-02-12 09:05:39 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
2025-02-12 09:03:30 +0100 | <c_wraith> | But other than that, there's nothing in there that bugs me except the weird future of ScopedTypeVariables. Which 2021 also has to deal with. |
2025-02-12 09:03:04 +0100 | tnt2 | tnt1 |
2025-02-12 09:03:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
2025-02-12 09:02:21 +0100 | <c_wraith> | Well, I'm no fan of MonoLocalBinds. Which, yes, comes with GADTs |
2025-02-12 09:02:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-02-12 09:01:24 +0100 | <dminuoso> | Which extension do you disagree with the most in GHC2024? |
2025-02-12 09:01:13 +0100 | <c_wraith> | Though the way in which it is lacking, GHC2021 is also lacking... Last I saw, there were plans to break up ScopedTypeVariables into multiple extensions because it's current kind of the extension for putting type variables anywhere |
2025-02-12 09:01:05 +0100 | caconym | (~caconym@user/caconym) caconym |
2025-02-12 09:00:11 +0100 | CiaoSen | (~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) CiaoSen |
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. |