2025/08/28

Newest at the top

2025-08-28 16:20:30 +0200jocke-l(jocke-l@a.x0.is) jocke-l
2025-08-28 16:20:05 +0200jocke-l(jocke-l@a.x0.is) (Server closed connection)
2025-08-28 16:15:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 16:15:48 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-28 16:13:01 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-28 16:13:01 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host)
2025-08-28 16:13:01 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6)
2025-08-28 16:10:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 16:09:51 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-08-28 16:09:37 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-28 16:04:18 +0200ubert1(~Thunderbi@178.165.186.86.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2025-08-28 16:03:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-28 16:00:13 +0200fp(~Thunderbi@wireless-86-50-141-108.open.aalto.fi) (Ping timeout: 260 seconds)
2025-08-28 16:00:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 15:58:59 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-28 15:55:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-28 15:55:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 15:53:14 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-08-28 15:49:58 +0200AlexZenon(~alzenon@5.139.233.33)
2025-08-28 15:48:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 15:47:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-28 15:45:27 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-28 15:43:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 15:43:28 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-28 15:42:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-28 15:39:47 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-28 15:36:13 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-28 15:33:01 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-28 15:32:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 15:31:47 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-28 15:31:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-08-28 15:28:34 +0200Frostillicus(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 15:27:34 +0200arandombit(~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 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-28 15:21:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host)
2025-08-28 15:21:57 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6)
2025-08-28 15:17:03 +0200merijn(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 15:08:54 +0200arandombit(~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.