2025/08/24

Newest at the top

2025-08-24 05:09:12 +0200 <Leary> Axman6: Tried switching `case` for `let`? According to <https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/linear_types.html#limitations>, inference for `case` is still experimental.
2025-08-24 05:08:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:59:05 +0200 <haskellbridge> <Axman6> I'm trying to do something that I thought would be simple using LinearTypes, but GHC tells me I'm wrong - any idea why the multiplicity of but here isn't One? https://gist.github.com/axman6/02af4d217b6755fc5637a02aad6bf85b (Sorry for anyone who also saw it on #haskell on Matrix)
2025-08-24 04:57:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 04:53:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:48:43 +0200fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) fgaz
2025-08-24 04:48:37 +0200fgaz(1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection)
2025-08-24 04:46:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-24 04:42:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-24 04:42:20 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds)
2025-08-24 04:41:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 04:41:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-24 04:37:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:37:16 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-24 04:27:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 04:22:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-24 04:22:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:11:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 04:07:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 04:06:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-08-24 04:05:37 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-08-24 04:05:03 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-08-24 03:59:15 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-24 03:58:26 +0200Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2025-08-24 03:58:20 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit)
2025-08-24 03:58:17 +0200Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection)
2025-08-24 03:57:43 +0200tromp(~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5)
2025-08-24 03:56:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-24 03:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:45:03 +0200jmcantrell_jmcantrell
2025-08-24 03:40:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-24 03:39:08 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2025-08-24 03:38:59 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection)
2025-08-24 03:38:52 +0200ljdarj1ljdarj
2025-08-24 03:38:52 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-24 03:36:44 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-24 03:36:42 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-24 03:33:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:32:42 +0200stureplan(22e45d5caf@user/stureplan) stureplan
2025-08-24 03:32:33 +0200stureplan(22e45d5caf@user/stureplan) (Server closed connection)
2025-08-24 03:22:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-24 03:22:14 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) ft
2025-08-24 03:20:26 +0200ft(~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-24 03:19:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds)
2025-08-24 03:18:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-24 03:16:56 +0200zarakshR(~Thunderbi@0542a05a.skybroadband.com) zarakshR
2025-08-24 03:16:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 03:15:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-24 03:07:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-24 03:07:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)