| 2025-01-17 00:00:12 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 00:01:52 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-01-17 00:02:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:04:31 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-17 00:05:54 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-17 00:06:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 00:09:03 +0100 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 252 seconds) |
| 2025-01-17 00:10:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-01-17 00:10:28 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-17 00:13:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Client Quit) |
| 2025-01-17 00:14:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-17 00:14:57 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-17 00:15:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-17 00:17:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:18:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-17 00:20:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 00:23:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-17 00:25:40 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 00:25:46 +0100 | Guest71 | (~Guest71@2800:a4:109a:fe00:78a8:c71b:478b:eb7d) |
| 2025-01-17 00:33:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 00:33:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:36:15 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:37:43 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-17 00:39:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 00:41:04 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 00:42:40 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2025-01-17 00:45:39 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-17 00:48:19 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 00:50:04 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:50:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 00:50:24 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 00:51:45 +0100 | acidjnk | (~acidjnk@p200300d6e7283f2409bfe5ecbb77eb1c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-17 00:51:46 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-17 00:53:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 00:54:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 00:55:27 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 00:55:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-17 00:59:14 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-17 01:01:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-01-17 01:04:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 01:05:29 +0100 | mixfix41 | (~s2h@user/mixfix41) mixfix41 |
| 2025-01-17 01:05:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:06:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-17 01:10:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 01:11:37 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-17 01:14:20 +0100 | mreh | (~matthew@host86-146-138-36.range86-146.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2025-01-17 01:19:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:cb37:dc44:25ad:be87) (Ping timeout: 248 seconds) |
| 2025-01-17 01:20:10 +0100 | Guest71 | (~Guest71@2800:a4:109a:fe00:78a8:c71b:478b:eb7d) (Ping timeout: 240 seconds) |
| 2025-01-17 01:20:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-17 01:20:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:24:39 +0100 | alp | (~alp@2001:861:8ca0:4940:b0b7:f401:582f:6c1b) (Ping timeout: 252 seconds) |
| 2025-01-17 01:29:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-17 01:30:53 +0100 | img | (~img@user/img) img |
| 2025-01-17 01:31:30 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 01:31:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 01:33:58 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:36:37 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 01:37:38 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:39:53 +0100 | Fijxu | (~Fijxu@user/fijxu) (Client Quit) |
| 2025-01-17 01:40:44 +0100 | lcssz | (~lcssz@138.186.222.87) |
| 2025-01-17 01:41:35 +0100 | zero | yin |
| 2025-01-17 01:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:45:26 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 01:45:38 +0100 | lcssz | (~lcssz@138.186.222.87) (Quit: lcssz) |
| 2025-01-17 01:47:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 01:50:51 +0100 | lcssz | (~lcssz@user/lcssz) lcssz |
| 2025-01-17 01:51:18 +0100 | <lcssz> | clear |
| 2025-01-17 01:51:56 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:52:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:52:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:52:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:53:00 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:53:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:53:35 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 01:53:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 01:57:24 +0100 | sprotte24 | (~sprotte24@p200300d16f3cd90019624f68c556fd78.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-17 01:58:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 01:58:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-17 02:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 02:07:14 +0100 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2025-01-17 02:08:21 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-01-17 02:12:12 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-17 02:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:17:47 +0100 | lcssz | (~lcssz@user/lcssz) (Remote host closed the connection) |
| 2025-01-17 02:18:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 02:28:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:29:24 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 02:29:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-17 02:30:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 02:31:37 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-17 02:32:24 +0100 | otto_s | (~user@p4ff27909.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-17 02:33:14 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-17 02:33:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 02:34:12 +0100 | otto_s | (~user@p5b044128.dip0.t-ipconnect.de) |
| 2025-01-17 02:34:30 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-17 02:36:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-17 02:44:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 02:45:49 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-17 02:49:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-17 02:53:24 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-17 02:59:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:00:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-17 03:00:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-17 03:02:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-17 03:02:21 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:03:14 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:03:57 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:04:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 03:05:39 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:07:27 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:09:09 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:09:57 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:11:25 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 03:12:29 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 03:14:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:21:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 03:24:18 +0100 | <sm> | @where+ fast-haskell-redux https://jtobin.io/fast-haskell-redux performance optimisations (2025) |
| 2025-01-17 03:24:18 +0100 | <lambdabot> | Nice! |
| 2025-01-17 03:24:24 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 244 seconds) |
| 2025-01-17 03:24:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 03:26:21 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-01-17 03:27:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 03:30:25 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-17 03:33:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:33:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 03:33:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-17 03:34:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-17 03:34:06 +0100 | tnt2 | tnt1 |
| 2025-01-17 03:34:19 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-17 03:36:53 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 03:37:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 03:43:36 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 03:46:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 03:47:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-17 03:47:57 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-17 03:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 03:48:30 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-17 03:48:30 +0100 | tnt2 | tnt1 |
| 2025-01-17 03:50:21 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 03:53:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 04:02:10 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 04:03:36 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-17 04:03:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:07:01 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-17 04:09:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-17 04:13:34 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 04:15:58 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 04:17:18 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-17 04:19:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:21:10 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-17 04:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 04:26:05 +0100 | <homo> | hi, I have some progress trying to bootstrap microhs from hugs, currently compile-time errors are fixed, but runtime is broken, I hope someone can continue from here, because this is as far as I can go https://0.vern.cc/Mm.patch |
| 2025-01-17 04:27:51 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 04:29:40 +0100 | <Leary> | homo: I suggest you put this in a microhs issue; it'll just get lost in here. |
| 2025-01-17 04:30:53 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 04:31:33 +0100 | <homo> | I don't have github account, so I sent this patch by e-mail to Lennart |
| 2025-01-17 04:31:58 +0100 | <Leary> | I guess that works too. |
| 2025-01-17 04:32:56 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 04:33:06 +0100 | <JuanDaugherty> | microhs looks ill conceived |
| 2025-01-17 04:34:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:35:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 04:35:33 +0100 | <homo> | well, microhs is the biggest implementation of haskell that might be cleanly bootstrapped from source |
| 2025-01-17 04:36:08 +0100 | <JuanDaugherty> | i doubt that |
| 2025-01-17 04:36:31 +0100 | <JuanDaugherty> | specifically i doubt that "cleanly" can be given an objective sense |
| 2025-01-17 04:36:56 +0100 | <homo> | clean bootstrap means that it doesn't depend on bootstrap binaries |
| 2025-01-17 04:37:15 +0100 | <homo> | #bootstrappable can bootstrap modern gcc by using 200-byte binary |
| 2025-01-17 04:37:28 +0100 | <homo> | reviewable 200-byte binary that is |
| 2025-01-17 04:37:36 +0100 | <homo> | that is what makes bootstrap clean |
| 2025-01-17 04:37:41 +0100 | <JuanDaugherty> | in addition to big fat thing having bounds period, practically |
| 2025-01-17 04:38:43 +0100 | <JuanDaugherty> | while ill conceived, these new infos certainly indicate entertainment value |
| 2025-01-17 04:39:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 04:39:43 +0100 | <JuanDaugherty> | big fat thing that doesn just need to book two seats but charter a damn flight |
| 2025-01-17 04:41:58 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-17 04:43:02 +0100 | <jackdk> | homo: does this mean that you have a good bootstrap from C to Hugs? |
| 2025-01-17 04:43:52 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-17 04:45:55 +0100 | <homo> | jackdk yes, since I'm using guix |
| 2025-01-17 04:46:28 +0100 | <jackdk> | Huh, the last I heard was someone's experiments with nhc98 to bootstrap Hugs. Did something change? |
| 2025-01-17 04:46:34 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 04:47:20 +0100 | <homo> | that person lost interest, expressing disappointment of lack of interest from haskell community in bootstrapping |
| 2025-01-17 04:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 04:56:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 05:02:13 +0100 | OftenFaded | (OftenFaded@user/tisktisk) (Quit: OftenFaded) |
| 2025-01-17 05:03:26 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-17 05:05:41 +0100 | adamCS | (~adamCS@68.161.167.240) (Ping timeout: 248 seconds) |
| 2025-01-17 05:13:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 05:16:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 05:18:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-17 05:20:04 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-17 05:21:35 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-17 05:23:22 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-01-17 05:24:08 +0100 | <jackdk> | homo: cool, I see you contributed the Hugs fix to Guix. I had formed the (possibly mistaken) impression that it carried blobs in its source - was it really just that little patch? |
| 2025-01-17 05:25:34 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-01-17 05:26:09 +0100 | <jackdk> | Also, might be worth adding to https://discourse.haskell.org/t/keeping-hugs-alive/7737/5 ? |
| 2025-01-17 05:29:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 05:30:44 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-17 05:31:30 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 244 seconds) |
| 2025-01-17 05:32:04 +0100 | dnerdhm^ | (~dnerdhm@108.192.66.114) (Ping timeout: 260 seconds) |
| 2025-01-17 05:33:34 +0100 | <haskellbridge> | <Bowuigi> I use Hugs almost daily since my laptop broke, and I'm glad people are still working on it! Used to use Miranda but that got too slow too fast |
| 2025-01-17 05:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 05:34:18 +0100 | <haskellbridge> | <Bowuigi> The nix-on-droid build of Hugs also works well |
| 2025-01-17 05:35:12 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-01-17 05:35:22 +0100 | <homo> | jackdk suprisingly yes, it's just gcc-specific internal that should not be used |
| 2025-01-17 05:36:17 +0100 | Square | (~Square@user/square) Square |
| 2025-01-17 05:36:32 +0100 | adamCS | (~adamCS@pool-100-33-243-37.nycmny.fios.verizon.net) adamCS |
| 2025-01-17 05:39:19 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-17 05:41:14 +0100 | <haskellbridge> | <Bowuigi> Also I found two issues related to type level stuff. For example, trying to encode mendler-style catamorphisms Hugs fails to typecheck mcata, in particular it outputs "INTERNAL ERROR: depTypeExp" |
| 2025-01-17 05:42:18 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-17 05:43:07 +0100 | <haskellbridge> | <Bowuigi> The other issue is that a forall is not allowed as the first thing appearing in a type declaration, ie. ˋtype Example a = forall r. (a -> r) -> rˋ is disallowed, but its equivalent newtype is allowed. I think this is a syntax thing and not an inherent limitation |
| 2025-01-17 05:43:40 +0100 | <haskellbridge> | <Bowuigi> Note that reproducing both requires disabling Haskell 98 mode |
| 2025-01-17 05:44:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 05:47:20 +0100 | <homo> | Bowuigi hugs also doesn't allow forall in instance declarations, in my patch you can find I duplicated a lot of code, doing nothing but removing forall |
| 2025-01-17 05:48:43 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 245 seconds) |
| 2025-01-17 05:49:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 05:49:20 +0100 | <homo> | jackdk I use netsurf without javascript to avoid arbitrary code autoupdate and autoexecution, so I can only read discourse, but not post there |
| 2025-01-17 05:49:59 +0100 | <haskellbridge> | <Bowuigi> Do you mean something like QuantifiedInstances , like, having "forall a. Eq (f a)" or something like that? |
| 2025-01-17 05:52:33 +0100 | <homo> | Bowuigi for example "data State s a = S (s -> (a, s)); instance forall s . Functor (State s) where" is where I have to remove forall: "data State s a = S (s -> (a, s)); instance Functor (State s) where" |
| 2025-01-17 05:53:03 +0100 | <haskellbridge> | <Bowuigi> Oh also the depTypeExp issue happens with every System F omega encoded existential, so "newtype Exists f = Ex { unEx :: forall r. (forall a. (f a -> r) -> r) }" is the smallest example of this bug I can think of |
| 2025-01-17 05:53:24 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-17 05:53:56 +0100 | <haskellbridge> | <Bowuigi> homo Oh I haven't seen that syntax before, Haskell already quantifies variables there so maybe it is a limitation of something else in the bootstrap chain? |
| 2025-01-17 05:55:38 +0100 | <homo> | Bowuigi microhs requires "forall" in all declarations because Lennart is lazy to make it optional, so I have 2 copies of same code, first copy is read by hugs and second copy is read by mhs, it's absolutely the same duplicated code |
| 2025-01-17 05:56:17 +0100 | <homo> | from his own words that is, Lennart said in his presentation that he is lazy |
| 2025-01-17 05:56:38 +0100 | <haskellbridge> | <Bowuigi> re:depTypeExp Oh you don't even need the f, "newtype E = E { unE :: forall r. (forall a. a -> r) -> r }" is a simpler example of this bug |
| 2025-01-17 05:57:14 +0100 | <haskellbridge> | <Bowuigi> Oh, would it be possible to patch Hugs to allow that? It should just ignore it because the behaviour is the same |
| 2025-01-17 05:57:42 +0100 | <haskellbridge> | <Bowuigi> re:microhs-hugs homo ^ |
| 2025-01-17 05:58:48 +0100 | web22 | (~00000000@91.sub-75-246-239.myvzw.com) |
| 2025-01-17 05:59:20 +0100 | <homo> | I have no experience with yacc and I already failed patching hugs's src/parser.y to support BangPatterns, so instead in my patch I created function "hugsBang" for both hugs, ghc and microhs because I don't want to remove optimization that bang patterns brings |
| 2025-01-17 06:00:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 06:00:17 +0100 | <haskellbridge> | <maerwald> Hi homo |
| 2025-01-17 06:00:32 +0100 | <homo> | hi |
| 2025-01-17 06:01:54 +0100 | web22 | (~00000000@91.sub-75-246-239.myvzw.com) (Client Quit) |
| 2025-01-17 06:02:34 +0100 | <homo> | Bowuigi if you have experience with yacc, there are a lot of syntactic things that you might be able fix to avoid patching so much of microhs's code, but otherwise my interest in hugs is just to have small language to bootstrap bigger language |
| 2025-01-17 06:03:11 +0100 | <homo> | what really needs upgrade in hugs is its memory management, it crashes in deep recursions, making it tricky to have working bootstrap |
| 2025-01-17 06:03:18 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 245 seconds) |
| 2025-01-17 06:03:52 +0100 | <haskellbridge> | <Bowuigi> Huh? Never seen it crash due to that |
| 2025-01-17 06:04:28 +0100 | <homo> | another big pain is not just that hugs's libraries are old, there are a lot of annoying name clashes and I have no idea which names to prefer and which to avoid in bootstrap process |
| 2025-01-17 06:04:34 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2025-01-17 06:05:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 06:05:52 +0100 | <haskellbridge> | <Bowuigi> I have no experience with yacc sadly, but some sed/awk could fix your instance forall issues. Just keep the original code around and at build time run a script that replaces "instance forall [^\.]." by just "instance", you don't have to remove them by hand |
| 2025-01-17 06:07:49 +0100 | <haskellbridge> | <Bowuigi> Also play with Hugs' options, some may help with the recursion issues you're having |
| 2025-01-17 06:08:05 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-17 06:08:06 +0100 | dnerdhm^ | (~dnerdhm@108.192.66.114) |
| 2025-01-17 06:08:50 +0100 | <haskellbridge> | <Bowuigi> Also which name clashes? The lack of applicative and functor operators is annoying but that can be solved easily |
| 2025-01-17 06:09:44 +0100 | <homo> | thanks for idea, but I don't remember if I did something else besides removing forall from instance |
| 2025-01-17 06:12:27 +0100 | <homo> | Bowuigi for example, System.IO.Error clashes with Control.Exception |
| 2025-01-17 06:12:39 +0100 | <haskellbridge> | <Bowuigi> Diff is your friend here, any changes will stand out |
| 2025-01-17 06:13:23 +0100 | <homo> | Hugs.Prelude also clashes with Control.Exception |
| 2025-01-17 06:13:52 +0100 | <homo> | it also clashes with Data.Foldable and Data.Functor |
| 2025-01-17 06:14:09 +0100 | <homo> | s/it/Hugs.Prelude/ |
| 2025-01-17 06:14:56 +0100 | <haskellbridge> | <Bowuigi> That's so odd, why did they do that. How feasible is porting the microhs base library to Hugs? Using Hugs primitives, ofc |
| 2025-01-17 06:15:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 06:16:35 +0100 | <homo> | it already reuses some of microhs base library to avoid code duplication, I'd say it's just tedious to patch every individual module, and some modules are extremely tedious because of language extensions |
| 2025-01-17 06:19:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 06:20:00 +0100 | michalz | (~michalz@185.246.207.215) |
| 2025-01-17 06:20:09 +0100 | <homo> | also keep in mind libraries that hugs uses are the same libraries that ghc used 20 years ago, so if someone decides to fork hugs, there is a lot of tedious work to keep libraries up-to-date |
| 2025-01-17 06:21:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 06:26:27 +0100 | <homo> | Bowuigi anyway, those name clashes are very persistent, you either have to use qualified imports or to explicitly shut up Hugs.Prelude, but you don't want to explicitly shut up Hugs.Prelude because code read by ghc and microhs will not compile |
| 2025-01-17 06:30:35 +0100 | <homo> | reading the source code of hugs a lot of modules from base package already use primitives from hugsbase package, but that is not enough to shut name clashes |
| 2025-01-17 06:30:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 06:34:48 +0100 | <homo> | I don't think it's a good idea to port microhs base without adjusting hugsbase first, and it might be necessary to also adjust hugs interpreter itself before adjusting hugsbase |
| 2025-01-17 06:35:47 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-17 06:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 06:43:28 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 06:46:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-17 06:48:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 06:53:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 06:57:08 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 06:59:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 07:02:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-17 07:03:07 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 07:05:13 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-17 07:05:56 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-17 07:07:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-17 07:07:15 +0100 | alp | (~alp@2001:861:8ca0:4940:8a73:f3f6:adcb:ed3) |
| 2025-01-17 07:09:28 +0100 | <jle`> | huh kind of funny but (<>) for Maybe (First a) seems to be slower than (<>) for Endo (Maybe a) |
| 2025-01-17 07:09:42 +0100 | <jle`> | (and applying the second to Nothing) |
| 2025-01-17 07:09:52 +0100 | <jle`> | and using Endo . const . Just |
| 2025-01-17 07:10:08 +0100 | <jle`> | i guess it just compiles better? i would have expected them to end up being the same |
| 2025-01-17 07:10:34 +0100 | <jle`> | i'm even doing x <> (y <> ...) the good way |
| 2025-01-17 07:12:43 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2025-01-17 07:14:58 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-01-17 07:17:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 07:18:03 +0100 | <haskellbridge> | <Bowuigi> homo just provide a wrapper that exports the safe parts of Hugs.Prelude and overimport just in case, that's the best option I can think of rn |
| 2025-01-17 07:19:24 +0100 | <Leary> | jle`: `Data.Monoid.First` exists for a reason; `Maybe . Data.Semigroup.First` can't just stop at the first `Just`. |
| 2025-01-17 07:20:51 +0100 | <Leary> | (the other option is to just use `<|>` on `Maybe`) |
| 2025-01-17 07:22:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-17 07:24:38 +0100 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) (Quit: Ping timeout (120 seconds)) |
| 2025-01-17 07:25:14 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-01-17 07:27:01 +0100 | euleritian | (~euleritia@dynamic-176-006-139-051.176.6.pool.telefonica.de) |
| 2025-01-17 07:27:18 +0100 | alp | (~alp@2001:861:8ca0:4940:8a73:f3f6:adcb:ed3) (Ping timeout: 276 seconds) |
| 2025-01-17 07:33:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 07:34:24 +0100 | <homo> | Bowuigi unfortunately it works that way only within wrapper :( |
| 2025-01-17 07:35:21 +0100 | <homo> | anyway, it doesn't really matter as I got entire microhs to compile and my current problem is runtime error |
| 2025-01-17 07:35:46 +0100 | <homo> | after runtime is fixed it'll be perfect time for cosmetic changes |
| 2025-01-17 07:36:23 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 07:37:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 07:37:39 +0100 | <haskellbridge> | <Bowuigi> Wdym "within wrapper"? |
| 2025-01-17 07:38:59 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-17 07:39:25 +0100 | <homo> | MHSPrelude.hs and MiniPrelude.hs |
| 2025-01-17 07:41:48 +0100 | <homo> | ideally some group would fork hugs and modernize it, as it has ugly practices of the past, take Monad class for example, there is no MonadFail class and fail is part of Monad class |
| 2025-01-17 07:45:12 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-17 07:48:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 07:51:57 +0100 | CiaoSen | (~Jura@2a05:5800:2e9:c100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-17 07:52:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 07:54:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5200259c07642d77ab.dip0.t-ipconnect.de) acidjnk |
| 2025-01-17 07:56:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 07:58:30 +0100 | <homo> | Bowuigi anyway, that runtime error is an exception raised by microhs, there is also a significant difference that in hugs it's "data Exception = ..." while in microhs it's "class Exception e where", furthermore because of name clashes I have no idea from which module to import "catch" and "try", and I am lucky that "type SomeException = Exception" even works |
| 2025-01-17 07:59:16 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-17 08:00:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 08:02:31 +0100 | <homo> | but microhs is so fantastic at reporting where that error is coming from that I can't figure out what to do |
| 2025-01-17 08:04:05 +0100 | <haskellbridge> | <Bowuigi> Oh yeah the exception system changed somewhere down the line |
| 2025-01-17 08:04:37 +0100 | <haskellbridge> | <Bowuigi> The Hugs equivalent to the modern exception system is "throwDyn" and "catchDyn" |
| 2025-01-17 08:05:11 +0100 | <haskellbridge> | <Bowuigi> As the name implies, they use Dynamic instead of an Exception typeclass |
| 2025-01-17 08:06:15 +0100 | <haskellbridge> | <Bowuigi> Exceptions in Hugs are the built-in, Haskell ones, so custom exception systems built on top of SomeException won't work |
| 2025-01-17 08:07:26 +0100 | <homo> | I really have no experience with neither of those |
| 2025-01-17 08:09:12 +0100 | <haskellbridge> | <Bowuigi> Most of what I know about exceptions comes from reading the source+docs of the two base libraries and the source of smalltt, which uses custom exceptions |
| 2025-01-17 08:09:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 08:10:23 +0100 | <hololeap> | homo: there's a decent blog post about ghc exception handling here: https://tech.fpcomplete.com/blog/2018/04/async-exception-handling-haskell/ |
| 2025-01-17 08:10:30 +0100 | <haskellbridge> | <Bowuigi> You should be able to create a version of SomeException on Hugs and use throwDyn/catchDyn for flow control, not sure how hard would that be tho |
| 2025-01-17 08:12:13 +0100 | <haskellbridge> | <Bowuigi> It's also glue code you can't skip because both exception handling systems are very different |
| 2025-01-17 08:14:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-17 08:20:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 08:20:56 +0100 | <homo> | Bowuigi if that's so it's a puzzle how comes hugs doesn't throw compile-time error because of alias "type SomeException = Exception" |
| 2025-01-17 08:23:08 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: ColinRobinson) |
| 2025-01-17 08:23:26 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2025-01-17 08:23:57 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2025-01-17 08:24:05 +0100 | <haskellbridge> | <Bowuigi> Exception is a datatype in hugs |
| 2025-01-17 08:24:27 +0100 | <homo> | yes, I said so earlier |
| 2025-01-17 08:27:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 08:28:55 +0100 | <haskellbridge> | <Bowuigi> Why would it give a compile time error then? |
| 2025-01-17 08:29:06 +0100 | <haskellbridge> | <Bowuigi> That part is correct |
| 2025-01-17 08:31:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-17 08:34:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 08:38:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 08:41:09 +0100 | <homo> | Bowuigi because you said I can't skip implementing SomeExpection as Dynamic and throwDyn/catchDyn |
| 2025-01-17 08:42:40 +0100 | <homo> | hololeap thanks, it's not clear where Dynamic is used though |
| 2025-01-17 08:43:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-17 08:44:14 +0100 | <hololeap> | sorry, I wasn't following the whole conversation |
| 2025-01-17 08:44:39 +0100 | <homo> | for async I remember go has some context and instead of throwing exception you simply send message over channel (CSP-style concurrency), wonder if that can simplify things in haskell |
| 2025-01-17 08:44:44 +0100 | <hololeap> | just ignore it if it's not relevant |
| 2025-01-17 08:45:57 +0100 | mange | (~user@user/mange) (Ping timeout: 276 seconds) |
| 2025-01-17 08:49:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-17 08:52:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-01-17 08:53:23 +0100 | <homo> | hm, grepping source code of both microhs and hugs I think I know what throws exception |
| 2025-01-17 08:53:24 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 08:53:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 08:54:16 +0100 | euleritian | (~euleritia@dynamic-176-006-139-051.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-17 08:54:33 +0100 | euleritian | (~euleritia@dynamic-176-006-139-051.176.6.pool.telefonica.de) |
| 2025-01-17 08:54:46 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-17 08:54:56 +0100 | euleritian | (~euleritia@dynamic-176-006-139-051.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-17 08:55:13 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-17 08:55:18 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 08:56:50 +0100 | <hololeap> | SomeException in Control.Exceptions is a newtype wrapper that uses the ExistentialQuantification language extension to allow it to wrap any type that's part of the Exception class |
| 2025-01-17 08:57:42 +0100 | <hololeap> | data SomeException = forall e. (Exception e, HasExceptionContext) => SomeException e |
| 2025-01-17 08:58:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-17 08:59:26 +0100 | <hololeap> | nvm it's not actually a newtype |
| 2025-01-17 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-17 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-17 09:04:23 +0100 | <hololeap> | I'm just bringing this up because `type SomeException = Exception` doesn't make sense to me |
| 2025-01-17 09:04:47 +0100 | <homo> | grepping suggest there is nothing that throws exception other than IO for opening and writing files |
| 2025-01-17 09:04:54 +0100 | <homo> | s/suggest/suggests/ |
| 2025-01-17 09:05:20 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-17 09:06:37 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-17 09:07:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-17 09:07:56 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 09:08:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-17 09:08:28 +0100 | tnt2 | tnt1 |
| 2025-01-17 09:08:29 +0100 | crvs | (~crvs@185.147.238.3) crvs |
| 2025-01-17 09:10:27 +0100 | <homo> | actually I found second potential source of exception - unsafeCoerce |
| 2025-01-17 09:11:14 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-17 09:12:40 +0100 | <homo> | this is going to be pain to fix, basically convert everything related to GHC.Types(Any) into Data.Dynamic(Dynamic) |
| 2025-01-17 09:13:29 +0100 | <homo> | and again I have no experience neither with unsafeCoerce, nor with Any nor with Dynamic |
| 2025-01-17 09:15:34 +0100 | <homo> | Bowuigi if this is the only reason for runtime failure, fixing it is all that needs to be done to get microhs bootstrapped from hugs, alternatively extending hugs to support GHC.Types(Any) is another possible option, but I think it's more tedious to do than to just adjust microhs |
| 2025-01-17 09:16:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-17 09:17:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 09:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-17 09:17:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 09:19:14 +0100 | <homo> | still, it's really ugly to rely on dynamic typing for storing combinators |
| 2025-01-17 09:20:33 +0100 | <homo> | if you read PrimTable.hs you know what I mean |
| 2025-01-17 09:21:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-17 09:26:38 +0100 | alp | (~alp@2001:861:8ca0:4940:eb11:c08c:89ec:ff87) |
| 2025-01-17 09:26:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-17 09:32:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 09:34:09 +0100 | housemate | (~housemate@146.70.66.228) (Ping timeout: 260 seconds) |
| 2025-01-17 09:35:50 +0100 | <jle`> | Leary: aw man |
| 2025-01-17 09:36:05 +0100 | bgamari | (~bgamari@64.223.233.64) (Ping timeout: 248 seconds) |
| 2025-01-17 09:36:34 +0100 | <jle`> | i just noticed Data.Monoid.First |
| 2025-01-17 09:36:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-17 09:37:03 +0100 | <jle`> | i use Data.Semigroup.First for so much stuff |
| 2025-01-17 09:37:12 +0100 | <jle`> | well, Maybe (Data.Semigroup.First a) |
| 2025-01-17 09:37:27 +0100 | bgamari | (~bgamari@64.223.233.64) |
| 2025-01-17 09:39:05 +0100 | <jle`> | okay yeah using Data.Monoid.Alt i get the same speed as Endo |
| 2025-01-17 09:40:23 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 252 seconds) |
| 2025-01-17 09:40:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-17 09:41:18 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2025-01-17 09:42:13 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-01-17 09:42:37 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-17 09:45:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 09:49:34 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-17 09:49:48 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 246 seconds) |
| 2025-01-17 09:50:06 +0100 | chymera | (~chymera@ns1000526.ip-51-81-46.us) chymera |
| 2025-01-17 09:51:35 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Client Quit) |
| 2025-01-17 09:55:19 +0100 | mreh | (~matthew@host86-146-138-36.range86-146.btcentralplus.com) |
| 2025-01-17 10:04:30 +0100 | vpan | (~vpan@212.117.1.172) (Read error: Connection reset by peer) |
| 2025-01-17 10:10:49 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 10:19:04 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-17 10:19:30 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-17 10:20:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 2025-01-17 10:20:56 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-17 10:21:20 +0100 | vpan | Guest9966 |
| 2025-01-17 10:21:24 +0100 | jespada | (~jespada@r167-63-24-59.dialup.adsl.anteldata.net.uy) jespada |
| 2025-01-17 10:22:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-17 10:29:08 +0100 | CiaoSen | (~Jura@2a05:5800:2e9:c100:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2025-01-17 10:30:30 +0100 | kuribas | (~user@ptr-17d51em29rh3rcpebxw.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-17 10:36:45 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-17 10:39:30 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-01-17 10:40:51 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-01-17 10:48:02 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-17 10:49:29 +0100 | homo_ | (~homo@user/homo) homo |
| 2025-01-17 10:50:16 +0100 | dtman34_ | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) (Read error: Connection reset by peer) |
| 2025-01-17 10:50:26 +0100 | homo | (~homo@user/homo) (Ping timeout: 252 seconds) |
| 2025-01-17 10:50:40 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-17 10:53:21 +0100 | jespada | (~jespada@r167-63-24-59.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-17 10:53:22 +0100 | CiaoSen | (~Jura@2a05:5800:2e9:c100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-17 10:53:56 +0100 | dtman34 | (~dtman34@c-76-156-106-11.hsd1.mn.comcast.net) dtman34 |
| 2025-01-17 10:57:55 +0100 | homo_ | homo |
| 2025-01-17 10:58:29 +0100 | mreh | (~matthew@host86-146-138-36.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2025-01-17 10:58:30 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-17 11:00:57 +0100 | swistak | (~swistak@185.21.216.141) (Remote host closed the connection) |
| 2025-01-17 11:01:53 +0100 | housemate | (~housemate@146.70.66.228) (Read error: Connection reset by peer) |
| 2025-01-17 11:02:03 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-01-17 11:02:31 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-17 11:14:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-17 11:14:21 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d6a8:bf4:f4b1:ab68) ubert |
| 2025-01-17 11:19:43 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-17 11:25:00 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-17 11:26:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-17 11:27:50 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 252 seconds) |
| 2025-01-17 11:28:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 11:37:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-01-17 11:37:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-01-17 11:38:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-17 11:38:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-17 11:39:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 11:40:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-17 11:41:26 +0100 | swistak | (~swistak@185.21.216.141) |
| 2025-01-17 11:42:29 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 11:43:19 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 11:44:10 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 11:45:42 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-17 11:46:40 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-17 11:47:38 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-17 11:51:05 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-01-17 11:53:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-17 12:01:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 12:04:30 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-17 12:08:02 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-17 12:16:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-17 12:21:48 +0100 | dpk | (~dpk@jains.nonceword.org) (Quit: .) |
| 2025-01-17 12:28:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-17 12:29:09 +0100 | euleritian | (~euleritia@77.23.250.232) (Read error: Connection reset by peer) |
| 2025-01-17 12:29:57 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-17 12:30:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 12:35:36 +0100 | rosco | (~rosco@1.9.3.130) rosco |
| 2025-01-17 12:36:37 +0100 | <kaol> | Is there some ghci flag to make it show Show output with some white space formatting? Even a simple line break on comma would help a lot. |
| 2025-01-17 12:37:04 +0100 | Guest9966 | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-01-17 12:39:21 +0100 | <tomsmeding> | kaol: https://hackage.haskell.org/package/pretty-show-1.10/docs/Text-Show-Pretty.html ? |
| 2025-01-17 12:39:40 +0100 | <Leary> | kaol: You can set `-interactive-print yourShow`. |
| 2025-01-17 12:42:28 +0100 | CiaoSen | (~Jura@2a05:5800:2e9:c100:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2025-01-17 12:49:20 +0100 | Core1275 | (~rosco@183.171.108.105) rosco |
| 2025-01-17 12:50:29 +0100 | Core1275 | (~rosco@183.171.108.105) (Read error: Connection reset by peer) |
| 2025-01-17 12:51:04 +0100 | Core3541 | (~rosco@183.171.108.105) rosco |
| 2025-01-17 12:52:13 +0100 | rosco | (~rosco@1.9.3.130) (Ping timeout: 244 seconds) |
| 2025-01-17 12:53:44 +0100 | <Leary> | kaol: E.g. https://paste.tomsmeding.com/3LetBVey |
| 2025-01-17 12:54:09 +0100 | Core3541 | (~rosco@183.171.108.105) (Read error: Connection reset by peer) |
| 2025-01-17 12:54:24 +0100 | rosco | (~rosco@1.9.3.130) rosco |
| 2025-01-17 12:55:46 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-17 12:56:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-17 12:56:12 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2025-01-17 12:56:45 +0100 | Core3123 | (~rosco@183.171.108.105) rosco |
| 2025-01-17 12:58:38 +0100 | rosco | (~rosco@1.9.3.130) (Ping timeout: 244 seconds) |
| 2025-01-17 12:59:09 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-17 12:59:47 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. I do not work for any body DIRECTLY although I do represent BOT NET.) |
| 2025-01-17 13:00:03 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-17 13:02:48 +0100 | AlexZenon | (~alzenon@178.34.163.23) (Ping timeout: 252 seconds) |
| 2025-01-17 13:04:15 +0100 | Core3123 | (~rosco@183.171.108.105) (Read error: Connection reset by peer) |
| 2025-01-17 13:04:41 +0100 | rosco | (~rosco@1.9.3.130) rosco |
| 2025-01-17 13:07:33 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-17 13:08:11 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-17 13:10:00 +0100 | AlexZenon | (~alzenon@178.34.163.23) |
| 2025-01-17 13:10:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d98:5c1a:a689:d0b8) |
| 2025-01-17 13:15:12 +0100 | Core3623 | (~rosco@183.171.110.197) rosco |
| 2025-01-17 13:16:25 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 265 seconds) |
| 2025-01-17 13:17:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-17 13:18:16 +0100 | rosco | (~rosco@1.9.3.130) (Ping timeout: 244 seconds) |
| 2025-01-17 13:18:28 +0100 | Core3623 | (~rosco@183.171.110.197) (Read error: Connection reset by peer) |
| 2025-01-17 13:18:29 +0100 | dpk | (~dpk@jains.nonceword.org) |
| 2025-01-17 13:19:12 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-01-17 13:19:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-17 13:20:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-17 13:22:32 +0100 | rosco | (~rosco@1.9.3.130) rosco |
| 2025-01-17 13:25:50 +0100 | alp | (~alp@2001:861:8ca0:4940:eb11:c08c:89ec:ff87) (Ping timeout: 272 seconds) |
| 2025-01-17 13:30:21 +0100 | Core6783 | (~rosco@183.171.110.197) rosco |
| 2025-01-17 13:32:10 +0100 | rosco | (~rosco@1.9.3.130) (Ping timeout: 272 seconds) |
| 2025-01-17 13:33:14 +0100 | Guest94 | (~Guest94@2601:40a:8400:6bb0:9ef6:ffd1:d682:78d1) |
| 2025-01-17 13:33:35 +0100 | Guest94 | (~Guest94@2601:40a:8400:6bb0:9ef6:ffd1:d682:78d1) (Client Quit) |
| 2025-01-17 13:35:49 +0100 | Guest78 | (~Guest78@37.228.251.150) |
| 2025-01-17 13:36:55 +0100 | jespada | (~jespada@2800:a4:c4:2a00:c8e8:2028:dfd0:433b) jespada |
| 2025-01-17 13:43:48 +0100 | CiaoSen | (~Jura@2a05:5800:2e9:c100:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-17 13:44:22 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d6a8:bf4:f4b1:ab68) (Remote host closed the connection) |
| 2025-01-17 13:46:42 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-17 13:52:31 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-17 13:59:37 +0100 | akegalj | (~akegalj@168-159.dsl.iskon.hr) akegalj |
| 2025-01-17 14:05:16 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-17 14:07:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-53f9-8169-56a8-78c5-3a5b.rev.sfr.net) alexherbo2 |
| 2025-01-17 14:14:21 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-17 14:14:45 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:bd6e:6edf:b3ad:783f) (Read error: Connection reset by peer) |
| 2025-01-17 14:15:10 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:9969:2d95:7b68:eef5) iamsleepy |
| 2025-01-17 14:16:39 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-17 14:41:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-17 14:41:10 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-17 14:43:27 +0100 | tnt2 | tnt1 |
| 2025-01-17 14:45:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |