Newest at the top
| 2025-12-17 14:48:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 14:45:44 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:37:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:35:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 14:28:26 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-12-17 14:26:58 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.2) |
| 2025-12-17 14:22:39 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 14:22:09 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 250 seconds) |
| 2025-12-17 14:09:10 +0100 | trickard_ | trickard |
| 2025-12-17 14:06:49 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-17 13:58:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) |
| 2025-12-17 13:58:01 +0100 | <bwe> | tomsmeding: so, I might just opt for microlens, then |
| 2025-12-17 13:52:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-17 13:39:49 +0100 | <tomsmeding> | RebindableSyntax is an extremely heavy hammer |
| 2025-12-17 13:39:18 +0100 | <tomsmeding> | so it essentially assumes that you've imported Prelude |
| 2025-12-17 13:39:04 +0100 | <tomsmeding> | bwe: RebindableSyntax works by desugaring certain types of syntax to normal variable references instead; see https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rebindable_syntax.html#extension-Re… |
| 2025-12-17 13:33:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 13:30:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:29:47 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:29:36 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Client Quit) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-17 13:28:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:28:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 13:28:50 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 13:28:40 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 13:27:09 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 13:24:25 +0100 | <bwe> | tomsmeding: I can reduce it to three types of errors: https://paste.tomsmeding.com/96H7v7Cm |
| 2025-12-17 13:21:17 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:19:23 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 13:19:01 +0100 | <tomsmeding> | bwe: it would be useful if you post what errors you are getting |
| 2025-12-17 13:15:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:14:39 +0100 | <bwe> | Why does enabling RebindableSyntax (to use OverloadedRecordUpdate) on ghc 9.12.2 just makes ghc to emit a load of compiler errors (so basically nothing is working)? |
| 2025-12-17 13:13:37 +0100 | Googulator33 | Googulator |
| 2025-12-17 13:12:13 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 13:10:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 13:03:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:59:31 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 12:58:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 12:49:52 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 12:45:33 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:42:03 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 2025-12-17 12:38:09 +0100 | jj | (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) omentic |
| 2025-12-17 12:36:45 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 12:35:59 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 12:33:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-17 12:29:34 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 12:28:18 +0100 | jj | (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
| 2025-12-17 12:27:52 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |