| 2024-05-22 00:02:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-22 00:04:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 00:06:19 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-22 00:07:11 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-22 00:08:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-05-22 00:09:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 00:09:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-22 00:11:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-22 00:15:17 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-05-22 00:15:30 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-05-22 00:18:08 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-22 00:20:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 00:25:51 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-05-22 00:29:06 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-22 00:39:35 +0200 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-05-22 00:47:44 +0200 | destituion | (~destituio@2a02:2121:607:127a:483a:846b:b497:f738) (Remote host closed the connection) |
| 2024-05-22 00:48:26 +0200 | destituion | (~destituio@2a02:2121:607:127a:483a:846b:b497:f738) |
| 2024-05-22 00:50:10 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-05-22 00:52:40 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2024-05-22 00:52:53 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2024-05-22 00:52:54 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-22 01:01:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-22 01:03:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-22 01:03:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:21cd:c9e2:b2de:eff) |
| 2024-05-22 01:04:23 +0200 | mei | (~mei@user/mei) |
| 2024-05-22 01:13:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-22 01:14:37 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-22 01:18:38 +0200 | destituion | (~destituio@2a02:2121:607:127a:483a:846b:b497:f738) (Remote host closed the connection) |
| 2024-05-22 01:22:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 01:26:05 +0200 | destituion | (~destituio@2a02:2121:607:127a:483a:846b:b497:f738) |
| 2024-05-22 01:27:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-22 01:32:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 01:35:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-22 01:37:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-22 01:40:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-22 01:46:44 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-05-22 01:56:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc192d105e993ca958d7.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-05-22 02:01:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-05-22 02:04:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-22 02:11:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-22 02:13:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-05-22 02:15:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-22 02:21:18 +0200 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 4.0.4) |
| 2024-05-22 02:21:28 +0200 | caubert | (~caubert@user/caubert) |
| 2024-05-22 02:26:59 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2024-05-22 02:28:52 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-05-22 02:37:45 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
| 2024-05-22 02:39:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-22 02:43:35 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-22 02:44:51 +0200 | phma | (~phma@host-67-44-208-11.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-22 02:45:49 +0200 | phma | (~phma@host-67-44-208-11.hnremote.net) |
| 2024-05-22 02:47:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-05-22 02:47:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-22 02:53:47 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-05-22 02:55:09 +0200 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2024-05-22 02:56:26 +0200 | turlando | (~turlando@user/turlando) |
| 2024-05-22 03:03:25 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 272 seconds) |
| 2024-05-22 03:03:59 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 256 seconds) |
| 2024-05-22 03:05:50 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 03:08:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-22 03:08:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6e2f:a302:dfa:99b5) (Ping timeout: 240 seconds) |
| 2024-05-22 03:08:08 +0200 | fizbin__ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2024-05-22 03:08:22 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-05-22 03:08:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-22 03:14:08 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-22 03:22:13 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-05-22 03:30:00 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-22 03:40:08 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-05-22 03:42:53 +0200 | aforemny | (~aforemny@2001:9e8:6cca:4800:37b5:fb76:9e3f:6a26) (Ping timeout: 240 seconds) |
| 2024-05-22 03:43:31 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:ef00:7d5b:7836:3757:1b81) |
| 2024-05-22 03:52:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-05-22 03:53:20 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-05-22 03:54:31 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-05-22 03:55:55 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-22 03:56:41 +0200 | phma_ | (phma@2001:5b0:211c:b4f8:5e28:9615:a492:4a1c) |
| 2024-05-22 03:59:41 +0200 | otto_s | (~user@p5de2f060.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-22 04:00:01 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-22 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-22 04:01:11 +0200 | phma | (~phma@host-67-44-208-11.hnremote.net) (Ping timeout: 264 seconds) |
| 2024-05-22 04:01:40 +0200 | otto_s | (~user@p5b044cca.dip0.t-ipconnect.de) |
| 2024-05-22 04:01:53 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 04:02:25 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Quit: Leaving) |
| 2024-05-22 04:04:44 +0200 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-22 04:06:26 +0200 | td_ | (~td@i53870932.versanet.de) |
| 2024-05-22 04:06:35 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-22 04:09:00 +0200 | mei | (~mei@user/mei) |
| 2024-05-22 04:09:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-22 04:11:19 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-22 04:26:35 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-05-22 04:44:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-22 04:59:38 +0200 | agent314 | (~quassel@2607:fb91:1ecb:a716:4364:2578:cb2f:f0b4) |
| 2024-05-22 05:03:02 +0200 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 268 seconds) |
| 2024-05-22 05:04:16 +0200 | agent314 | (~quassel@2607:fb91:1ecb:a716:4364:2578:cb2f:f0b4) (Ping timeout: 268 seconds) |
| 2024-05-22 05:04:30 +0200 | td_ | (~td@i53870936.versanet.de) |
| 2024-05-22 05:16:19 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-05-22 05:19:35 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:9700:508f:3b86:8bf2:fa) |
| 2024-05-22 05:19:54 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:ef00:7d5b:7836:3757:1b81) (Ping timeout: 256 seconds) |
| 2024-05-22 05:21:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 2024-05-22 05:23:44 +0200 | phma_ | phma |
| 2024-05-22 05:49:32 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-05-22 05:51:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-22 05:56:58 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-22 06:01:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 06:07:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-22 06:19:19 +0200 | bgamari | (~bgamari@64.223.238.64) (Remote host closed the connection) |
| 2024-05-22 06:19:42 +0200 | bgamari | (~bgamari@64.223.238.64) |
| 2024-05-22 06:22:36 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-05-22 06:23:29 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-22 06:48:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-22 06:51:07 +0200 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-22 06:53:51 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-05-22 06:59:41 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-22 07:05:08 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-05-22 07:10:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-22 07:11:59 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-22 07:22:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 07:26:23 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-05-22 07:28:17 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-05-22 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-22 07:33:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 07:34:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-22 07:34:47 +0200 | euleritian | (~euleritia@dynamic-176-006-190-114.176.6.pool.telefonica.de) |
| 2024-05-22 07:36:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:21cd:c9e2:b2de:eff) (Quit: Leaving) |
| 2024-05-22 07:38:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-22 07:41:48 +0200 | beaky_ | beaky |
| 2024-05-22 07:44:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 07:44:30 +0200 | euleritian | (~euleritia@dynamic-176-006-190-114.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 07:44:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 07:54:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-22 07:54:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 08:14:02 +0200 | sayola | (~sayola@ip-109-42-243-149.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-05-22 08:16:47 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-05-22 08:19:22 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-22 08:23:40 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-22 08:29:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 08:35:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 08:40:26 +0200 | agent314 | (~quassel@104.129.57.116) |
| 2024-05-22 08:42:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-22 08:51:07 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-05-22 08:54:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 09:01:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-22 09:01:32 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-22 09:04:46 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-22 09:17:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-05-22 09:17:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-22 09:21:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-22 09:23:39 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2024-05-22 09:25:48 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44916bd328ff2bfe22.dip0.t-ipconnect.de) |
| 2024-05-22 09:30:19 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 2024-05-22 09:42:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 09:56:18 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-05-22 09:56:53 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-22 09:57:52 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-22 10:06:41 +0200 | kuribas | (~user@2a02:1808:83:3417:8d92:5a5b:3c18:7b92) |
| 2024-05-22 10:10:27 +0200 | <tomsmeding> | % import Data.Kind |
| 2024-05-22 10:10:27 +0200 | <yahb2> | <no output> |
| 2024-05-22 10:10:32 +0200 | <tomsmeding> | % data T = C Type |
| 2024-05-22 10:10:32 +0200 | <yahb2> | <no output> |
| 2024-05-22 10:10:41 +0200 | <tomsmeding> | % C _ |
| 2024-05-22 10:10:41 +0200 | <yahb2> | <interactive>:45:3: error: ; • Found hole: _ :: * ; • In the first argument of ‘C’, namely ‘_’ ; In the expression: C _ ; In an equation for ‘it’: it = C _ ; • Relevant bind... |
| 2024-05-22 10:10:47 +0200 | <tomsmeding> | why can I do this |
| 2024-05-22 10:11:01 +0200 | <tomsmeding> | % let wat = C undefined |
| 2024-05-22 10:11:01 +0200 | <yahb2> | <no output> |
| 2024-05-22 10:11:07 +0200 | <tomsmeding> | an undefined type? |
| 2024-05-22 10:11:20 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:4a8e:af2:d59e:4820) (Quit: Ping timeout (120 seconds)) |
| 2024-05-22 10:11:38 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:7f9:454e:33d8:ca41) |
| 2024-05-22 10:13:36 +0200 | <tomsmeding> | is it even possible to put a non-looping value there |
| 2024-05-22 10:13:51 +0200 | <tomsmeding> | (absent unsafeCoerce) |
| 2024-05-22 10:16:47 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-22 10:24:29 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-22 10:29:09 +0200 | kuribas | (~user@2a02:1808:83:3417:8d92:5a5b:3c18:7b92) (Remote host closed the connection) |
| 2024-05-22 10:31:39 +0200 | <Leary> | tomsmeding: TypeInType means the most uniform/regular option is to accept the declaration, even if it doesn't make sense. That said, it might actually, pre TypeData. I've used `newtype Matr = K ((Matr -> Type) -> Type)` before, with DataKinds. |
| 2024-05-22 10:32:57 +0200 | <tomsmeding> | yes I encountered this in the context of DataKinds, thinking "wait can I just do this without requiring GHC 9.8 and TypeData?" ... "yes?!" |
| 2024-05-22 10:36:05 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-22 10:36:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2024-05-22 10:41:02 +0200 | chele | (~chele@user/chele) |
| 2024-05-22 10:43:17 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-05-22 10:43:29 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-05-22 10:43:29 +0200 | ChanServ | +v yahb2 |
| 2024-05-22 10:44:18 +0200 | zetef | (~quassel@213.233.78.135) |
| 2024-05-22 10:45:42 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-05-22 10:45:54 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-05-22 10:45:54 +0200 | ChanServ | +v yahb2 |
| 2024-05-22 10:46:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-22 10:48:54 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-22 10:49:04 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-22 10:49:40 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) |
| 2024-05-22 10:50:26 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-22 10:51:43 +0200 | zetef | (~quassel@213.233.78.135) (Ping timeout: 260 seconds) |
| 2024-05-22 10:52:12 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-22 10:57:32 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) (Ping timeout: 260 seconds) |
| 2024-05-22 10:58:29 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) |
| 2024-05-22 10:58:31 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-05-22 10:58:48 +0200 | joeyh_ | (~joeyh@kitenet.net) |
| 2024-05-22 10:58:56 +0200 | Goodbye_Vincent2 | (cyvahl@freakshells.net) |
| 2024-05-22 10:59:00 +0200 | dagit | (~dagit@24.21.226.72) |
| 2024-05-22 10:59:25 +0200 | lukec_ | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-05-22 10:59:25 +0200 | bsima1_ | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-05-22 10:59:25 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-05-22 10:59:27 +0200 | fluffyballoon_ | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-05-22 10:59:33 +0200 | remexre_ | (~remexre@user/remexre) |
| 2024-05-22 10:59:36 +0200 | _0xa_ | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2024-05-22 10:59:38 +0200 | hugo- | (znc@quicksilver.lysator.liu.se) |
| 2024-05-22 10:59:43 +0200 | davetapley_ | (sid666@id-666.uxbridge.irccloud.com) |
| 2024-05-22 10:59:52 +0200 | tertek_ | (~tertek@101.175.150.247) |
| 2024-05-22 11:00:02 +0200 | darksatanic | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2024-05-22 11:00:07 +0200 | scav_ | (sid309693@user/scav) |
| 2024-05-22 11:00:08 +0200 | bw_______ | (sid2730@id-2730.ilkley.irccloud.com) |
| 2024-05-22 11:00:15 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2024-05-22 11:00:16 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-05-22 11:00:16 +0200 | benkard | (~mulk@p5b112e4a.dip0.t-ipconnect.de) |
| 2024-05-22 11:00:20 +0200 | amir_ | (sid22336@user/amir) |
| 2024-05-22 11:00:25 +0200 | dmj`_ | (sid72307@id-72307.hampstead.irccloud.com) |
| 2024-05-22 11:00:28 +0200 | lockna_ | (~lockna@static.139.16.130.94.clients.your-server.de) |
| 2024-05-22 11:00:29 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) |
| 2024-05-22 11:01:06 +0200 | tdammers_ | (~tdammers@41-138-178-143.ftth.glasoperator.nl) |
| 2024-05-22 11:01:12 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | scav | (sid309693@user/scav) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | joeyh | (~joeyh@kitenet.net) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | darkling | (~darkling@savella.carfax.org.uk) (Remote host closed the connection) |
| 2024-05-22 11:01:12 +0200 | bw______ | (sid2730@id-2730.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | pandeyan | (~pandeyan@135-180-52-213.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-22 11:01:12 +0200 | lockna | (~lockna@static.139.16.130.94.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-22 11:01:12 +0200 | filwisher_ | (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | _0xa | (~user@user/0xa/x-3134607) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | mulk | (~mulk@p5b112e4a.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | dagi85299 | (~dagit@24.21.226.72) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | pierrot | (~pi@user/pierrot) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:12 +0200 | hugo | (znc@quicksilver.lysator.liu.se) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | tertek | (~tertek@user/tertek) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:12 +0200 | Fangs_ | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-05-22 11:01:12 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2024-05-22 11:01:13 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:13 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:13 +0200 | tdammers | (~tdammers@41-138-178-143.ftth.glasoperator.nl) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:13 +0200 | Fangs_ | Fangs |
| 2024-05-22 11:01:13 +0200 | bsima1_ | bsima1 |
| 2024-05-22 11:01:16 +0200 | lukec_ | lukec |
| 2024-05-22 11:01:16 +0200 | fluffyballoon_ | fluffyballoon |
| 2024-05-22 11:01:16 +0200 | scav_ | scav |
| 2024-05-22 11:01:16 +0200 | Goodbye_Vincent2 | Goodbye_Vincent |
| 2024-05-22 11:01:16 +0200 | dmj`_ | dmj` |
| 2024-05-22 11:01:16 +0200 | davetapley_ | davetapley |
| 2024-05-22 11:01:17 +0200 | benkard | mulk |
| 2024-05-22 11:01:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:19 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:19 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:19 +0200 | amir | (sid22336@user/amir) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:19 +0200 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:20 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:20 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:20 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 268 seconds) |
| 2024-05-22 11:01:21 +0200 | amir_ | amir |
| 2024-05-22 11:01:21 +0200 | gaze___ | gaze__ |
| 2024-05-22 11:01:28 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2024-05-22 11:01:33 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-05-22 11:01:36 +0200 | remexre_ | remexre |
| 2024-05-22 11:01:39 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2024-05-22 11:03:56 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-05-22 11:04:56 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:4a00:e6b9:7aff:fe80:3d03) |
| 2024-05-22 11:08:08 +0200 | pierrot | (~pi@user/pierrot) |
| 2024-05-22 11:15:14 +0200 | darksatanic | darkling |
| 2024-05-22 11:16:49 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-22 11:20:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-22 11:36:28 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1ac8:332f:5808:c28a) |
| 2024-05-22 11:51:16 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Ping timeout: 268 seconds) |
| 2024-05-22 11:51:49 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 11:52:54 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-22 11:53:49 +0200 | destituion | (~destituio@2a02:2121:607:127a:483a:846b:b497:f738) (Ping timeout: 256 seconds) |
| 2024-05-22 11:53:55 +0200 | ars23 | (~ars23@user/ars23) |
| 2024-05-22 11:54:43 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-05-22 11:57:36 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44916bd328ff2bfe22.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-05-22 11:59:54 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:4a00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-05-22 12:07:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-05-22 12:15:19 +0200 | agent314 | (~quassel@104.129.57.116) (Ping timeout: 268 seconds) |
| 2024-05-22 12:15:37 +0200 | agent314 | (~quassel@ip-209-141-115-66.syringanetworks.net) |
| 2024-05-22 12:21:32 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Ping timeout: 260 seconds) |
| 2024-05-22 12:33:07 +0200 | <ars23> | Hi! |
| 2024-05-22 12:36:11 +0200 | akegalj | (~akegalj@78-2-87-201.adsl.net.t-com.hr) |
| 2024-05-22 12:36:43 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 2024-05-22 12:36:44 +0200 | <tomsmeding> | hi :) |
| 2024-05-22 12:38:03 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-05-22 12:38:59 +0200 | <mreh> | @paste |
| 2024-05-22 12:39:00 +0200 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2024-05-22 12:43:19 +0200 | <Leary> | Is there a nice way to get GHC or cabal to dump the topo-sorted list of modules (by path, not name) in the package I'm developing? I realise that `rm -r dist-newstyle; cabal build | ...` could achieve this, but I'd rather not. |
| 2024-05-22 12:43:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 12:44:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 12:44:03 +0200 | <mreh> | Any idea why GHC can't decided on the right instance here? https://paste.debian.net/1317735/ It says the instance for V4 a and V4 (V4 a) are overlapping, despite the constraints... |
| 2024-05-22 12:44:46 +0200 | <tomsmeding> | Leary: `cabal-plan tred`? |
| 2024-05-22 12:44:53 +0200 | <tomsmeding> | @hackage cabal-plan |
| 2024-05-22 12:44:54 +0200 | <lambdabot> | https://hackage.haskell.org/package/cabal-plan |
| 2024-05-22 12:45:06 +0200 | <tomsmeding> | oh no that's not what you want |
| 2024-05-22 12:45:09 +0200 | <tomsmeding> | @hackage graphmod |
| 2024-05-22 12:45:09 +0200 | <lambdabot> | https://hackage.haskell.org/package/graphmod |
| 2024-05-22 12:45:12 +0200 | <mreh> | thats for deps |
| 2024-05-22 12:45:28 +0200 | <mreh> | I think |
| 2024-05-22 12:45:50 +0200 | <tomsmeding> | yes graphmod is for modules, but it gives a graphviz dot file |
| 2024-05-22 12:46:06 +0200 | <tomsmeding> | mreh: instances are greedily selected on their head (the thing after the class name), ignoring any constraints |
| 2024-05-22 12:46:28 +0200 | <tomsmeding> | so GHC must decide for a particular type T whether it matches (V4 a), (V4 (V4 a)), (V2 a) or (V3 a) |
| 2024-05-22 12:46:38 +0200 | <mreh> | tomsmeding: okay, and there's no way to tell it which? |
| 2024-05-22 12:46:47 +0200 | <tomsmeding> | if T is V4 b for some yet-unknown b, then those two instances are ambiguous |
| 2024-05-22 12:46:49 +0200 | <mreh> | I guess a type wrapper? |
| 2024-05-22 12:47:15 +0200 | <tomsmeding> | you can't have an instance for "the other types" |
| 2024-05-22 12:47:32 +0200 | <tomsmeding> | yes a newtype around V4 (V4 a) could be a solution |
| 2024-05-22 12:47:55 +0200 | <tomsmeding> | if you can arrange that the "contents" of a vector is always some other type, say Scalar, then you could distinguish between V4 (V4 (Scalar a)) and V4 (Scalar a) |
| 2024-05-22 12:47:58 +0200 | <tomsmeding> | because Scalar /= V4 |
| 2024-05-22 12:48:25 +0200 | <Leary> | tomsmeding: Cheers. Not sure how easy it is to parse what I need out of a dot file, but I'll have a look. |
| 2024-05-22 12:48:28 +0200 | <mreh> | yeah, well I thought the constraint VertexAttributeComponent might do that |
| 2024-05-22 12:48:50 +0200 | <tomsmeding> | mreh: ghc does not look at the constraints, the result of which is that the instance resolution algorithm never has to backtraeck |
| 2024-05-22 12:48:53 +0200 | <tomsmeding> | *backtrack |
| 2024-05-22 12:48:58 +0200 | <mreh> | and GHC would realise that V4 a isn't a VertexAtributeComponent |
| 2024-05-22 12:49:07 +0200 | <tomsmeding> | someone could add an instance in some other package |
| 2024-05-22 12:49:18 +0200 | <tomsmeding> | then your instance declarations would suddenly become ambiguous |
| 2024-05-22 12:49:26 +0200 | <tomsmeding> | haskell is designed to avoid such effects |
| 2024-05-22 12:49:29 +0200 | <mreh> | ahh |
| 2024-05-22 12:49:38 +0200 | <tomsmeding> | the intention is that things can only become _more_ defined |
| 2024-05-22 12:49:49 +0200 | <tomsmeding> | orphan instances break this, which is why ghc warns about them by default |
| 2024-05-22 12:50:19 +0200 | <tomsmeding> | there is also the OVERLAPPABLE pragma that you can put on an instance, but ghc doesn't guarantee that that will be honoured if I remember correctly |
| 2024-05-22 12:50:33 +0200 | <tomsmeding> | so if you depend on the correct instance being chosen for correctness, OVERLAPPABLE is not the right way |
| 2024-05-22 12:50:58 +0200 | <mreh> | It's not a public typeclass so there's little risk of someone implementing it to break things |
| 2024-05-22 12:51:14 +0200 | <tomsmeding> | right |
| 2024-05-22 12:51:15 +0200 | <mreh> | but I do need the correct instance to be chosen |
| 2024-05-22 12:51:21 +0200 | <tomsmeding> | so ghc's restriction is perhaps a bit conservative |
| 2024-05-22 12:52:19 +0200 | <mreh> | how does it choose when you include the pragma? |
| 2024-05-22 12:52:29 +0200 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/instances.html#instance-overlap good luck |
| 2024-05-22 12:53:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-22 12:54:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 12:54:39 +0200 | <tomsmeding> | it may work if both instances are always in scope together |
| 2024-05-22 12:54:51 +0200 | <tomsmeding> | (putting OVERLAPPABLE on the V4 a instance) |
| 2024-05-22 12:55:03 +0200 | <mreh> | tomsmeding: okay, that was easy |
| 2024-05-22 12:55:11 +0200 | <tomsmeding> | but don't quote me on that |
| 2024-05-22 12:55:12 +0200 | <mreh> | I think I figured it out already |
| 2024-05-22 12:55:22 +0200 | <mreh> | it's compiling... so I guess it works |
| 2024-05-22 12:55:25 +0200 | <tomsmeding> | no |
| 2024-05-22 12:55:59 +0200 | <tomsmeding> | hm wait maybe I can construct a counterexample |
| 2024-05-22 12:56:12 +0200 | <tomsmeding> | the fact that your instances compile says nothing about whether this trick will work |
| 2024-05-22 12:56:17 +0200 | <mreh> | instance {-# OVERLAPPABLE #-} (VertexAttributeComponent a, Storable a) => VertexAttribute (V4 a) |
| 2024-05-22 12:56:20 +0200 | <mreh> | ... |
| 2024-05-22 12:56:22 +0200 | <mreh> | instance {-# OVERLAPPING #-} (VertexAttributeComponent a, Storable a) => VertexAttribute (V4 (V4 a)) where |
| 2024-05-22 12:56:25 +0200 | <tomsmeding> | it will work usually |
| 2024-05-22 12:56:37 +0200 | <tomsmeding> | the question is will GHC _always_ choose the second one if it would apply |
| 2024-05-22 12:56:43 +0200 | <tomsmeding> | I think there are cases where it won't |
| 2024-05-22 12:57:25 +0200 | <mreh> | Isn't the second always more specific when resolving the instance for V4 (V4 a)? |
| 2024-05-22 12:57:38 +0200 | <tomsmeding> | if the type is already monomorphic, yes |
| 2024-05-22 12:58:21 +0200 | <mreh> | i.e. a is bound to some type? |
| 2024-05-22 13:01:38 +0200 | <mreh> | I'm actually using that new definition and it's compiling, I can't run it yet because I haven't finished implementing. That instance is an expansion of some code I already wrote to handle vertex attributes that contain vectors, to handle vertex attributes that contain matrices. |
| 2024-05-22 13:03:29 +0200 | <mreh> | It's supposed to buffer the data into a vertex buffer then create the right number of attributes. The behavious is pretty nasty and implicit and I might be being too clever for my own good... |
| 2024-05-22 13:04:15 +0200 | <mreh> | (Attributes can't be wider than four C types.) |
| 2024-05-22 13:05:07 +0200 | <tomsmeding> | okay I thought I could construct a case where the overlapping instance is not honoured using a polymorphic function inside of which the a inside V4 is not yet known |
| 2024-05-22 13:05:19 +0200 | <tomsmeding> | but I can't get ghc to accept that code |
| 2024-05-22 13:05:22 +0200 | <tomsmeding> | so maybe it works |
| 2024-05-22 13:05:59 +0200 | <tomsmeding> | mreh: what if someone writes `newtype Foo a = Foo (V4 a)` |
| 2024-05-22 13:06:00 +0200 | <mreh> | I don't think I'll need to use it polymorphically. But I'm already starting to regret it despite my cleverness. Anything it's done now. |
| 2024-05-22 13:06:12 +0200 | <tomsmeding> | can they implement VertexAttributeComponent for that in a way that your plan is foiled |
| 2024-05-22 13:06:45 +0200 | <mreh> | No, only I can do that, and I don't like to sabotage myself. |
| 2024-05-22 13:06:53 +0200 | <tomsmeding> | :) |
| 2024-05-22 13:07:18 +0200 | <tomsmeding> | then it'll probably work, but again, I'm not responsible for catastrophic failures if it ends up not working :) |
| 2024-05-22 13:07:21 +0200 | <mreh> | ;) |
| 2024-05-22 13:09:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:387b:4f8:3156:9ea9) |
| 2024-05-22 13:22:43 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:4a00:e6b9:7aff:fe80:3d03) |
| 2024-05-22 13:34:41 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-22 13:35:39 +0200 | yin | (~yin@user/zero) |
| 2024-05-22 13:37:29 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) (Remote host closed the connection) |
| 2024-05-22 13:39:34 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) |
| 2024-05-22 13:47:21 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
| 2024-05-22 13:50:17 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-22 13:54:32 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-05-22 13:55:17 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 2024-05-22 13:56:53 +0200 | yin | (~yin@user/zero) |
| 2024-05-22 13:57:25 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 2024-05-22 13:57:59 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:a989:eef5:428c) |
| 2024-05-22 13:58:50 +0200 | danse-nr3 | (~danse-nr3@151.37.206.107) (Remote host closed the connection) |
| 2024-05-22 14:00:24 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 14:02:29 +0200 | kuribas | (~user@2a02:1808:83:3417:8d92:5a5b:3c18:7b92) |
| 2024-05-22 14:03:15 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-22 14:03:22 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-05-22 14:03:37 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-22 14:03:49 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-22 14:05:59 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Ping timeout: 264 seconds) |
| 2024-05-22 14:06:43 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 14:20:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-05-22 14:26:04 +0200 | ars23 | (~ars23@user/ars23) (Quit: https://github.com/brandly/Lax) |
| 2024-05-22 14:29:13 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-22 14:31:50 +0200 | cfricke | (~cfricke@user/cfricke) (Read error: Connection reset by peer) |
| 2024-05-22 14:32:08 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-22 14:32:28 +0200 | <Athas> | I'm seeing some very troubling linker errors when compiling my Haskell program via nix. The full log is at https://gist.github.com/athas/23721393788eb074c102cb95bcfa4e46 (interesting stuff at the bottom), but the errors are things like |
| 2024-05-22 14:32:28 +0200 | <Athas> | /nix/store/r20kl3djvc3r5w5a0gwy4d896mn6b22a-elfutils-0.191/lib/libdw.a(dwfl_end.o):function dwfl_end:(.text+0x7b): error: undefined reference to 'elf_end' |
| 2024-05-22 14:32:28 +0200 | <Athas> | I don't actually know if this is even Haskell specific, but I have a hunch that it has something to do with the fact that I'm building a static binary. |
| 2024-05-22 14:32:34 +0200 | <Athas> | Has anyone here ever seen something similar? |
| 2024-05-22 14:32:47 +0200 | cfricke | (~cfricke@user/cfricke) (Client Quit) |
| 2024-05-22 14:33:44 +0200 | <Athas> | This is with GHC 9.6.5. |
| 2024-05-22 14:34:40 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 14:37:25 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2024-05-22 14:37:58 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1ac8:332f:5808:c28a) (Quit: ubert) |
| 2024-05-22 14:39:52 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2024-05-22 14:40:05 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-22 14:40:10 +0200 | ars23 | (~ars23@user/ars23) |
| 2024-05-22 14:40:33 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 14:43:47 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-05-22 14:44:24 +0200 | ars23 | (~ars23@user/ars23) (Remote host closed the connection) |
| 2024-05-22 14:47:15 +0200 | malte | (~malte@mal.tc) (Ping timeout: 255 seconds) |
| 2024-05-22 14:53:48 +0200 | malte | (~malte@mal.tc) |
| 2024-05-22 14:53:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-22 14:55:25 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:7f9:454e:33d8:ca41) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-22 14:56:00 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Ping timeout: 260 seconds) |
| 2024-05-22 14:57:46 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 14:58:05 +0200 | malte | (~malte@mal.tc) (Ping timeout: 240 seconds) |
| 2024-05-22 15:01:42 +0200 | kuribas` | (~user@2a02:1808:2:eb65:4d70:b4a4:a0d4:9ff9) |
| 2024-05-22 15:02:36 +0200 | malte | (~malte@mal.tc) |
| 2024-05-22 15:03:40 +0200 | kuribas | (~user@2a02:1808:83:3417:8d92:5a5b:3c18:7b92) (Ping timeout: 268 seconds) |
| 2024-05-22 15:06:25 +0200 | sayola | (~sayola@2a00:20:b00b:2d25:1c46:6e8b:7bd7:2cc8) |
| 2024-05-22 15:10:56 +0200 | akegalj | (~akegalj@78-2-87-201.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2024-05-22 15:25:05 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-05-22 15:25:50 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) |
| 2024-05-22 15:34:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-22 15:34:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 15:41:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-22 15:42:16 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) |
| 2024-05-22 15:43:31 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-22 15:44:13 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-22 15:44:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-22 15:45:11 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2024-05-22 15:47:56 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-05-22 15:53:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-22 16:03:32 +0200 | akegalj | (~akegalj@78-2-87-201.adsl.net.t-com.hr) |
| 2024-05-22 16:07:18 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-22 16:12:26 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-22 16:20:47 +0200 | wheatengineer | (~frederik@p200300f63f109500d1eb735ac203b6aa.dip0.t-ipconnect.de) |
| 2024-05-22 16:26:45 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-05-22 16:27:45 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-22 16:28:23 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-22 16:28:53 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-05-22 16:29:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) |
| 2024-05-22 16:29:27 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-22 16:29:54 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-22 16:33:18 +0200 | zetef | (~quassel@141.85.150.105) |
| 2024-05-22 16:36:51 +0200 | wheatengineer | (~frederik@p200300f63f109500d1eb735ac203b6aa.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-05-22 16:37:24 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-05-22 16:40:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-22 16:41:30 +0200 | zetef | (~quassel@141.85.150.105) (Remote host closed the connection) |
| 2024-05-22 16:43:23 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-22 16:44:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-22 16:48:42 +0200 | vladl | (~vladl@24.35.90.183) (Quit: leaving) |
| 2024-05-22 16:51:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-22 16:53:40 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1ac8:332f:5808:c28a) |
| 2024-05-22 17:00:40 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) |
| 2024-05-22 17:04:29 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-22 17:06:55 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-05-22 17:11:04 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 256 seconds) |
| 2024-05-22 17:14:43 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 17:15:07 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 17:17:04 +0200 | destituion | (~destituio@2a02:2121:607:127a:20f6:97b:b991:e857) |
| 2024-05-22 17:19:22 +0200 | agent314 | (~quassel@ip-209-141-115-66.syringanetworks.net) (Ping timeout: 255 seconds) |
| 2024-05-22 17:20:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-22 17:21:11 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 17:21:29 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-22 17:26:05 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-05-22 17:26:35 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-05-22 17:26:38 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) |
| 2024-05-22 17:27:02 +0200 | kimiamania | (~76637481@user/kimiamania) |
| 2024-05-22 17:27:58 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 2024-05-22 17:29:19 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-22 17:29:29 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 17:29:44 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2024-05-22 17:29:47 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-22 17:30:03 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-22 17:30:46 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) |
| 2024-05-22 17:34:11 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-05-22 17:34:45 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) |
| 2024-05-22 17:39:16 +0200 | <Athas> | How do I get GHC to not link against libdw? |
| 2024-05-22 17:40:04 +0200 | ux0r | (~ux0r@user/ux0r) |
| 2024-05-22 17:42:34 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-22 17:43:04 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-05-22 17:43:11 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2024-05-22 17:44:29 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-22 17:46:40 +0200 | <Hecate> | Athas: I don't know if you can control it :( Read https://gitlab.haskell.org/ghc/ghc/-/wikis/dwarf and open a ticket to describe your usecase |
| 2024-05-22 17:46:51 +0200 | <geekosaur> | install a ghc without DWARF support, otherwise the RTS requires libdw |
| 2024-05-22 17:47:20 +0200 | <geekosaur> | DWARF isn't the default with ghcup at leastt, and on downloads.haskell.org it's a separate bindist |
| 2024-05-22 17:47:47 +0200 | <geekosaur> | hilfy «xmonad-contrib*debugEvents-fixes-2» ⁅xmonad-contrib⁆ Z$ ghc --info | grep libdw |
| 2024-05-22 17:47:48 +0200 | <geekosaur> | ,("RTS expects libdw","NO") |
| 2024-05-22 17:47:52 +0200 | <Athas> | Too bad. It's breaking my static builds. Maybe Nix allows me to switch it off. |
| 2024-05-22 17:48:56 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) (Ping timeout: 268 seconds) |
| 2024-05-22 17:52:03 +0200 | <Hecate> | Athas: wait, how are you getting GHC? |
| 2024-05-22 17:53:21 +0200 | <Athas> | From Nix. |
| 2024-05-22 17:53:50 +0200 | <Athas> | Looks like NixOS changed how it configures GHC between 9.4 and 9.6. Now the RTS expects libdw. |
| 2024-05-22 17:55:38 +0200 | <raehik> | is there a way for me to use a previously matched `g ~ BigLongType a b c` constraint in an associated type synonym? https://paste.tomsmeding.com/GTjBqqpl |
| 2024-05-22 17:57:02 +0200 | <raehik> | It seems that dealing in promoted tuples is a pain, because in order to unwrap them we have to use type families, so they can't be used in associated type families (which are apparently "associated type synonym families") |
| 2024-05-22 17:57:53 +0200 | <raehik> | so I have to write an extra layer that has unwrapped my tuple. but then I can't use my "binder" constraints in the type synonyms anyway, only class functions :'( |
| 2024-05-22 18:00:40 +0200 | <raehik> | maybe if I defunctionalize again I can do what I want :(( |
| 2024-05-22 18:00:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-22 18:01:43 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-22 18:03:52 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:1ac8:332f:5808:c28a) (Quit: ubert) |
| 2024-05-22 18:03:55 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-22 18:07:23 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-22 18:08:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-05-22 18:10:01 +0200 | <tomsmeding> | raehik: but since `p ~ Parser pCh pEnd sInit`, you can just use the expanded definition, right? |
| 2024-05-22 18:10:18 +0200 | <tomsmeding> | which you did |
| 2024-05-22 18:10:44 +0200 | <tomsmeding> | an associated type family is mostly just a type family |
| 2024-05-22 18:11:00 +0200 | <tomsmeding> | and if you wrote `type instance PS (Isolate' n pCh pEnd sInit) = SIsolateS p` then `p` would be out of scope |
| 2024-05-22 18:11:39 +0200 | <raehik> | tomsmeding: Yeah I'm sad because I have to expand out where I don't want to |
| 2024-05-22 18:12:30 +0200 | kuribas` | (~user@2a02:1808:2:eb65:4d70:b4a4:a0d4:9ff9) (Remote host closed the connection) |
| 2024-05-22 18:17:14 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Excess Flood) |
| 2024-05-22 18:17:33 +0200 | akegalj | (~akegalj@78-2-87-201.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-05-22 18:17:50 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 18:20:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 18:21:08 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 18:23:55 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:4a00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-05-22 18:24:41 +0200 | zetef | (~quassel@86.124.126.120) |
| 2024-05-22 18:33:05 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) |
| 2024-05-22 18:36:11 +0200 | zetef | (~quassel@86.124.126.120) (Remote host closed the connection) |
| 2024-05-22 18:37:16 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-22 18:41:41 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) (Ping timeout: 240 seconds) |
| 2024-05-22 18:41:52 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-22 18:43:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-22 18:44:14 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) |
| 2024-05-22 18:51:16 +0200 | danse-nr3 | (~danse-nr3@151.37.170.61) (Read error: Connection reset by peer) |
| 2024-05-22 18:51:59 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) |
| 2024-05-22 18:58:19 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 18:58:38 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-22 18:58:53 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-05-22 19:01:25 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) (Remote host closed the connection) |
| 2024-05-22 19:01:49 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) |
| 2024-05-22 19:02:19 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-22 19:02:25 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-05-22 19:04:32 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-05-22 19:05:39 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) |
| 2024-05-22 19:07:50 +0200 | <Athas> | Building statically linked Haskell binaries with Nix seems to have become more difficult (again), but I managed to get it to work. |
| 2024-05-22 19:09:29 +0200 | <sm> | it's like bitcoin.. difficulty must increase to maintain equilibrium |
| 2024-05-22 19:09:49 +0200 | <Athas> | Proof-of-build. |
| 2024-05-22 19:10:25 +0200 | <Athas> | Maybe to maintain the difficulty, I should document my solution on my Gopher log, rather than my WWW blog. |
| 2024-05-22 19:10:52 +0200 | <sm> | yes that would be acceptable :) |
| 2024-05-22 19:11:50 +0200 | yin | (~yin@user/zero) |
| 2024-05-22 19:12:18 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 19:12:35 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-22 19:14:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-22 19:16:11 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-05-22 19:19:43 +0200 | <monochrom> | Wait, how could it become more difficult? Did nix change? |
| 2024-05-22 19:19:47 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 2024-05-22 19:22:12 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-22 19:22:27 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-22 19:22:39 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) (Remote host closed the connection) |
| 2024-05-22 19:22:43 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-22 19:23:04 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) |
| 2024-05-22 19:23:05 +0200 | <Athas> | monochrom: yes. |
| 2024-05-22 19:23:11 +0200 | <monochrom> | :( |
| 2024-05-22 19:23:28 +0200 | <Athas> | I mean, I am the one who asked it to change. |
| 2024-05-22 19:24:41 +0200 | <Athas> | Wrote a note on it: https://sigkill.dk/blog/2024-05-22-static-linking-on-nix-with-ghc96.html |
| 2024-05-22 19:25:08 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Read error: Connection reset by peer) |
| 2024-05-22 19:28:19 +0200 | danse-nr3 | (~danse-nr3@151.37.173.40) (Ping timeout: 260 seconds) |
| 2024-05-22 19:36:02 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-22 19:36:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-22 19:36:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-22 19:48:11 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-05-22 19:52:16 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) (Ping timeout: 268 seconds) |
| 2024-05-22 19:55:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-22 19:59:40 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-05-22 19:59:57 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) |
| 2024-05-22 20:00:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-22 20:03:28 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-22 20:03:38 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-22 20:04:58 +0200 | davean1 | davean |
| 2024-05-22 20:11:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-05-22 20:16:19 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Ping timeout: 268 seconds) |
| 2024-05-22 20:16:57 +0200 | euleritian | (~euleritia@dynamic-176-006-199-144.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-22 20:17:09 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 20:17:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 20:19:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-22 20:21:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 20:22:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 20:24:25 +0200 | internatetional | (~nate@182.2.51.214) |
| 2024-05-22 20:25:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 20:26:16 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 20:26:45 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-05-22 20:30:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 20:31:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-22 20:33:40 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 20:34:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-22 20:35:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-22 20:40:58 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-22 20:41:08 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-22 20:41:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2024-05-22 20:45:46 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) |
| 2024-05-22 20:50:51 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) (Ping timeout: 268 seconds) |
| 2024-05-22 20:52:07 +0200 | beowuff | (~beowuff@50.125.248.222) (Quit: Nap time!) |
| 2024-05-22 20:53:02 +0200 | <yin> | why is the links menu item missing a slash on that site? |
| 2024-05-22 20:54:15 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-22 20:54:20 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 20:55:10 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Ping timeout: 268 seconds) |
| 2024-05-22 20:59:47 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-22 21:04:39 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-22 21:05:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-05-22 21:05:39 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Excess Flood) |
| 2024-05-22 21:05:45 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 21:06:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 21:07:06 +0200 | <lxsameer> | hey folks, how do you get more info on error numbers like [GHC-88646] ? |
| 2024-05-22 21:08:29 +0200 | <monochrom> | I think there is a website documenting them. I forgot where. |
| 2024-05-22 21:08:51 +0200 | <mauke> | https://errors.haskell.org/ |
| 2024-05-22 21:08:58 +0200 | <lxsameer> | cheers |
| 2024-05-22 21:10:12 +0200 | <mauke> | @where errors |
| 2024-05-22 21:10:13 +0200 | <lambdabot> | https://errors.haskell.org the Haskell Error Index |
| 2024-05-22 21:10:19 +0200 | <mauke> | nice |
| 2024-05-22 21:11:47 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.203) (Read error: Connection reset by peer) |
| 2024-05-22 21:11:50 +0200 | sayola1 | (~sayola@2a00:20:604e:a725:1c46:6e8b:7bd7:2cc8) |
| 2024-05-22 21:12:12 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.203) |
| 2024-05-22 21:13:03 +0200 | sayola | (~sayola@2a00:20:b00b:2d25:1c46:6e8b:7bd7:2cc8) (Ping timeout: 268 seconds) |
| 2024-05-22 21:13:43 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-22 21:17:46 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 21:20:45 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-22 21:21:58 +0200 | sawilagar_ | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-22 21:22:14 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-22 21:24:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 21:24:27 +0200 | Square | (~Square@user/square) |
| 2024-05-22 21:29:10 +0200 | <Athas> | yin: it's a file, not a directory. |
| 2024-05-22 21:37:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-05-22 21:37:26 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-22 21:42:06 +0200 | <sm> | @where errors <- if you forget |
| 2024-05-22 21:42:06 +0200 | <lambdabot> | https://errors.haskell.org the Haskell Error Index |
| 2024-05-22 21:42:29 +0200 | <sm> | rather often I find the error isn't yet documented there, unfortunately |
| 2024-05-22 21:45:21 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) |
| 2024-05-22 21:49:02 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-22 21:50:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-22 21:51:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-22 21:53:23 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Ping timeout: 264 seconds) |
| 2024-05-22 21:54:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-22 21:55:34 +0200 | internatetional | (~nate@182.2.51.214) (Quit: WeeChat 4.2.2) |
| 2024-05-22 21:58:59 +0200 | <tomsmeding> | I think I recall that one is not really suppose to use TH to find out whether Int corresponds to Int32 or to Int64 |
| 2024-05-22 21:59:03 +0200 | <tomsmeding> | *supposed |
| 2024-05-22 21:59:11 +0200 | <tomsmeding> | but what _is_ one supposed to do? |
| 2024-05-22 21:59:38 +0200 | <tomsmeding> | (the reason for not using TH being that TH gives the answer that corresponds to the _build_ architecture, not the target architecture) |
| 2024-05-22 21:59:55 +0200 | <tomsmeding> | or is this sufficiently entrenched that one can just rely on the fact that TH runs on the target architecture? |
| 2024-05-22 22:01:57 +0200 | <geekosaur> | Data.Bits.bitSize? Or even maxBound? |
| 2024-05-22 22:02:06 +0200 | <tomsmeding> | I'd like to know this at compile time |
| 2024-05-22 22:02:26 +0200 | <tomsmeding> | (I have instances for a class for Int32 and Int64, and I want to implement the one for Int in terms of one of the two) |
| 2024-05-22 22:02:48 +0200 | <tomsmeding> | (without runtime branching, because that ought to be unnecessary) |
| 2024-05-22 22:03:41 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2024-05-22 22:03:55 +0200 | <mauke> | hardcode Int64 and drop support for 32-bit systems |
| 2024-05-22 22:04:20 +0200 | <tomsmeding> | :p |
| 2024-05-22 22:06:33 +0200 | <mauke> | ... is there a cabal flag for this? |
| 2024-05-22 22:06:38 +0200 | <mauke> | or preprocessor symbol |
| 2024-05-22 22:07:03 +0200 | <tomsmeding> | apparently ghcjs was (is?) 32-bit? |
| 2024-05-22 22:07:14 +0200 | titibandit | (~user@user/titibandit) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-05-22 22:07:27 +0200 | <mauke> | that makes sense, unfortunately |
| 2024-05-22 22:08:01 +0200 | <tomsmeding> | not that I expect this code to run in ghcjs, but why limit targets for dumb reasons like this |
| 2024-05-22 22:08:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-05-22 22:10:31 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-22 22:13:17 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 240 seconds) |
| 2024-05-22 22:19:53 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-22 22:25:45 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
| 2024-05-22 22:27:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-22 22:29:38 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-05-22 22:34:03 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-05-22 22:35:16 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-22 22:35:26 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-22 22:38:49 +0200 | <lxsameer> | what prelude lib do you recommend? relude? |
| 2024-05-22 22:41:59 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2024-05-22 22:44:04 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-22 22:44:21 +0200 | <yushyin> | i like, none, your own (project specific), base-prelude |
| 2024-05-22 22:45:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-22 22:46:23 +0200 | <lxsameer> | yushyin: cheers |
| 2024-05-22 22:57:17 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2024-05-22 23:04:42 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-22 23:06:32 +0200 | tv | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2024-05-22 23:09:03 +0200 | tv | (~tv@user/tv) |
| 2024-05-22 23:11:12 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-22 23:16:19 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-22 23:18:29 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-05-22 23:20:45 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-22 23:20:49 +0200 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-05-22 23:21:59 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-05-22 23:22:12 +0200 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-05-22 23:23:43 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-05-22 23:24:29 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-05-22 23:33:50 +0200 | beowuff | (~beowuff@50.125.248.222) (Quit: Nap time!) |
| 2024-05-22 23:36:00 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:9586:641f:d277:83f1) (Quit: WeeChat 4.2.2) |
| 2024-05-22 23:39:48 +0200 | ux0r | (~ux0r@user/ux0r) (Remote host closed the connection) |
| 2024-05-22 23:41:23 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-05-22 23:55:02 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2cbb:c785:5cd5:2dbc) |