Newest at the top
2025-08-28 16:20:30 +0200 | jocke-l | (jocke-l@a.x0.is) jocke-l |
2025-08-28 16:20:05 +0200 | jocke-l | (jocke-l@a.x0.is) (Server closed connection) |
2025-08-28 16:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 16:15:48 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-28 16:13:01 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-08-28 16:13:01 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
2025-08-28 16:13:01 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
2025-08-28 16:10:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 16:09:51 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-08-28 16:09:37 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-28 16:04:18 +0200 | ubert1 | (~Thunderbi@178.165.186.86.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
2025-08-28 16:03:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-28 16:00:13 +0200 | fp | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-08-28 16:00:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 15:58:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-28 15:55:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-28 15:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 15:53:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2025-08-28 15:49:58 +0200 | AlexZenon | (~alzenon@5.139.233.33) |
2025-08-28 15:48:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 15:47:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-28 15:45:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-08-28 15:43:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 15:43:28 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-28 15:42:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-28 15:39:47 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-28 15:36:13 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-08-28 15:33:01 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-08-28 15:32:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 15:31:47 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-08-28 15:31:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-28 15:28:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-28 15:28:19 +0200 | <Athas> | It does not. But the error message complains that [] is not an instance of IsString, so I'm guessing OverloadedStrings got to that bit of notation first. |
2025-08-28 15:27:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 15:27:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-08-28 15:27:16 +0200 | <Leary> | I don't know. :) |
2025-08-28 15:27:09 +0200 | <Athas> | Leary: does that work? |
2025-08-28 15:25:37 +0200 | <Leary> | Athas: Tried `default ([])`? |
2025-08-28 15:23:28 +0200 | <haskellbridge> | <Morj> Yeah I had a similar problem. That's why nowadays I leave explicit fromList calls |
2025-08-28 15:22:54 +0200 | <Athas> | It would perhaps be useful if it defaulted to lists in ambiguous cases, but currently it seems completely useless. |
2025-08-28 15:22:41 +0200 | <Athas> | Right, it's definitely Foldable that creates the ambiguities. |
2025-08-28 15:21:57 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-08-28 15:21:57 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
2025-08-28 15:21:57 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
2025-08-28 15:17:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 15:16:49 +0200 | <probie> | It was less bad before `foldable` |
2025-08-28 15:12:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 15:08:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-08-28 15:06:52 +0200 | <Athas> | I suppose my coding style may simply be inappropriate, but it looks like most of my list literals become ambiguous. |
2025-08-28 15:06:12 +0200 | <Athas> | Is the OverloadedLists extension known to be very annoying to use? Just enabling it leads to lots of errors about ambiguity. |