| 2025-09-08 00:04:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 00:15:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:16:50 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 00:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 00:20:54 +0200 | sonolin | (~michael@user/sonolin) sonolin |
| 2025-09-08 00:31:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:33:03 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-08 00:36:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 00:40:15 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-08 00:40:26 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-08 00:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:48:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jksdnbvkb) |
| 2025-09-08 00:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 00:54:44 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 265 seconds) |
| 2025-09-08 00:55:46 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-08 01:01:50 +0200 | DavidSch__ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2025-09-08 01:02:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:03:46 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-08 01:05:49 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-09-08 01:06:30 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-08 01:06:30 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-08 01:07:30 +0200 | Digit | (~user@user/digit) Digit |
| 2025-09-08 01:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 01:15:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-08 01:15:54 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) |
| 2025-09-08 01:15:55 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-09-08 01:20:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:25:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 01:36:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:36:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 250 seconds) |
| 2025-09-08 01:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 01:44:18 +0200 | sonolin | (~michael@user/sonolin) (Ping timeout: 260 seconds) |
| 2025-09-08 01:45:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-09-08 01:46:56 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-08 01:47:13 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 01:47:26 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 01:51:17 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 2025-09-08 01:51:36 +0200 | trickard_ | trickard |
| 2025-09-08 01:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:53:42 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-08 01:57:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-08 02:00:00 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-08 02:07:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:12:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 02:16:09 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-08 02:17:23 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 265 seconds) |
| 2025-09-08 02:18:19 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Quit: 'network maintenance') |
| 2025-09-08 02:19:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 02:21:17 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-08 02:22:19 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-08 02:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:24:18 +0200 | otto_s | (~user@p5b044af8.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-08 02:28:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 02:33:53 +0200 | otto_s | (~user@p5de2f137.dip0.t-ipconnect.de) |
| 2025-09-08 02:39:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:41:18 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-09-08 02:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 02:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:02:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 03:06:41 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-08 03:07:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-08 03:08:48 +0200 | jespada | (~jespada@2800:a4:229e:8e00:868:318d:53e8:5122) (Ping timeout: 252 seconds) |
| 2025-09-08 03:11:49 +0200 | jespada | (~jespada@2800:a4:2294:f600:c8cb:b2ed:49d6:a2cf) jespada |
| 2025-09-08 03:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:18:36 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-08 03:21:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:36e4:fe9c:2e27:247a) (Ping timeout: 260 seconds) |
| 2025-09-08 03:23:01 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-09-08 03:23:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 03:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:38:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 03:42:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-08 03:42:08 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:50f:e40a:ea8d:7aa7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 03:42:22 +0200 | Athas | (athas@sigkill.dk) |
| 2025-09-08 03:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 03:56:58 +0200 | jxsmty | (~dyno@user/jxsmty) jxsmty |
| 2025-09-08 04:05:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:10:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 04:15:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-08 04:16:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-08 04:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:21:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-08 04:24:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-08 04:26:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 04:31:45 +0200 | acidjnk | (~acidjnk@p200300d6e7171913b85d875ab8253342.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-08 04:36:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-08 04:36:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:40:59 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-08 04:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 04:52:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:57:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-08 05:01:56 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 05:02:10 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 05:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:13:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:15:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-09-08 05:20:56 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:b600:26b8:ba8a:bff5:bad) aforemny |
| 2025-09-08 05:22:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc9:300:3eaa:97ed:8ab3:fe4d) (Ping timeout: 265 seconds) |
| 2025-09-08 05:22:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-08 05:24:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 05:39:16 +0200 | srandomizer | (~user@50.219.86.2) |
| 2025-09-08 05:41:09 +0200 | srandomizer999 | (~user@50.219.86.2) |
| 2025-09-08 05:42:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:43:13 +0200 | srandomizer999 | (~user@50.219.86.2) (Client Quit) |
| 2025-09-08 05:43:46 +0200 | srandomizer | (~user@50.219.86.2) (Ping timeout: 256 seconds) |
| 2025-09-08 05:45:12 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-09-08 05:45:32 +0200 | jxsmty | (~dyno@user/jxsmty) (Quit: Leaving) |
| 2025-09-08 05:45:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-08 05:47:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:47:53 +0200 | qqe | (~qqq@185.54.23.136) |
| 2025-09-08 05:55:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:00:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 06:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:13:37 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-09-08 06:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 06:17:12 +0200 | trickard_ | trickard |
| 2025-09-08 06:17:12 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-08 06:17:59 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 06:19:18 +0200 | img | (~img@user/img) img |
| 2025-09-08 06:26:34 +0200 | michalz | (~michalz@185.246.207.218) |
| 2025-09-08 06:26:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:29:59 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 06:31:15 +0200 | img | (~img@user/img) img |
| 2025-09-08 06:31:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 06:48:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-08 06:56:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-08 06:57:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 06:58:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:00:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-08 07:03:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 07:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 07:27:00 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-08 07:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:34:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 07:34:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-08 07:37:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:48:04 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-08 07:48:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-08 07:52:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 08:04:47 +0200 | Guest8 | (~Guest50@50.219.86.2) |
| 2025-09-08 08:14:24 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-09-08 08:14:46 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-09-08 08:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 08:17:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 08:20:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-08 08:21:58 +0200 | raym | (~ray@user/raym) raym |
| 2025-09-08 08:22:12 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 08:22:26 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 08:32:04 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-08 08:41:11 +0200 | Guest8 | (~Guest50@50.219.86.2) (Quit: Client closed) |
| 2025-09-08 08:49:00 +0200 | qqe | (~qqq@185.54.23.136) (Quit: Lost terminal) |
| 2025-09-08 08:49:06 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-08 08:50:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 08:56:57 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-08 09:00:05 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-08 09:00:46 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-08 09:09:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:11:03 +0200 | img | (~img@user/img) img |
| 2025-09-08 09:11:06 +0200 | acidjnk | (~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) acidjnk |
| 2025-09-08 09:11:29 +0200 | fp | (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) fp |
| 2025-09-08 09:11:45 +0200 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2025-09-08 09:13:26 +0200 | <Square3> | Why does `Proxy :: Proxy Foo` in GHCI yield a a value that has a Typeable instance, even if Foo doesn't have one? |
| 2025-09-08 09:13:34 +0200 | akegalj | (~akegalj@213.202.92.55) akegalj |
| 2025-09-08 09:15:42 +0200 | <tomsmeding> | Square3: are you sure that Foo doesn't have a Typeable instance? |
| 2025-09-08 09:16:18 +0200 | <tomsmeding> | GHC magically generates Typeable instances for all data type declarations these days |
| 2025-09-08 09:20:37 +0200 | <tomsmeding> | Square3: if you generate Core for this https://play.haskell.org/saved/3XxgXHMy you'll see the Eq stuff is generated, but also Typeable |
| 2025-09-08 09:21:32 +0200 | <Square3> | tomsmeding, yes. I'm sure it doesn't derive Typeable |
| 2025-09-08 09:21:40 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:22:01 +0200 | <Square3> | i can do `typeRep (Proxy :: Proxy Foo)` at least. *shrug* |
| 2025-09-08 09:22:24 +0200 | <tomsmeding> | I'm fairly sure your Foo does have a Typeable instance |
| 2025-09-08 09:22:35 +0200 | <tomsmeding> | it's just not being shown in the :i output, and I'm not sure why |
| 2025-09-08 09:23:00 +0200 | <mauke> | should be easy to test with Foo directly |
| 2025-09-08 09:23:01 +0200 | <tomsmeding> | I don't think it is possible to define a data type in ghc haskell that does _not_ implement Typeable |
| 2025-09-08 09:27:16 +0200 | <Square3> | so ghci automatically adds it? |
| 2025-09-08 09:27:52 +0200 | <tomsmeding> | ghc automatically adds it |
| 2025-09-08 09:27:57 +0200 | <tomsmeding> | ghci is just an interactive interface to ghc |
| 2025-09-08 09:28:22 +0200 | qqe | (~qqq@185.54.23.136) |
| 2025-09-08 09:28:34 +0200 | <tomsmeding> | and it seems GHC also blindly assumes it's there |
| 2025-09-08 09:28:47 +0200 | <tomsmeding> | there is a flag to GHC that tells it to not generate Typeable instances: -dno-typeable-binds |
| 2025-09-08 09:29:07 +0200 | <tomsmeding> | if you do that and then proceed to use Typeable stuff, GHC raises an internal error, lol |
| 2025-09-08 09:29:32 +0200 | img | (~img@user/img) img |
| 2025-09-08 09:34:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 09:35:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 09:35:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 09:38:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-08 09:38:44 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 09:42:53 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:43:53 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-08 09:44:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 09:44:53 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 09:45:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |