2025/02/12

Newest at the top

2025-02-12 09:52:01 +0100lunitur(~lunitur@86.33.95.148) (Ping timeout: 248 seconds)
2025-02-12 09:49:32 +0100califax(~califax@user/califx) califx
2025-02-12 09:48:01 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-02-12 09:47:04 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-12 09:42:48 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-02-12 09:42:33 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-12 09:42:21 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-02-12 09:42:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-12 09:38:53 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-02-12 09:38:49 +0100AlexNoo(~AlexNoo@178.34.151.30) (Quit: Leaving)
2025-02-12 09:37:53 +0100AlexZenon(~alzenon@178.34.151.30) (Quit: ;-)
2025-02-12 09:29:49 +0100lockywolf(~lockywolf@213.165.252.157) lockywolf
2025-02-12 09:29:21 +0100tavare(~tavare@user/tavare) (Read error: Connection reset by peer)
2025-02-12 09:27:35 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-02-12 09:19:06 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2025-02-12 09:18:48 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
2025-02-12 09:17:53 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-12 09:16:15 +0100florida(~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) (Quit: Leaving)
2025-02-12 09:14:56 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-02-12 09:13:44 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds)
2025-02-12 09:13:14 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-02-12 09:12:04 +0100kaskal-(~kaskal@2a02:8388:15bf:c200:f01c:d173:579b:8db6) (Ping timeout: 260 seconds)
2025-02-12 09:12:04 +0100pierrot_(~pi@user/pierrot) (Ping timeout: 260 seconds)
2025-02-12 09:12:04 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2025-02-12 09:11:29 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2025-02-12 09:11:20 +0100pierrot(~pi@user/pierrot) pierrot
2025-02-12 09:10:59 +0100kaskal(~kaskal@2a02:8388:15bf:c200:b761:f798:cc12:a3c8) kaskal
2025-02-12 09:09:42 +0100florida(~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b)
2025-02-12 09:09:25 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-02-12 09:09:14 +0100sawilagar_(~sawilagar@user/sawilagar) sawilagar
2025-02-12 09:09:13 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net)
2025-02-12 09:08:07 +0100nek0(~nek0@user/nek0) nek0
2025-02-12 09:05:39 +0100HappyNewYear2025(~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 +0100tnt2tnt1
2025-02-12 09:03:04 +0100tnt1(~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 +0100tnt2(~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 +0100caconym(~caconym@user/caconym) caconym
2025-02-12 09:00:11 +0100CiaoSen(~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) CiaoSen
2025-02-12 09:00:01 +0100caconym(~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