| 2024-10-17 00:00:52 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) (Read error: Connection reset by peer) |
| 2024-10-17 00:01:14 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-17 00:01:34 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 260 seconds) |
| 2024-10-17 00:02:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 00:02:50 +0200 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2024-10-17 00:02:53 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 245 seconds) |
| 2024-10-17 00:03:04 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-17 00:03:07 +0200 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:30e5:9ca8:23a3:ae14) k_hachig |
| 2024-10-17 00:03:17 +0200 | Yumemi_ | (~Yumemi@chamoin.net) Yumemi |
| 2024-10-17 00:03:43 +0200 | itaipu | (~itaipu@168.121.99.42) (Ping timeout: 245 seconds) |
| 2024-10-17 00:03:43 +0200 | Yumemi | (~Yumemi@chamoin.net) (Ping timeout: 245 seconds) |
| 2024-10-17 00:03:45 +0200 | k_hachig_ | k_hachig |
| 2024-10-17 00:03:45 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 2024-10-17 00:03:46 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-17 00:04:06 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-10-17 00:04:08 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (Remote host closed the connection) |
| 2024-10-17 00:04:08 +0200 | wryishly | (~wryish@216.246.119.62) (Ping timeout: 245 seconds) |
| 2024-10-17 00:04:30 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2024-10-17 00:04:33 +0200 | tinwood | (~tinwood@user/tinwood) (Ping timeout: 245 seconds) |
| 2024-10-17 00:05:32 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-10-17 00:05:32 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-10-17 00:05:32 +0200 | tinwood | (~tinwood@user/tinwood) tinwood |
| 2024-10-17 00:07:06 +0200 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2024-10-17 00:07:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-17 00:10:00 +0200 | piele | (~piele@tbonesteak.creativeserver.net) piele |
| 2024-10-17 00:13:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:13:25 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-17 00:14:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-17 00:16:57 +0200 | itaipu | (~itaipu@168.121.99.42) itaipu |
| 2024-10-17 00:18:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-17 00:20:52 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-10-17 00:22:47 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) |
| 2024-10-17 00:25:05 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-17 00:25:54 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) (Ping timeout: 252 seconds) |
| 2024-10-17 00:30:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:35:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 00:42:22 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Read error: Connection reset by peer) |
| 2024-10-17 00:42:44 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) |
| 2024-10-17 00:46:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 00:48:48 +0200 | son0p | (~ff@190.69.120.153) (Remote host closed the connection) |
| 2024-10-17 00:50:46 +0200 | <dmj`> | you can use emscripten w/ microhs, it will run in the browser |
| 2024-10-17 00:51:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 00:51:33 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-17 00:54:44 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-17 00:56:28 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-17 00:59:15 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-17 01:01:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:02:31 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-17 01:02:44 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 01:06:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-17 01:10:33 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb524535a5916ecc490b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-17 01:11:58 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2024-10-17 01:13:43 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-10-17 01:14:34 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-17 01:15:31 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-10-17 01:16:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-17 01:17:28 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-17 01:17:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:18:10 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2024-10-17 01:22:22 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 01:22:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-10-17 01:30:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:31:30 +0200 | son0p | (~ff@190.69.120.153) son0p |
| 2024-10-17 01:35:07 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-10-17 01:35:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 01:35:38 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-10-17 01:41:30 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-10-17 01:41:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-10-17 01:46:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 01:49:18 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-17 01:51:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-17 01:55:48 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 245 seconds) |
| 2024-10-17 02:00:48 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-10-17 02:02:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:04:43 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-10-17 02:07:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 02:13:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-17 02:17:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:23:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 02:24:09 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 02:26:20 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7493:5a1e:80a9:6822) (Ping timeout: 272 seconds) |
| 2024-10-17 02:35:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:35:15 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 02:39:24 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-17 02:39:36 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-17 02:39:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 02:39:54 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2024-10-17 02:42:29 +0200 | Pixi__ | (~Pixi@user/pixi) Pixi |
| 2024-10-17 02:43:02 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-10-17 02:45:15 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-17 02:45:58 +0200 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 252 seconds) |
| 2024-10-17 02:50:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 02:57:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 03:08:12 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2024-10-17 03:08:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:13:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 03:19:39 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 03:24:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:28:50 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-17 03:29:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 03:38:57 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 03:40:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:42:05 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-10-17 03:44:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 03:45:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 03:47:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 03:51:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 03:55:14 +0200 | spew | (~spew@155.133.15.218) (Quit: good night) |
| 2024-10-17 04:02:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:07:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 04:09:01 +0200 | mulk | (~mulk@p5b11246b.dip0.t-ipconnect.de) mulk |
| 2024-10-17 04:13:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 04:17:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:22:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 04:28:59 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 04:29:01 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-10-17 04:31:12 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-17 04:32:28 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-17 04:32:51 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-10-17 04:33:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:36:13 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-17 04:40:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 04:44:37 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-10-17 04:47:20 +0200 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-17 04:48:25 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-17 04:49:06 +0200 | td_ | (~td@i53870903.versanet.de) td_ |
| 2024-10-17 04:51:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 04:55:08 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 04:56:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 05:07:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:11:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 05:16:18 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 05:22:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:26:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 05:27:04 +0200 | blase | (~wanted@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-17 05:28:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-17 05:33:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:37:22 +0200 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-17 05:37:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 05:40:08 +0200 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 272 seconds) |
| 2024-10-17 05:48:01 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-10-17 05:48:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 05:54:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 06:01:11 +0200 | peterbecich | (~Thunderbi@47.149.198.150) peterbecich |
| 2024-10-17 06:05:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:10:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 06:20:34 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2024-10-17 06:21:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:23:44 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
| 2024-10-17 06:28:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 06:36:05 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:30e5:9ca8:23a3:ae14) (Quit: WeeChat 4.4.2) |
| 2024-10-17 06:38:49 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2024-10-17 06:39:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 06:40:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 06:40:30 +0200 | airscape | (~airscape@2.219.56.221) |
| 2024-10-17 06:43:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 06:44:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 06:47:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-17 06:48:24 +0200 | alp | (~alp@2001:861:e3d6:8f80:cfc1:c60c:c177:1e26) (Ping timeout: 246 seconds) |
| 2024-10-17 06:54:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 06:55:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:00:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 07:05:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-17 07:06:34 +0200 | nitrix | nitrix-or-treat |
| 2024-10-17 07:07:31 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 07:11:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:16:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 07:20:24 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-10-17 07:23:02 +0200 | alp | (~alp@2001:861:e3d6:8f80:c1d0:38:3b03:da86) |
| 2024-10-17 07:25:04 +0200 | peterbecich1 | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 07:26:12 +0200 | peterbecich | (~Thunderbi@47.149.198.150) (Ping timeout: 252 seconds) |
| 2024-10-17 07:26:13 +0200 | peterbecich1 | peterbecich |
| 2024-10-17 07:26:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 2024-10-17 07:27:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 07:27:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:30:06 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-17 07:32:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 07:33:09 +0200 | alp | (~alp@2001:861:e3d6:8f80:c1d0:38:3b03:da86) (Ping timeout: 248 seconds) |
| 2024-10-17 07:34:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:38:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 07:38:53 +0200 | alp | (~alp@2001:861:e3d6:8f80:689:f2c1:b3cb:79a1) |
| 2024-10-17 07:47:29 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-17 07:49:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-17 07:49:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 07:50:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-17 07:54:03 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-17 07:54:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-17 08:01:03 +0200 | nitrix-or-treat | nitrix |
| 2024-10-17 08:07:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 08:14:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-17 08:20:23 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) |
| 2024-10-17 08:25:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 08:25:51 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 08:29:12 +0200 | synchromesh | (~john@2406:5a00:2497:300:3d3b:a134:d9b5:8c99) (Read error: Connection reset by peer) |
| 2024-10-17 08:30:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-17 08:30:28 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 08:35:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 08:40:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 08:47:28 +0200 | Pixi__ | Pixi |
| 2024-10-17 08:48:32 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-17 08:50:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 08:52:56 +0200 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2024-10-17 08:54:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 08:55:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 08:56:10 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-10-17 08:57:05 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2024-10-17 08:59:24 +0200 | Square | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-10-17 09:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 09:00:41 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 09:04:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-17 09:06:13 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-17 09:06:14 +0200 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 09:06:45 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 09:07:01 +0200 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2024-10-17 09:07:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 09:19:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-17 09:19:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-17 09:36:36 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-17 09:37:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-10-17 09:37:53 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 2024-10-17 09:37:59 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-17 09:38:40 +0200 | koz | (~koz@121.99.240.58) |
| 2024-10-17 09:44:59 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 255 seconds) |
| 2024-10-17 09:49:09 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:dd36:cbb0:bd68:c718) (Ping timeout: 248 seconds) |
| 2024-10-17 10:05:23 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) hgolden |
| 2024-10-17 10:06:02 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 10:08:18 +0200 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 276 seconds) |
| 2024-10-17 10:21:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-17 10:29:23 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-10-17 10:41:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 10:42:15 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2024-10-17 10:44:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-17 10:47:48 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-17 10:49:14 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-10-17 10:58:18 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) acidjnk |
| 2024-10-17 11:02:29 +0200 | airscape | (~airscape@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-10-17 11:11:21 +0200 | airscape | (~airscape@2.219.56.221) |
| 2024-10-17 11:11:27 +0200 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 11:12:11 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 11:12:42 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-17 11:16:00 +0200 | euleritian | (~euleritia@84.19.220.82) (Remote host closed the connection) |
| 2024-10-17 11:16:13 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 11:16:17 +0200 | euleritian | (~euleritia@84.19.220.82) (Read error: Connection reset by peer) |
| 2024-10-17 11:16:40 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 11:18:54 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-17 11:20:21 +0200 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) ash3en |
| 2024-10-17 11:20:45 +0200 | euleritian | (~euleritia@84.19.220.82) (Remote host closed the connection) |
| 2024-10-17 11:21:07 +0200 | ash3en | (~Thunderbi@2a01:780:8000:115:27a0:cdec:aee3:14b8) (Client Quit) |
| 2024-10-17 11:28:32 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 11:28:54 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-10-17 11:29:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-17 11:30:43 +0200 | euleritian | (~euleritia@84.19.220.82) |
| 2024-10-17 11:30:56 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-17 11:32:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 11:36:03 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-17 11:36:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-17 11:42:18 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 11:44:41 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 255 seconds) |
| 2024-10-17 11:44:56 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 11:51:59 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-17 11:56:48 +0200 | Digitteknohippie | Digit |
| 2024-10-17 11:59:13 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-10-17 12:00:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-17 12:01:24 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 260 seconds) |
| 2024-10-17 12:02:08 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-17 12:17:28 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-17 12:26:57 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 12:28:27 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-10-17 12:31:56 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-17 12:34:56 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-17 12:38:02 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 12:39:03 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 12:50:03 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 12:52:43 +0200 | <kuribas> | Are python iterators an example of lazyness? |
| 2024-10-17 12:53:09 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-17 12:53:14 +0200 | <kuribas> | The are evaluated on demand, but do not memoize the results. |
| 2024-10-17 12:53:36 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-17 12:55:39 +0200 | <darkling> | Yes. |
| 2024-10-17 12:56:36 +0200 | <darkling> | I once wrote a program that used iterators/generators throughout. It ran but did nothing. Eventually, I realised that it wasn't actually consuming the final iterator, so no computation was being done because nothing was consuming the pipeline of lazy evaluation. |
| 2024-10-17 12:59:08 +0200 | <mari-estel> | that is python generators, iterators are just iterators |
| 2024-10-17 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 13:01:03 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 13:02:35 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 13:03:55 +0200 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-17 13:05:01 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-17 13:05:57 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-10-17 13:09:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 13:09:56 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-10-17 13:12:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 13:13:02 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-17 13:13:15 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) |
| 2024-10-17 13:14:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8b57:d075:1efa:336f) |
| 2024-10-17 13:18:39 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2024-10-17 13:20:24 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 13:35:06 +0200 | <kuribas> | Generators are also iterators. |
| 2024-10-17 13:38:17 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2024-10-17 13:39:47 +0200 | <kuribas> | What python calls caching is IMO usually just lazyness. |
| 2024-10-17 13:40:23 +0200 | <kuribas> | I feel lazy decorators are used way to often in Python. |
| 2024-10-17 13:42:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-17 13:49:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 13:50:11 +0200 | ash3en | (~Thunderbi@149.222.128.226) ash3en |
| 2024-10-17 13:58:10 +0200 | ash3en | (~Thunderbi@149.222.128.226) (Quit: ash3en) |
| 2024-10-17 14:01:16 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 14:01:22 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-17 14:05:56 +0200 | ash3en | (~Thunderbi@149.222.128.226) ash3en |
| 2024-10-17 14:11:25 +0200 | Digitteknohippie | Digit |
| 2024-10-17 14:14:24 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-17 14:14:56 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-17 14:34:23 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 14:36:53 +0200 | rvalue | (~rvalue@user/rvalue) () |
| 2024-10-17 14:42:08 +0200 | <raehik> | I have a strange case where writing a via instance as an orphan works fine, but writing it together with the data type definition requires UndecidableInstances! Is this expected? The class includes a type family, and the via wrapper does a type family application in there (which is what fail swithout UndecidableInstances) |
| 2024-10-17 14:42:59 +0200 | <raehik> | is this just an interesting detail for orphan instances? the more I think about it the more fine it seems |
| 2024-10-17 14:44:45 +0200 | alp | (~alp@2001:861:e3d6:8f80:689:f2c1:b3cb:79a1) (Ping timeout: 246 seconds) |
| 2024-10-17 14:48:11 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-17 14:52:04 +0200 | <[exa]> | raehik: just to be sure, you mean "standalone" instd. of "orphan" instances? |
| 2024-10-17 14:54:13 +0200 | <[exa]> | anyway I had a similar feeling that the standalone ones are somewhat stronger in what they can do but never really cared to disprove it, so might be the case |
| 2024-10-17 14:54:41 +0200 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 248 seconds) |
| 2024-10-17 14:55:25 +0200 | <raehik> | [exa]: No, I mean an orphan instance. Using standalone deriving |
| 2024-10-17 14:55:32 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-10-17 14:55:57 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 246 seconds) |
| 2024-10-17 14:56:07 +0200 | <raehik> | In my head, it happens because the type family application can get reduced in the orphan instance case |
| 2024-10-17 14:56:54 +0200 | <[exa]> | ah soooo, so it's in a different module where it knows how to reduce the type family? |
| 2024-10-17 14:57:16 +0200 | <raehik> | Yeah. The type family is stored elsewhere in both cases. But I feel like this must be an orphan thing |
| 2024-10-17 14:57:56 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-17 14:58:04 +0200 | <tomsmeding> | are there more type family equations in scope in the module where you have the orphan instance? |
| 2024-10-17 14:58:29 +0200 | <tomsmeding> | are you sure you don't accidentally have -XUndecidableInstances |
| 2024-10-17 14:58:35 +0200 | <tomsmeding> | in the file with the orphan? |
| 2024-10-17 14:58:48 +0200 | <tomsmeding> | or perhaps have it listed in 'default-extensions:' in the .cabal file |
| 2024-10-17 14:59:04 +0200 | <[exa]> | ^ this |
| 2024-10-17 14:59:27 +0200 | <[exa]> | if you can rule out all of this, stuff is certainly weird. |
| 2024-10-17 15:02:06 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-17 15:04:30 +0200 | <raehik> | I don't have UndecidableInstances in the orphan case, neither default |
| 2024-10-17 15:07:26 +0200 | <shryke> | Hi! A question about Hakyll - I have a CodeBlock, and I'd like to dump the contents to a temporary file, run several external programs on that copiler, and then inline the final artifact. I can't use the 'unixFilter' because these external compilers can only generate files on a disk, don't dump it to stdout. |
| 2024-10-17 15:08:10 +0200 | <raehik> | tomsmeding: and I've tried importing more types in the orphan module (which I'm assuming would increase the number of type family eqs?), but it doesn't change it |
| 2024-10-17 15:08:36 +0200 | <tomsmeding> | raehik: have you tried importing more type family equations in the module where the _non_-orphan instance would be placed? |
| 2024-10-17 15:08:59 +0200 | <tomsmeding> | I'm not sure how it works but [exa] seems to imply that having more type family equations in scope might make GHC more accepting of the instance |
| 2024-10-17 15:10:41 +0200 | <[exa]> | shryke: as an absolutely unixiest workaround, you might wrap the compiler in something like `sh -c "cat > file && compile file -o file.out && cat file.out"` |
| 2024-10-17 15:10:42 +0200 | <raehik> | Huh. I've replicated (as close as I think matters) the non-orphan instance in the other place. It still doesn't work |
| 2024-10-17 15:11:04 +0200 | <raehik> | For context, I need UndecidableInstances for the module where the type family is defined in the same package |
| 2024-10-17 15:11:05 +0200 | <shryke> | What would be the best approach here? I have a hack-ish solution (entirely outside of the hakyll's lifecycle) with 'System.IO.Temp.writeTempFile' and invoking a 'make' with an outside Makefile |
| 2024-10-17 15:11:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 15:11:32 +0200 | <raehik> | the other case (the original orphan) is a separate package depending on the former |
| 2024-10-17 15:12:39 +0200 | <[exa]> | tomsmeding: I can't see any other reason that would differentiate the orphan from the inplace definition than having more rules (either instances or solver rules) available |
| 2024-10-17 15:13:43 +0200 | <shryke> | [exa]: yep, I used a similar approach =) |
| 2024-10-17 15:14:22 +0200 | <[exa]> | shryke: in extreme you can make a small executable that does just that, so that you don't have to do the shellanigans in hakyll source |
| 2024-10-17 15:15:25 +0200 | <shryke> | [exa]: I am totally stealing the word 'shellaligans' |
| 2024-10-17 15:15:48 +0200 | <shryke> | *shellanigans |
| 2024-10-17 15:17:55 +0200 | <raehik> | [exa]: it seems to consistently happen when defining an orphan instance on a type not defined in the same package! :) |
| 2024-10-17 15:18:28 +0200 | <raehik> | my intuition is that it's not too weird, because GHC has to do a mountain of work to support orphan instances. I'm not surprised if somewhere along the way it manages to figure out more about my type family |
| 2024-10-17 15:18:33 +0200 | <[exa]> | (shryke: lol this happens when I have too much coffee and my hands go feral on typing themselves) |
| 2024-10-17 15:19:32 +0200 | <[exa]> | raehik: ok that sounds consistent with the missing info |
| 2024-10-17 15:19:59 +0200 | <raehik> | in conclusion, I expect to require UndecidableInstances for a given via derivation but when writing an orphan for a non-package type, I can omit it |
| 2024-10-17 15:21:25 +0200 | <[exa]> | wasn't there some other extension that was less brutal then Undecidable on this, and just deferred the resolution a bit? |
| 2024-10-17 15:21:52 +0200 | <[exa]> | (^ a complete guess though, I vaguely recall seeing something similar in the last haskell survey :D :D ) |
| 2024-10-17 15:21:53 +0200 | <raehik> | is there? I'd love to hear it |
| 2024-10-17 15:22:11 +0200 | ash3en | (~Thunderbi@149.222.128.226) (Quit: ash3en) |
| 2024-10-17 15:22:15 +0200 | <raehik> | I don't mind UndecidableInstances at all, but I'm not at the level of putting it on default extensions yet :D |
| 2024-10-17 15:23:56 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-17 15:24:45 +0200 | <merijn> | I mean, UndecidableInstances is relatively benign |
| 2024-10-17 15:24:58 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-17 15:25:37 +0200 | <merijn> | shryke: As a better work around than shryke's example is this fun trick, on most unices you can pass `/dev/stdout` as filename to get the process to output to stdour |
| 2024-10-17 15:26:55 +0200 | <merijn> | (although whether that works tends to depend on whether the program seeks on the file or just writes it in one go) |
| 2024-10-17 15:32:24 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2024-10-17 15:34:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-17 15:34:39 +0200 | murgeljm | (~murgeljm@APN-122-12-44-gprs.simobil.net) murgeljm |
| 2024-10-17 15:34:49 +0200 | <lxsameer> | hey folks, any recommendation on a library to create web apis? |
| 2024-10-17 15:36:06 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-17 15:38:05 +0200 | <Rembane> | lxsameer: If you really like types Servant is the library for you! |
| 2024-10-17 15:38:49 +0200 | <lxsameer> | Rembane: thank you |
| 2024-10-17 15:42:59 +0200 | murgeljm | (~murgeljm@APN-122-12-44-gprs.simobil.net) (Read error: Connection reset by peer) |
| 2024-10-17 15:43:27 +0200 | <Rembane> | lxsameer: np! |
| 2024-10-17 15:43:49 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-17 15:53:12 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 272 seconds) |
| 2024-10-17 15:53:21 +0200 | jcarpenter2 | (~lol@96.78.87.197) |
| 2024-10-17 15:53:56 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-17 15:58:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 16:01:27 +0200 | <shryke> | merijn: I am on windows, so that trick would not work; on top of that, if a copiler produces auxiliary artefacts (e.g. pdflatex), that would not work even on *nix |
| 2024-10-17 16:03:33 +0200 | <shryke> | well, pdflatex is very capricious in what it accepts as a parameter; among other things, the path to the file is not really a platform's standard filepath, rather a what pdflatex thinks what should be a filepath. |
| 2024-10-17 16:15:09 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 16:15:55 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 16:16:39 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-17 16:17:04 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-17 16:21:49 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 16:23:07 +0200 | Digitteknohippie | Digit |
| 2024-10-17 16:25:58 +0200 | <merijn> | shryke: oh, oof |
| 2024-10-17 16:26:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 16:26:35 +0200 | <merijn> | shryke: tbh, if you're using pdflatex I would probably move that generation outside of Hakyll (like a makefile) and then call Hakyll from that makefile when the PDF is done |
| 2024-10-17 16:27:34 +0200 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-10-17 16:28:27 +0200 | <shryke> | merijn: I have to do that the other way around - the contents processed by pdflatex are extracted dynamically by hakyll and then fed to external makefile receipe |
| 2024-10-17 16:29:18 +0200 | <merijn> | Well, in that case I recommend having a good cry and finding a decent whisky to drown your sorrows :D |
| 2024-10-17 16:32:46 +0200 | <shryke> | I am more of a red wine guy, but the idea remains the same |
| 2024-10-17 16:35:36 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-17 16:36:32 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-17 16:41:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-17 16:43:31 +0200 | ash3en | (~Thunderbi@193.32.248.167) ash3en |
| 2024-10-17 16:47:27 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 16:48:38 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) synchromesh |
| 2024-10-17 16:49:06 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-17 16:50:01 +0200 | ash3en | (~Thunderbi@193.32.248.167) (Quit: ash3en) |
| 2024-10-17 16:50:31 +0200 | echog | (~echog@dyn146073.shef.ac.uk) |
| 2024-10-17 16:55:19 +0200 | echog | (~echog@dyn146073.shef.ac.uk) (Ping timeout: 264 seconds) |
| 2024-10-17 16:56:29 +0200 | echog | (~echog@dyn146073.shef.ac.uk) |
| 2024-10-17 17:00:01 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-17 17:01:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-17 17:09:14 +0200 | echog | (~echog@dyn146073.shef.ac.uk) (Quit: Leaving) |
| 2024-10-17 17:11:03 +0200 | hiecaq`` | (~hiecaq`@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-17 17:16:12 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 17:16:15 +0200 | spew | (~spew@155.133.15.29) spew |
| 2024-10-17 17:19:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 17:28:59 +0200 | alp | (~alp@2001:861:e3d6:8f80:553e:4712:5919:60eb) |
| 2024-10-17 17:29:33 +0200 | spew | (~spew@155.133.15.29) (Ping timeout: 245 seconds) |
| 2024-10-17 17:31:27 +0200 | spew | (~spew@201.141.99.170) spew |
| 2024-10-17 17:37:19 +0200 | Square | (~Square@user/square) Square |
| 2024-10-17 17:42:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 17:43:30 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-17 17:50:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-17 17:50:32 +0200 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2024-10-17 17:53:45 +0200 | spew | (~spew@201.141.99.170) (Ping timeout: 246 seconds) |
| 2024-10-17 17:54:10 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-17 17:55:46 +0200 | spew | (~spew@155.133.15.235) spew |
| 2024-10-17 18:00:28 +0200 | Digit | (~user@user/digit) Digit |
| 2024-10-17 18:03:39 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-17 18:18:15 +0200 | alp | (~alp@2001:861:e3d6:8f80:553e:4712:5919:60eb) (Ping timeout: 246 seconds) |
| 2024-10-17 18:22:02 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-10-17 18:41:31 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Ping timeout: 265 seconds) |
| 2024-10-17 18:41:40 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 272 seconds) |
| 2024-10-17 18:50:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 18:52:13 +0200 | alp | (~alp@2001:861:e3d6:8f80:34e0:ead3:355f:5f57) |
| 2024-10-17 18:52:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-17 18:52:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 18:57:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-17 19:01:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 19:08:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-17 19:10:37 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-10-17 19:12:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 19:14:33 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-10-17 19:15:57 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-10-17 19:16:37 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 19:16:37 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Client Quit) |
| 2024-10-17 19:16:54 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-17 19:17:03 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 245 seconds) |
| 2024-10-17 19:19:37 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-10-17 19:20:39 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-17 19:20:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2024-10-17 19:21:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 19:22:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-17 19:24:20 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-17 19:30:48 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-17 19:33:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 19:33:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2024-10-17 19:44:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 19:50:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 19:52:02 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 255 seconds) |
| 2024-10-17 19:52:21 +0200 | hgolden_ | (~hgolden@23.162.40.28) hgolden |
| 2024-10-17 19:52:58 +0200 | roconnor | (~quassel@coq/roconnor) roconnor |
| 2024-10-17 19:53:31 +0200 | <roconnor> | what would be a good way of incorporating example executables in a haskell project (via cabal)? |
| 2024-10-17 19:54:44 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2024-10-17 19:55:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 19:55:46 +0200 | <tomsmeding> | roconnor: have you considered making them `test-suite`s? |
| 2024-10-17 19:55:52 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-17 19:56:27 +0200 | Guest15 | (~Guest15@pool-108-14-78-154.nycmny.fios.verizon.net) |
| 2024-10-17 19:56:31 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-17 19:56:37 +0200 | <tomsmeding> | then they won't get built if someone depends on your package (assuming it's a library), but if you clone the repository (or use `cabal get` to get a bundle from hackage) you can choose to build them manually with `cabal run <test suite name>` |
| 2024-10-17 19:56:39 +0200 | <roconnor> | The thought did occur to me. Although the example program I have in mind is interactive. Maybe that would still work. |
| 2024-10-17 19:56:48 +0200 | <tomsmeding> | `cabal test` is a monstrosity that I never use |
| 2024-10-17 19:56:53 +0200 | <tomsmeding> | `cabal run` works perfectly on test-suites |
| 2024-10-17 19:57:00 +0200 | <roconnor> | ah |
| 2024-10-17 19:57:14 +0200 | Guest15 | (~Guest15@pool-108-14-78-154.nycmny.fios.verizon.net) (Client Quit) |
| 2024-10-17 19:57:19 +0200 | <roconnor> | yeah, having it not built by default is a key consideration for the example programs. |
| 2024-10-17 19:57:30 +0200 | <geekosaur> | cabal flags, then? |
| 2024-10-17 19:57:48 +0200 | <roconnor> | I mean, maybe a testsuite would work well. |
| 2024-10-17 19:58:04 +0200 | <tomsmeding> | I don't think normal executable components in a package get built if someone depends on the package as a library |
| 2024-10-17 19:58:17 +0200 | <tomsmeding> | if you package has a 'cabal-version:' header that is not ancient |
| 2024-10-17 19:58:40 +0200 | <tomsmeding> | that would be worth trying though, before committing to that approach |
| 2024-10-17 20:00:24 +0200 | <geekosaur> | they do if it uses a build mechanism other thsan Simple |
| 2024-10-17 20:00:33 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-17 20:00:35 +0200 | <tomsmeding> | ah |
| 2024-10-17 20:01:06 +0200 | <tomsmeding> | roconnor: so if you don't have a Custom build type, normal executable could work too |
| 2024-10-17 20:01:15 +0200 | <tomsmeding> | *executableS |
| 2024-10-17 20:01:26 +0200 | <roconnor> | hmmm |
| 2024-10-17 20:01:53 +0200 | <roconnor> | okay. |
| 2024-10-17 20:03:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 20:07:21 +0200 | <bwe> | How can I catch an rephrase constraint failing to solve? |
| 2024-10-17 20:08:00 +0200 | <tomsmeding> | bwe: are you looking for this perhaps? https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html |
| 2024-10-17 20:11:19 +0200 | <Lears> | Or https://hackage.haskell.org/package/base-4.20.0.1/docs/GHC-TypeError.html#t:Unsatisfiable |
| 2024-10-17 20:11:35 +0200 | <Lears> | (in particular) |
| 2024-10-17 20:20:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-10-17 20:28:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-17 20:28:17 +0200 | euleritian | (~euleritia@dynamic-176-000-163-135.176.0.pool.telefonica.de) |
| 2024-10-17 20:29:27 +0200 | <dmj`> | would be interesting to see how much of hackage compiled with "default ()" |
| 2024-10-17 20:31:33 +0200 | <dmj`> | an NoMonomorphism restriction enabled |
| 2024-10-17 20:35:20 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-17 20:35:56 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
| 2024-10-17 20:37:35 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-17 20:43:38 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-17 20:44:55 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2024-10-17 20:44:57 +0200 | Server | +Cnt |
| 2024-10-17 20:46:11 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-17 20:46:34 +0200 | bsima | (~bsima@143.198.118.179) bsima |
| 2024-10-17 20:46:40 +0200 | <bwe> | tomsmeding: I'd like to rewrite this error message into some more meaningful: https://paste.tomsmeding.com/MfhzcN17 |
| 2024-10-17 20:48:57 +0200 | <tomsmeding> | bwe: you can't just rewrite arbitrary error messages |
| 2024-10-17 20:49:32 +0200 | <tomsmeding> | and in any case, this looks like a typical effect system constraint error that a user of an effect system will be well used to |
| 2024-10-17 20:50:30 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-10-17 20:51:26 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2024-10-17 20:51:26 +0200 | ChanServ | +v yahb2 |
| 2024-10-17 20:53:11 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-17 20:54:09 +0200 | alp | (~alp@2001:861:e3d6:8f80:34e0:ead3:355f:5f57) (Ping timeout: 252 seconds) |
| 2024-10-17 20:55:08 +0200 | <bwe> | tomsmeding: so I can't catch and rephrase this kind of error, right? and the effect system does not give me any means, too? |
| 2024-10-17 20:57:29 +0200 | <tomsmeding> | you can't _catch_ type errors generally, no |
| 2024-10-17 20:57:50 +0200 | <tomsmeding> | you can generate your own, and if you do that in clever locations you can sometimes be faster than the generated error |
| 2024-10-17 20:58:02 +0200 | <tomsmeding> | s/the generated error/the error that ghc would produce/ |
| 2024-10-17 20:58:23 +0200 | <bwe> | so is that one reason why Haskell being blamed for having bad error messages? |
| 2024-10-17 20:58:25 +0200 | Square2 | (~Square4@user/square) Square |
| 2024-10-17 20:58:39 +0200 | <tomsmeding> | no language that I know allows you to _catch_ type errors |
| 2024-10-17 20:59:21 +0200 | <tomsmeding> | a type error is a type error, that means that something went wrong |
| 2024-10-17 20:59:46 +0200 | <tomsmeding> | you can sometimes program what the types should be, but in the end it all goes through the type checker, and if the checker finds an inconsistency, that's it |
| 2024-10-17 20:59:54 +0200 | Digitteknohippie | Digit |
| 2024-10-17 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-17 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-17 21:00:42 +0200 | <tomsmeding> | constraint errors like these are imperfect mostly because the effect system is written _inside_ the language, not built into the compiler |
| 2024-10-17 21:01:00 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-10-17 21:01:02 +0200 | <tomsmeding> | so GHC knows nothing about stuff like (:>), it just knows generally about type classes and type families and can reason about them |
| 2024-10-17 21:01:35 +0200 | <tomsmeding> | now, the effect system could have defined (:>) so that it throws a custom type error if the given effect is not found in the list |
| 2024-10-17 21:01:50 +0200 | <tomsmeding> | but if it didn't do that, then there's nothing much you can do to fix that |
| 2024-10-17 21:02:10 +0200 | <tomsmeding> | except write your own copy of (:>) that does so (probably using Unsatisfiable that Lears linked) |
| 2024-10-17 21:02:51 +0200 | <tomsmeding> | and then still you aren't _catching_ this type error, you're taking over what GHC would otherwise do for you, and raising your own type errors if things go wrong |
| 2024-10-17 21:05:09 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-17 21:05:56 +0200 | visilii_ | (~visilii@46.61.242.137) |
| 2024-10-17 21:06:08 +0200 | <bwe> | tomsmeding: puh, that sounds too complicated to me, frankly, yet the desire to simplify the error messages remains :( |
| 2024-10-17 21:07:05 +0200 | <tomsmeding> | bwe: turns out `effectful` actually did what I just described: https://hackage.haskell.org/package/effectful-core-2.4.0.0/docs/Effectful.html#t::-62- |
| 2024-10-17 21:07:35 +0200 | <tomsmeding> | if you try to resolve `e :> []` then you get a "nice" error message written by `effectful` |
| 2024-10-17 21:07:58 +0200 | <tomsmeding> | but that's not what is happening here: GHC just has `es`, and for all it knows, `Handler Result` might be in `es`! |
| 2024-10-17 21:08:01 +0200 | <tomsmeding> | or it might not |
| 2024-10-17 21:08:16 +0200 | <tomsmeding> | so "The `Hyperbole` effect is not in the effects list" would be wrong here, because it might be |
| 2024-10-17 21:08:22 +0200 | hgolden__ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-17 21:08:50 +0200 | <tomsmeding> | so GHC never reaches the human-written error message, and gives up early with an unresolved constraint |
| 2024-10-17 21:09:24 +0200 | visilii | (~visilii@46.61.242.109) (Ping timeout: 246 seconds) |
| 2024-10-17 21:09:26 +0200 | <tomsmeding> | er, s/Hyperbole/Handler Result/ there |
| 2024-10-17 21:09:35 +0200 | <tomsmeding> | Hyperbole is the thing that _is_ in the effects list |
| 2024-10-17 21:11:04 +0200 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 260 seconds) |
| 2024-10-17 21:11:41 +0200 | <dolio> | What would the 'nice' error be? |
| 2024-10-17 21:11:48 +0200 | <dolio> | Most of that 'bad' error is context. |
| 2024-10-17 21:12:22 +0200 | Guest623 | (~Guest623@122-151-33-65.sta.wbroadband.net.au) |
| 2024-10-17 21:12:52 +0200 | alp | (~alp@2001:861:e3d6:8f80:892c:a656:e37a:e5b6) |
| 2024-10-17 21:12:59 +0200 | <dolio> | It's like 3 lines of error and 20 lines of surrounding context. |
| 2024-10-17 21:14:13 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-17 21:15:07 +0200 | Guest623 | (~Guest623@122-151-33-65.sta.wbroadband.net.au) (Client Quit) |
| 2024-10-17 21:18:06 +0200 | alp | (~alp@2001:861:e3d6:8f80:892c:a656:e37a:e5b6) (Ping timeout: 272 seconds) |
| 2024-10-17 21:18:12 +0200 | <bwe> | dolio: "You missed to use handlers in the function body that you specified in the type signature." |
| 2024-10-17 21:19:02 +0200 | <tomsmeding> | (I would rather reword that as "You used the 'Handler Result' effect in your function body, but forgot to declare it in the type signature.") |
| 2024-10-17 21:19:19 +0200 | <tomsmeding> | but that comes back to my initial reaction: that's what this error _means_ |
| 2024-10-17 21:19:33 +0200 | <tomsmeding> | anyone who has worked with an effect system in haskell for a while will recognise this particular error |
| 2024-10-17 21:23:54 +0200 | <bwe> | so, in a nutshell, for a non-user of an effect system: can I utilise the effect system to the extent to rewrite the error message? sorry, if I may ask the same thing again in different words… |
| 2024-10-17 21:24:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb921c1d480c698edc2c.dip0.t-ipconnect.de) acidjnk |
| 2024-10-17 21:27:09 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb92ed462acf7e3ada6e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-17 21:31:34 +0200 | <tomsmeding> | bwe: I'm not sure what you mean with "for a non-user of an effect system" |
| 2024-10-17 21:31:42 +0200 | <tomsmeding> | it looks like you _are_ a user of the effect system :) |
| 2024-10-17 21:32:02 +0200 | <bwe> | tomsmeding: using only a library that uses an effect system, but haven't used one myself :) |
| 2024-10-17 21:32:12 +0200 | <tomsmeding> | I see :) |
| 2024-10-17 21:32:17 +0200 | <monochrom> | Haskell is not an effect language, so its error messages will not talk about effects. |
| 2024-10-17 21:32:25 +0200 | <tomsmeding> | ^ |
| 2024-10-17 21:32:30 +0200 | <tomsmeding> | (as I've said before) |
| 2024-10-17 21:32:35 +0200 | <tomsmeding> | so no, you can't rewrite that error message |
| 2024-10-17 21:33:04 +0200 | <tomsmeding> | if the effects come just from a library that you are using, though, you could try to encapsulate that within your library so that your users don't see the effect system at all |
| 2024-10-17 21:33:10 +0200 | <monochrom> | Haskell is only a lambda calculus with bells and whistles, so its error messages can only talk about "this argument has the wrong type" or "this function application looks wrong". |
| 2024-10-17 21:33:12 +0200 | <tomsmeding> | but that means ensuring that your types contain no (:>) etc |
| 2024-10-17 21:37:39 +0200 | alp | (~alp@2001:861:e3d6:8f80:c611:3442:c342:856d) |
| 2024-10-17 21:47:13 +0200 | rdcdr_ | (~rdcdr@75-172-14-224.tukw.qwest.net) |
| 2024-10-17 21:48:05 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 248 seconds) |
| 2024-10-17 21:48:53 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2024-10-17 21:57:45 +0200 | <bwe> | tomsmeding + monochrom: thanks |
| 2024-10-17 21:59:56 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-10-17 22:00:40 +0200 | <mauke> | > ' |
| 2024-10-17 22:00:42 +0200 | <lambdabot> | <hint>:1:2: error: |
| 2024-10-17 22:00:42 +0200 | <lambdabot> | lexical error in string/character literal at end of input |
| 2024-10-17 22:08:02 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-17 22:12:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-17 22:14:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-17 22:23:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-17 22:23:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:28:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 22:32:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-17 22:33:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-17 22:35:56 +0200 | Everything | (~Everythin@46.211.102.45) Everything |
| 2024-10-17 22:37:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-10-17 22:39:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:43:07 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
| 2024-10-17 22:43:47 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-10-17 22:44:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-17 22:46:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-17 22:51:20 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-17 22:57:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 22:59:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-17 23:01:01 +0200 | synchromesh | (~john@2406:5a00:2497:300:1d96:ce41:a836:f7ae) (Read error: Connection reset by peer) |
| 2024-10-17 23:02:13 +0200 | synchromesh | (~john@2406:5a00:2497:300:e0d5:e11:3d9d:e9de) synchromesh |
| 2024-10-17 23:02:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-17 23:10:23 +0200 | Everything | (~Everythin@46.211.102.45) (Ping timeout: 245 seconds) |
| 2024-10-17 23:13:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:14:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-17 23:18:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-17 23:28:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:30:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-17 23:33:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-17 23:36:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-17 23:36:39 +0200 | Guest43 | (~Guest43@136.60.16.88) |
| 2024-10-17 23:37:48 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-10-17 23:38:37 +0200 | Guest43 | (~Guest43@136.60.16.88) (Client Quit) |
| 2024-10-17 23:44:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-17 23:49:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-17 23:50:45 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-17 23:56:22 +0200 | hgolden_ | (~hgolden@146.70.173.101) hgolden |
| 2024-10-17 23:58:40 +0200 | hgolden__ | (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |