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) |
2025-09-08 09:56:12 +0200 | <Square3> | tomsmeding, (sorry had a meeting) thanks. Well that explains it. |
2025-09-08 09:58:05 +0200 | <Square3> | > Since GHC 7.10, all types automatically have Typeable instances derived. This is in contrast to previous releases where Typeable had to be explicitly derived using the DeriveDataTypeable language extension. |
2025-09-08 09:58:06 +0200 | <lambdabot> | <hint>:1:15: error: parse error on input ‘,’ |
2025-09-08 10:06:53 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-08 10:16:49 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-08 10:17:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-08 10:17:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-08 10:17:00 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-08 10:19:22 +0200 | img | (~img@user/img) img |
2025-09-08 10:20:15 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-08 10:20:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-08 10:24:26 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 10:25:42 +0200 | img | (~img@user/img) img |
2025-09-08 10:30:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-08 10:31:15 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-08 10:41:13 +0200 | trickard_ | trickard |
2025-09-08 10:44:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-08 10:44:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-08 10:48:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-08 10:50:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
2025-09-08 10:51:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-08 10:53:21 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
2025-09-08 10:55:13 +0200 | fp | (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) (Ping timeout: 248 seconds) |
2025-09-08 10:57:51 +0200 | ubert | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) ubert |
2025-09-08 10:58:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-09-08 10:59:17 +0200 | img | (~img@user/img) img |
2025-09-08 11:01:21 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-08 11:11:47 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-08 11:18:21 +0200 | fp | (~Thunderbi@wireless-86-50-141-227.open.aalto.fi) fp |
2025-09-08 11:21:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-08 11:37:35 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-09-08 11:40:07 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-09-08 11:41:51 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
2025-09-08 11:42:37 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-08 11:50:04 +0200 | <Franciman> | Lycurgus: thanks a lot . Neat AF |
2025-09-08 11:50:18 +0200 | <Lycurgus> | yw |
2025-09-08 11:50:27 +0200 | <Franciman> | i'll try curry |
2025-09-08 11:50:52 +0200 | <Franciman> | re. switch from lisp to java, reason is: make industry look at you and like you |
2025-09-08 11:50:54 +0200 | <Franciman> | imho |
2025-09-08 11:51:10 +0200 | <Lycurgus> | yeah, actually most onto stuffs are java |
2025-09-08 11:51:22 +0200 | <Lycurgus> | for enterprise reasons |
2025-09-08 11:51:35 +0200 | FragByte_ | (~christian@user/fragbyte) FragByte |
2025-09-08 11:51:48 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 256 seconds) |
2025-09-08 11:51:49 +0200 | FragByte_ | FragByte |
2025-09-08 11:52:00 +0200 | <Lycurgus> | altho most of the older stuff like LOOM was lisp or prolog |
2025-09-08 11:52:14 +0200 | <Lycurgus> | ontosaurus and the like |
2025-09-08 11:55:26 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-09-08 11:56:35 +0200 | sindu | (~sindu@176.75.108.200) |
2025-09-08 11:56:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2025-09-08 12:11:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-08 12:11:59 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
2025-09-08 12:12:50 +0200 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-08 12:13:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
2025-09-08 12:21:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
2025-09-08 12:23:51 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-08 12:28:43 +0200 | FANTOM | (~fantom@87.74.59.94) (Ping timeout: 248 seconds) |
2025-09-08 12:33:55 +0200 | ski | . o O ( OpenCyc ) |
2025-09-08 12:36:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-08 12:38:00 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-08 12:39:40 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 258 seconds) |
2025-09-08 12:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-08 12:43:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-08 12:44:03 +0200 | FANTOM | (~fantom@90.244.128.25) |
2025-09-08 12:47:00 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-08 12:50:51 +0200 | kaotika | (~user@user/d4q) d4q |
2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-08 12:53:22 +0200 | a_fantom | (~fantom@90.244.128.25) |
2025-09-08 12:54:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-09-08 12:55:34 +0200 | FANTOM | (~fantom@90.244.128.25) (Ping timeout: 256 seconds) |
2025-09-08 12:56:00 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
2025-09-08 13:00:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-08 13:00:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-08 13:10:51 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-08 13:12:25 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-08 13:12:34 +0200 | akegalj | (~akegalj@213.202.92.55) (Ping timeout: 256 seconds) |
2025-09-08 13:16:45 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-09-08 13:17:18 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 260 seconds) |
2025-09-08 13:18:28 +0200 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-09-08 13:19:35 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-08 13:21:06 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-09-08 13:21:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-08 13:21:42 +0200 | michalz | (~michalz@185.246.207.193) |
2025-09-08 13:21:53 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-09-08 13:24:37 +0200 | akegalj | (~akegalj@78-1-67-84.adsl.net.t-com.hr) |
2025-09-08 13:25:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-08 13:25:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |