Newest at the top
| 2025-02-12 09:12:04 +0100 | kaskal- | (~kaskal@2a02:8388:15bf:c200:f01c:d173:579b:8db6) (Ping timeout: 260 seconds) |
| 2025-02-12 09:12:04 +0100 | pierrot_ | (~pi@user/pierrot) (Ping timeout: 260 seconds) |
| 2025-02-12 09:12:04 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2025-02-12 09:11:29 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-02-12 09:11:20 +0100 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-02-12 09:10:59 +0100 | kaskal | (~kaskal@2a02:8388:15bf:c200:b761:f798:cc12:a3c8) kaskal |
| 2025-02-12 09:09:42 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) |
| 2025-02-12 09:09:25 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-02-12 09:09:14 +0100 | sawilagar_ | (~sawilagar@user/sawilagar) sawilagar |
| 2025-02-12 09:09:13 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-12 09:08:07 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 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) |