Logs: liberachat/#haskell
| 2025-12-17 10:18:12 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 10:18:33 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-17 10:20:13 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 10:20:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 10:21:28 | → | anpad joins (~pandeyan@user/anpad) |
| 2025-12-17 10:21:35 | × | Googulator60 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-17 10:22:05 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-17 10:25:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 10:25:45 | × | Googulator25 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 10:25:47 | → | Googulator20 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 10:32:35 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-17 10:36:01 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-17 10:38:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 10:41:28 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 10:41:40 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 10:43:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 10:44:20 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-17 10:47:42 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-17 10:55:53 | → | Googulator33 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-17 10:55:53 | × | Googulator20 quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 10:56:28 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 11:00:19 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2025-12-17 11:01:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 11:07:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-17 11:11:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 240 seconds) |
| 2025-12-17 11:12:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 11:13:43 | × | kuribas quits (~user@2a02-1810-2825-6000-71f1-6220-91c0-611e.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-12-17 11:17:00 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-17 11:27:52 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-12-17 11:28:18 | × | jj quits (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) (Ping timeout: 260 seconds) |
| 2025-12-17 11:29:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 11:33:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-17 11:35:59 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 11:36:45 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2025-12-17 11:38:09 | → | jj joins (~apropos@dhcp-128-189-46-128.ubcsecure.wireless.ubc.ca) |
| 2025-12-17 11:42:03 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 250 seconds) |
| 2025-12-17 11:45:33 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 11:49:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 11:58:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 11:59:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 12:03:59 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 12:10:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 12:12:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-17 12:13:37 | Googulator33 | is now known as Googulator |
| 2025-12-17 12:14:39 | <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 12:15:43 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 12:19:01 | <tomsmeding> | bwe: it would be useful if you post what errors you are getting |
| 2025-12-17 12:19:23 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 12:21:17 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2025-12-17 12:24:25 | <bwe> | tomsmeding: I can reduce it to three types of errors: https://paste.tomsmeding.com/96H7v7Cm |
| 2025-12-17 12:27:09 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 12:28:40 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 12:28:50 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-17 12:28:53 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 12:28:56 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2025-12-17 12:29:13 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-17 12:29:13 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-17 12:29:13 | → | haritz joins (~hrtz@user/haritz) |
| 2025-12-17 12:29:36 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Client Quit) |
| 2025-12-17 12:29:47 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-12-17 12:30:56 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2025-12-17 12:33:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 12:39:04 | <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-RebindableSyntax |
| 2025-12-17 12:39:18 | <tomsmeding> | so it essentially assumes that you've imported Prelude |
| 2025-12-17 12:39:49 | <tomsmeding> | RebindableSyntax is an extremely heavy hammer |
| 2025-12-17 12:52:16 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-17 12:58:01 | <bwe> | tomsmeding: so, I might just opt for microlens, then |
| 2025-12-17 12:58:13 | → | xff0x joins (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) |
| 2025-12-17 13:06:49 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-17 13:09:10 | trickard_ | is now known as trickard |
| 2025-12-17 13:22:09 | × | sp1ff quits (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 250 seconds) |
| 2025-12-17 13:22:39 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 13:26:58 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.2) |
| 2025-12-17 13:28:26 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2025-12-17 13:35:14 | → | tromp joins (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 13:37:43 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 13:45:44 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-12-17 13:48:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 14:14:41 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-17 14:15:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 14:18:37 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-17 14:19:02 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-17 14:22:13 | × | Googulator quits (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 14:22:36 | → | Googulator joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 14:23:16 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 14:23:30 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 14:24:01 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2025-12-17 14:24:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 14:25:23 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-17 14:26:05 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-12-17 14:28:04 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-17 14:28:54 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 14:30:20 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-17 14:31:07 | → | mrvdb joins (~mrvdb@185.92.221.186) |
| 2025-12-17 14:33:30 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 14:33:42 | → | sp1ff joins (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) |
| 2025-12-17 14:34:01 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 14:35:16 | → | img joins (~img@user/img) |
| 2025-12-17 14:45:20 | × | mrvdb quits (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 14:51:37 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
All times are in UTC.