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 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 04:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:48:43 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
2025-08-24 04:48:37 +0200 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
2025-08-24 04:46:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-24 04:42:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-24 04:42:20 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
2025-08-24 04:41:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 04:41:37 +0200 | Lord_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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:37:16 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-08-24 04:27:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 04:22:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
2025-08-24 04:22:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:11:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 04:07:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 04:06:48 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-08-24 04:05:37 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-08-24 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-08-24 03:59:15 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-24 03:58:26 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
2025-08-24 03:58:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Client Quit) |
2025-08-24 03:58:17 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
2025-08-24 03:57:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
2025-08-24 03:56:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-08-24 03:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:45:03 +0200 | jmcantrell_ | jmcantrell |
2025-08-24 03:40:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-24 03:39:08 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
2025-08-24 03:38:59 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
2025-08-24 03:38:52 +0200 | ljdarj1 | ljdarj |
2025-08-24 03:38:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-24 03:36:44 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-24 03:36:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-24 03:33:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:32:42 +0200 | stureplan | (22e45d5caf@user/stureplan) stureplan |
2025-08-24 03:32:33 +0200 | stureplan | (22e45d5caf@user/stureplan) (Server closed connection) |
2025-08-24 03:22:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-08-24 03:22:14 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-08-24 03:20:26 +0200 | ft | (~ft@p508db91f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-24 03:19:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
2025-08-24 03:18:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-24 03:16:56 +0200 | zarakshR | (~Thunderbi@0542a05a.skybroadband.com) zarakshR |
2025-08-24 03:16:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 03:15:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
2025-08-24 03:07:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-24 03:07:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |