Logs on 2024-12-16 (liberachat/#haskell)
| 00:04:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:08:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:09:12 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:12:49 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f7859b2d190edf183b0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:20:31 | × | xff0x quits (~xff0x@2405:6580:b080:900:b4b:daf:7b8e:aa3a) (Ping timeout: 252 seconds) |
| 00:21:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:25:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 00:27:34 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:27:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 00:33:07 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 00:36:21 | × | sprotte24 quits (~sprotte24@p200300d16f1ba800a9c9867bbfc8fdf5.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:41:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:45:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 00:52:15 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:57:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:01:47 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 01:02:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 01:13:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:17:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:18:24 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 01:23:37 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:31:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:34:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 01:35:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:48:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:53:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:01:50 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 02:04:17 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 02:04:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:06:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 02:08:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:11:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:12:41 | × | Square quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 02:18:32 | → | anpad joins (~pandeyan@user/anpad) |
| 02:24:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:29:35 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:38:24 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 02:40:14 | → | poscat joins (~poscat@user/poscat) |
| 02:42:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:46:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:58:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:02:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:11:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:15:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:23:59 | → | fun-safe-math joins (~fun-safe-@24.21.106.247) |
| 03:24:36 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 03:28:13 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) |
| 03:28:16 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:201:47cf:ca1:a674:8042) (Remote host closed the connection) |
| 03:29:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:33:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:34:00 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 03:37:40 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 03:39:19 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 03:39:45 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:39:57 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 03:42:17 | → | weary-traveler joins (~user@user/user363627) |
| 03:45:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:48:20 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:50:34 | → | weary-traveler joins (~user@user/user363627) |
| 03:50:37 | × | td_ quits (~td@i53870925.versanet.de) (Ping timeout: 252 seconds) |
| 03:52:20 | → | td_ joins (~td@i5387091E.versanet.de) |
| 03:52:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 03:56:31 | × | fmira quits (~user@user/fmira) (Quit: fmira) |
| 04:04:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:08:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:21:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:22:17 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 04:25:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 04:32:47 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:33:16 | → | aforemny_ joins (~aforemny@2001:9e8:6cd5:9100:5928:27f0:185:b6b7) |
| 04:34:34 | × | aforemny quits (~aforemny@2001:9e8:6cf4:9b00:6c82:23a1:fd0e:a39) (Ping timeout: 272 seconds) |
| 04:35:39 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 04:37:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:42:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:46:00 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:53:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:58:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:09:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:13:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:27:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:34:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:45:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:49:16 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:50:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:50:37 | → | michalz joins (~michalz@185.246.207.201) |
| 05:56:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:58:03 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 05:58:26 | <Axman6> | hellwolf: I seem to remember Aeson having some support for json-in-json, let me see if Ic an find it |
| 05:59:04 | <Axman6> | https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Decoding.html#v:unescapeText might get you close to what you want... |
| 06:02:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:02:38 | → | Digitteknohippie joins (~user@user/digit) |
| 06:04:46 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 06:07:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:09:53 | Digitteknohippie | is now known as Digit |
| 06:10:03 | → | alp joins (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f) |
| 06:11:28 | × | cyphase quits (~cyphase@user/cyphase) (Remote host closed the connection) |
| 06:14:51 | → | cyphase joins (~cyphase@user/cyphase) |
| 06:15:05 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 06:17:35 | → | Digit joins (~user@user/digit) |
| 06:18:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:21:46 | → | Digitteknohippie joins (~user@user/digit) |
| 06:23:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:23:54 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 06:26:00 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 06:27:49 | → | Digit joins (~user@user/digit) |
| 06:31:15 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 06:34:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:35:32 | × | Digit quits (~user@user/digit) (Ping timeout: 272 seconds) |
| 06:39:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:39:47 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 06:40:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 06:48:53 | → | sroso joins (~sroso@user/SrOso) |
| 06:50:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:55:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:04:46 | → | CiaoSen joins (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) |
| 07:04:51 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 07:06:54 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:10:37 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f963c166856aff88625.dip0.t-ipconnect.de) |
| 07:14:35 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:14:42 | → | Digit joins (~user@user/digit) |
| 07:15:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:29:10 | × | OftenFaded quits (OftenFaded@user/tisktisk) (Ping timeout: 240 seconds) |
| 07:42:15 | → | briandaed joins (~root@user/briandaed) |
| 07:44:55 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:54:16 | → | housemate joins (~housemate@2001:8004:51c0:10a3:f911:183a:1420:68f6) |
| 08:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:43 | → | caconym joins (~caconym@user/caconym) |
| 08:04:45 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:04:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:09:37 | × | myme quits (~myme@40.51-175-185.customer.lyse.net) (Ping timeout: 252 seconds) |
| 08:09:41 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:11:30 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 08:11:51 | → | califax joins (~califax@user/califx) |
| 08:16:49 | <haskellbridge> | <hellwolf> ah, though it is |
| 08:16:49 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CuiKjchKdsWeFkCpJglxNsna/LBtYyTunxY4 (6 lines) |
| 08:18:46 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:19:08 | <jackdk> | doesn't parseJSON, the function from class FromJSON, accept a Value? |
| 08:29:42 | × | CiaoSen quits (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 08:34:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:41:14 | → | merijn joins (~merijn@77.242.116.146) |
| 08:43:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:47:03 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 08:47:21 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 08:55:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:56:12 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 08:57:43 | → | califax joins (~califax@user/califx) |
| 08:58:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:59:51 | → | califax joins (~califax@user/califx) |
| 09:04:30 | → | CiaoSen joins (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) |
| 09:04:39 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 09:09:53 | → | __monty__ joins (~toonn@user/toonn) |
| 09:16:22 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 09:23:10 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 09:25:44 | → | ywgrit joins (~ywgrit@156.251.183.148) |
| 09:30:40 | → | kuribas joins (~user@ptr-17d51em7zy1bip59cqa.18120a2.ip6.access.telenet.be) |
| 09:35:27 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:39:06 | → | mari51523 joins (~mari-este@user/mari-estel) |
| 09:40:24 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 09:41:41 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 09:42:30 | × | mari51523 quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 09:43:57 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:47:11 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:48:07 | → | mari24314 joins (~mari-este@user/mari-estel) |
| 09:48:16 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 09:53:16 | → | merijn joins (~merijn@77.242.116.146) |
| 09:57:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:01:10 | → | merijn joins (~merijn@77.242.116.146) |
| 10:06:51 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 10:09:44 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:10:08 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 10:10:08 | jmcantrell_ | is now known as jmcantrell |
| 10:15:18 | × | briandaed quits (~root@user/briandaed) (Ping timeout: 272 seconds) |
| 10:18:45 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 10:18:56 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:19:45 | × | housemate quits (~housemate@2001:8004:51c0:10a3:f911:183a:1420:68f6) (Read error: Connection reset by peer) |
| 10:20:51 | → | leah2 joins (~leah@vuxu.org) |
| 10:21:09 | × | mari24314 quits (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
| 10:23:40 | → | briandaed joins (~root@185.234.210.211.r.toneticgroup.pl) |
| 10:34:50 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:37:01 | × | CiaoSen quits (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 10:38:17 | <hellwolf> | you are right, I should try "parseMaybe parseJSON" |
| 10:38:25 | <hellwolf> | I am just not very proficient in Aeson. |
| 10:39:25 | → | mari59436 joins (~mari-este@user/mari-estel) |
| 10:39:56 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 10:40:27 | → | rvalue joins (~rvalue@user/rvalue) |
| 10:41:29 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 10:41:59 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 10:48:44 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 10:50:09 | → | kimiamania joins (~65804703@user/kimiamania) |
| 11:05:23 | × | zenmov quits (~zenmov@user/zenmov) (Quit: Lost terminal) |
| 11:07:22 | → | zenmov joins (~zenmov@user/zenmov) |
| 11:08:06 | × | kuribas quits (~user@ptr-17d51em7zy1bip59cqa.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 11:12:35 | → | Digit joins (~user@user/digit) |
| 11:17:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 11:23:00 | → | xff0x joins (~xff0x@2405:6580:b080:900:b5b8:77a6:6aa6:d757) |
| 11:29:04 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 11:30:29 | × | mari59436 quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 11:30:45 | → | merijn joins (~merijn@77.242.116.146) |
| 11:31:05 | <jackdk> | Yeah, it seems like `parse`/`parseEither`/`parseMaybe` will get you a useful output type, depending on how you want to consume your errors |
| 11:31:49 | <jackdk> | hellwolf: but also https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Types.html#v:fromJSON if the type you're deserialising into has a `FromJSON` instance. `Result` is a type you can pattern-match on |
| 11:33:39 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:35:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:36:44 | → | mari64808 joins (~mari-este@user/mari-estel) |
| 11:39:14 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 11:39:23 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 11:41:10 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:42:09 | × | mari64808 quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 11:47:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 11:49:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:55:43 | → | merijn joins (~merijn@77.242.116.146) |
| 11:57:27 | × | dostoevsky quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 12:00:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 12:00:45 | → | tremon joins (~tremon@83.80.159.219) |
| 12:01:28 | → | CiaoSen joins (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) |
| 12:05:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:08:21 | × | zzz quits (~z@user/zero) (Quit: quit) |
| 12:09:19 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 12:13:09 | → | merijn joins (~merijn@77.242.116.146) |
| 12:15:22 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 12:16:42 | → | zero joins (~z@user/zero) |
| 12:17:44 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 12:19:07 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 12:24:17 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 12:27:07 | → | merijn joins (~merijn@77.242.116.146) |
| 12:29:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 12:30:55 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 12:31:01 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:38:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 12:46:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 12:50:22 | × | homo quits (~homo@user/homo) (Ping timeout: 252 seconds) |
| 12:51:22 | → | homo joins (~homo@84-253-192-194.bb.dnainternet.fi) |
| 12:51:52 | × | homo quits (~homo@84-253-192-194.bb.dnainternet.fi) (Changing host) |
| 12:51:52 | → | homo joins (~homo@user/homo) |
| 12:57:08 | → | Square3 joins (~Square4@user/square) |
| 12:59:49 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 13:22:46 | × | ywgrit quits (~ywgrit@156.251.183.148) (Quit: Client closed) |
| 13:27:40 | → | pavonia joins (~user@user/siracusa) |
| 13:37:10 | → | AlexNoo_ joins (~AlexNoo@5.139.233.0) |
| 13:37:12 | × | AlexZenon quits (~alzenon@5.139.233.0) (Ping timeout: 246 seconds) |
| 13:37:39 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Ping timeout: 260 seconds) |
| 13:41:52 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:43:44 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 13:50:49 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 13:56:18 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 13:56:18 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 13:56:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:56:49 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Remote host closed the connection) |
| 13:58:11 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 14:00:53 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 14:03:19 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 14:21:39 | × | CiaoSen quits (~Jura@2a05:5800:2e8:cd00:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 14:26:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 14:31:19 | Square3 | is now known as Square |
| 14:32:02 | → | sprotte24 joins (~sprotte24@p200300d16f23d000c5cbca0a81fcdc83.dip0.t-ipconnect.de) |
| 14:32:57 | × | zenmov quits (~zenmov@user/zenmov) (Ping timeout: 244 seconds) |
| 14:34:54 | → | zenmov joins (~zenmov@user/zenmov) |
| 14:40:42 | → | billchenchina joins (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) |
| 14:46:05 | × | billchenchina quits (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 260 seconds) |
| 14:47:50 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 14:49:37 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 14:50:49 | × | billchenchina quits (~billchenc@103.118.42.229) (Max SendQ exceeded) |
| 14:58:38 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 14:59:47 | × | billchenchina quits (~billchenc@103.118.42.229) (Max SendQ exceeded) |
| 15:01:37 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 15:03:24 | × | alecs quits (~alecs@nat16.software.imdea.org) (Quit: alecs) |
| 15:03:39 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 15:07:36 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 15:12:54 | → | mari91060 joins (~mari-este@user/mari-estel) |
| 15:14:45 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 15:17:19 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 15:18:10 | × | mari91060 quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 15:24:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:25:34 | × | sprotte24 quits (~sprotte24@p200300d16f23d000c5cbca0a81fcdc83.dip0.t-ipconnect.de) (Quit: Leaving) |
| 15:29:57 | → | mari71161 joins (~mari-este@user/mari-estel) |
| 15:32:10 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 15:34:13 | → | dostoevsky joins (~dostoevsk@user/dostoevsky) |
| 15:34:17 | → | dostoevsky_ joins (~dostoevsk@user/dostoevsky) |
| 15:34:24 | × | dostoevsky_ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 15:34:24 | × | dostoevsky quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 15:34:29 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:34:32 | → | ystael joins (~ystael@user/ystael) |
| 15:34:36 | → | dostoevsky joins (~dostoevsk@user/dostoevsky) |
| 15:37:34 | × | mari71161 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 15:48:58 | → | anpad joins (~pandeyan@user/anpad) |
| 15:53:00 | × | anpad quits (~pandeyan@user/anpad) (Client Quit) |
| 15:57:23 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 15:57:47 | → | anpad joins (~pandeyan@user/anpad) |
| 15:59:04 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:00:54 | → | fmira joins (~user@user/fmira) |
| 16:02:58 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:05:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:08:21 | → | anpad joins (~pandeyan@user/anpad) |
| 16:15:18 | → | weary-traveler joins (~user@user/user363627) |
| 16:15:56 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 16:16:19 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 272 seconds) |
| 16:21:14 | → | Square2 joins (~Square@user/square) |
| 16:22:29 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 16:24:53 | × | Square quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 16:32:34 | → | dpratt joins (~dpratt@71.168.111.215) |
| 16:34:09 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 16:39:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:41:44 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:42:38 | × | dpratt quits (~dpratt@71.168.111.215) (Quit: Client closed) |
| 16:44:29 | → | Digitteknohippie joins (~user@user/digit) |
| 16:45:30 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 16:47:24 | → | billchenchina- joins (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) |
| 16:47:56 | Digitteknohippie | is now known as Digit |
| 16:48:41 | × | alp quits (~alp@2001:861:8ca0:4940:4885:27cf:5cc4:648f) (Ping timeout: 252 seconds) |
| 16:49:48 | × | billchenchina quits (~billchenc@103.118.42.229) (Ping timeout: 252 seconds) |
| 16:55:58 | × | billchenchina- quits (~billchenc@2408:824e:d26:18f1:98a0:1e45:78d8:dfaa) (Ping timeout: 252 seconds) |
| 16:57:11 | AlexNoo_ | is now known as AlexNoo |
| 17:00:05 | → | billchenchina- joins (~billchenc@103.118.42.229) |
| 17:00:12 | × | qaotsap quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 17:01:18 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 17:07:26 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 17:14:07 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 17:17:46 | × | ftzm quits (~ftzm@085081049156.dynamic.telenor.dk) (Ping timeout: 244 seconds) |
| 17:19:04 | → | nobby joins (~nobby@2a01:e0a:5ac:f330:989c:c442:6df:e183) |
| 17:21:06 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:27:34 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 17:28:48 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:36:58 | <briandaed> | where are the docs abowt how to produce bindists for desired platform/arch (hadrian) and how to turn them into ready to install package? |
| 17:37:10 | <briandaed> | s/abowt/about |
| 17:38:34 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 17:38:49 | → | olivial joins (~benjaminl@user/benjaminl) |
| 17:45:02 | → | sam113102 joins (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 17:45:37 | → | nek03 joins (~nek0@user/nek0) |
| 17:45:37 | → | migas9778 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 17:45:38 | → | drdo6 joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 17:45:40 | → | cayley53 joins (~cayley5@user/phileasfogg) |
| 17:45:55 | → | tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com) |
| 17:46:06 | → | _d0t_ joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 17:46:07 | → | sefidel_ joins (~sefidel@user/sefidel) |
| 17:46:18 | → | terrorjack40 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 17:46:32 | → | snek_ joins (sid280155@id-280155.lymington.irccloud.com) |
| 17:46:34 | → | Guest22 joins (~Guest22@2401:4900:9012:60db:5052:1b33:bdcf:b383) |
| 17:46:35 | → | wryishly joins (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 17:46:37 | → | firesquidwao joins (~a@put.gay) |
| 17:46:38 | → | michalz_ joins (~michalz@185.246.207.200) |
| 17:46:40 | → | Pent_ joins (sid313808@id-313808.lymington.irccloud.com) |
| 17:46:40 | → | YoungFrawg joins (~youngfrog@2a02:a03f:c9db:fc00:540c:c3f1:d127:c67e) |
| 17:46:40 | → | zlqrvx_ joins (~zlqrvx@2001:8003:8c8b:e00:3df5:7de2:8bca:3b13) |
| 17:46:41 | → | yuuta joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 17:46:56 | → | dobblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 17:46:56 | × | dobblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 17:46:56 | → | dobblego joins (~dibblego@haskell/developer/dibblego) |
| 17:47:04 | → | Yumemi_ joins (~Yumemi@chamoin.net) |
| 17:47:36 | <Guest22> | Any documentation for uninstalling cabal packages properly ? |
| 17:48:06 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 17:48:07 | → | carbolymer_ joins (~carbolyme@dropacid.net) |
| 17:48:51 | → | _koolazer joins (~koo@user/koolazer) |
| 17:48:58 | → | haveo_ joins (~weechat@pacamara.iuwt.fr) |
| 17:49:11 | → | inedia_ joins (~irc@2600:3c00:e000:287::1) |
| 17:49:15 | → | xdej_ joins (~xdej@quatramaran.salle-s.org) |
| 17:49:23 | → | df_ joins (~ben@justworks.xyz) |
| 17:53:47 | <tomsmeding> | Guest22: you can remove the executable symlink from ~/.cabal/bin safely, but you can't really free up the disk space easily |
| 17:53:59 | × | michalz quits (~michalz@185.246.207.201) (*.net *.split) |
| 17:53:59 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (*.net *.split) |
| 17:53:59 | × | sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (*.net *.split) |
| 17:53:59 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 17:53:59 | × | Flow quits (~none@gentoo/developer/flow) (*.net *.split) |
| 17:53:59 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (*.net *.split) |
| 17:53:59 | × | typedfern_ quits (~Typedfern@83.37.42.247) (*.net *.split) |
| 17:53:59 | × | dolio quits (~dolio@130.44.140.168) (*.net *.split) |
| 17:53:59 | × | koolazer quits (~koo@user/koolazer) (*.net *.split) |
| 17:53:59 | × | tuxpaint quits (~a@put.gay) (*.net *.split) |
| 17:53:59 | × | Yumemi quits (~Yumemi@chamoin.net) (*.net *.split) |
| 17:53:59 | × | nek0 quits (~nek0@user/nek0) (*.net *.split) |
| 17:53:59 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 17:53:59 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 17:53:59 | × | ent quits (entgod@kapsi.fi) (*.net *.split) |
| 17:53:59 | × | inedia quits (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 17:53:59 | × | sefidel quits (~sefidel@user/sefidel) (*.net *.split) |
| 17:53:59 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 17:53:59 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 17:53:59 | × | xdej quits (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 17:53:59 | × | carbolymer quits (~carbolyme@dropacid.net) (*.net *.split) |
| 17:53:59 | × | tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 17:53:59 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 17:53:59 | × | wryish quits (~wryish@216.246.119.62) (*.net *.split) |
| 17:53:59 | × | migas977 quits (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 17:53:59 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 17:53:59 | × | haveo quits (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 17:53:59 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 17:53:59 | × | cayley5 quits (~cayley5@user/phileasfogg) (*.net *.split) |
| 17:53:59 | × | df quits (~ben@justworks.xyz) (*.net *.split) |
| 17:53:59 | nek03 | is now known as nek0 |
| 17:53:59 | cayley53 | is now known as cayley5 |
| 17:54:02 | Pent_ | is now known as Pent |
| 17:54:02 | terrorjack40 | is now known as terrorjack4 |
| 17:54:02 | dobblego | is now known as dibblego |
| 17:54:02 | sefidel_ | is now known as sefidel |
| 17:54:02 | YoungFrawg | is now known as YoungFrog |
| 17:54:03 | migas9778 | is now known as migas977 |
| 17:54:03 | _d0t_ | is now known as _d0t |
| 17:54:03 | drdo6 | is now known as drdo |
| 17:54:03 | tritlo_ | is now known as tritlo |
| 17:54:03 | snek_ | is now known as snek |
| 17:54:03 | sam113102 | is now known as sam113101 |
| 17:54:52 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 17:54:52 | ChanServ | sets mode +v yahb2 |
| 17:55:23 | <Guest22> | tomsmeding: Anywhere written how to do that manually ? |
| 17:55:56 | <tomsmeding> | freeing up disk space? |
| 17:56:18 | <tomsmeding> | no one really tries because it's easy to corrupt the cabal store |
| 17:56:44 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:56:46 | <c_wraith> | I usually delete everything in ~/.cabal except for config |
| 17:56:51 | <tomsmeding> | but ~/.cabal/store/ghc-* can be deleted safely |
| 17:57:06 | <tomsmeding> | (with the caveat that, of course, symlinks to built executables in ~/.cabal/bin will break) |
| 17:57:22 | <geekosaur> | you can remove the whole store or the store for specific ghc versions, otherwise you want something like |
| 17:57:25 | <geekosaur> | @where cabalgc |
| 17:57:33 | <tomsmeding> | clearing _everything_ for a certain GHC version is easy and safe, but clearing selectively is very difficult |
| 17:57:39 | <lambdabot> | https://github.com/treblacy/cabalgc |
| 17:58:10 | <tomsmeding> | oh I looked for that but couldn't find it, Guest22 ^ |
| 17:58:24 | → | dolio joins (~dolio@130.44.140.168) |
| 17:58:46 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 17:59:13 | → | ent- joins (entgod@kapsi.fi) |
| 17:59:28 | <geekosaur> | and yes, beware of installed binaries |
| 18:00:46 | <Guest22> | Even if I delete ~/.cabal/store/ghc-*, there are files in ~/.cabal/packages |
| 18:00:51 | → | Flow joins (~none@gentoo/developer/flow) |
| 18:01:02 | → | typedfern_ joins (~Typedfern@247.red-83-37-42.dynamicip.rima-tde.net) |
| 18:01:06 | <tomsmeding> | that is what `cabal update` puts there |
| 18:01:16 | <tomsmeding> | you can remove ~/.cabal/packages, but a single `cabal update` will put it all back |
| 18:01:38 | <tomsmeding> | hm, perhaps not _all_ |
| 18:01:40 | <Guest22> | oh ok |
| 18:01:49 | <tomsmeding> | certainly the largest ones |
| 18:02:08 | <Guest22> | https://www.reddit.com/r/haskell/comments/lrc39/why_is_there_no_cabal_uninstall_option/ is 13 years old. |
| 18:02:15 | <Guest22> | Why there is still no uninstall option ? |
| 18:02:23 | <geekosaur> | it'll put back the index, but downloaded package files can be removed |
| 18:02:33 | <geekosaur> | because it's hard to do right |
| 18:02:33 | <tomsmeding> | because people are generally content with just nuking it out once in a while, and rebuilding what needs to be rebuilt |
| 18:02:42 | <tomsmeding> | see also the cabalgc link by geekosaur |
| 18:03:13 | <tomsmeding> | the difficulty is that cabal doesn't know what projects you have elsewhere on your disk, and maybe those depend on stuff you've built in the store |
| 18:03:32 | <geekosaur> | also packages in the store have links to each other |
| 18:03:51 | <tomsmeding> | that problem is solved by cabalgc, isn't it? |
| 18:04:01 | <geekosaur> | so removing something that turns out to be a transitive dependency to a library you do use will break that library and require you to reinstall it |
| 18:04:05 | <geekosaur> | yes |
| 18:04:13 | <tomsmeding> | that's the easy part, every package manager does that |
| 18:04:23 | <geekosaur> | I'm talking about why you can;t just uninstall random packages |
| 18:04:30 | <tomsmeding> | the hard part is that _unlike_ a normal package manager, not every user of these packages is known to the package manager |
| 18:04:56 | <geekosaur> | unfortunately there's no record of those dependencies, they're buried in the binary artifacts |
| 18:05:13 | <tomsmeding> | how does cabalgc do that then? |
| 18:05:29 | <geekosaur> | I'm considering taking ownership of a semi-automatic gc mechanism that was submitted and abandoned |
| 18:05:49 | <geekosaur> | computing dependencies as if it were going to build it, I think |
| 18:06:14 | <geekosaur> | which makes it slow compared to a packager manager that can consult a database of dependencies |
| 18:06:26 | <tomsmeding> | seems it's using `ghc-pkg dump` |
| 18:06:40 | <tomsmeding> | https://github.com/treblacy/cabalgc/blob/main/src-exe/GetDeps.hs#L27 |
| 18:06:52 | <geekosaur> | oh, hm, right, it does keep a package db |
| 18:06:59 | <geekosaur> | ghc-style |
| 18:07:26 | <geekosaur> | not sure how much that contains since it's intended for consumption by ghc, not cabal or other tools |
| 18:09:47 | <Guest22> | ok thank you |
| 18:12:48 | → | drdo1 joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 18:13:19 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
| 18:13:19 | drdo1 | is now known as drdo |
| 18:13:42 | × | Guest22 quits (~Guest22@2401:4900:9012:60db:5052:1b33:bdcf:b383) (Quit: Client closed) |
| 18:15:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:16:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:18:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:24:08 | → | alp joins (~alp@2001:861:8ca0:4940:b325:ba7a:69b3:494a) |
| 18:29:36 | → | ephilalethes joins (~noumenon@202.186.203.84) |
| 18:33:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:33:34 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:36:38 | × | Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 18:39:43 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 18:40:23 | → | fmira joins (~user@user/fmira) |
| 18:47:44 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 18:47:44 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
| 18:48:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:52:06 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Read error: Connection reset by peer) |
| 18:52:09 | → | housemate_ joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 18:53:17 | × | housemate_ quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Max SendQ exceeded) |
| 18:54:45 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 18:56:55 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 18:57:56 | × | nobby quits (~nobby@2a01:e0a:5ac:f330:989c:c442:6df:e183) (Quit: Leaving) |
| 19:01:47 | <monochrom> | Oh wow GHC 9.12.1 already. |
| 19:03:09 | <monochrom> | Finally we can answer positively about "can I write `f (Ctor1 | Ctor2) = True` please please please?" :) |
| 19:04:00 | <monochrom> | ("Yes you can use GHC 9.12 which is bleeding edge and is expected to be buggy for the next half year" >:) ) |
| 19:05:42 | <briandaed> | master is bleeding edge, 9.12.1 is at least several hours old so should be depreciated soon (in js frameworks terms) |
| 19:05:53 | <monochrom> | haha |
| 19:12:03 | <[exa]> | monochrom: somehow I still parse that as a guard, yet a weird one on a single pattern only |
| 19:13:28 | <monochrom> | I don't actually know the syntax. :) |
| 19:14:42 | <mauke> | f x@Ctor1 | Ctor2 <- x = |
| 19:14:48 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 19:14:53 | <monochrom> | Oh, it's semicolon. f (Ctor1 ; Ctor2) = True. Understandably, | is already taken for guards. |
| 19:17:36 | <mauke> | s/.*// |
| 19:18:45 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 248 seconds) |
| 19:18:53 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Remote host closed the connection) |
| 19:19:10 | → | housemate joins (~housemate@246.224.218.139.sta.wbroadband.net.au) |
| 19:22:11 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 19:22:24 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 19:22:53 | → | fmira joins (~user@user/fmira) |
| 19:25:47 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:28:46 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:30:24 | × | hellwolf quits (~user@6af3-8a03-f6ad-0507-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 245 seconds) |
| 19:32:44 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:34:26 | × | mzg quits (~mzg@abusers.hu) (Ping timeout: 252 seconds) |
| 19:36:13 | → | hellwolf joins (~user@384c-9f11-ae01-0420-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 19:38:25 | → | myme joins (~myme@40.51-175-185.customer.lyse.net) |
| 19:43:18 | <[exa]> | ah wow my zero-knowledge parse was correct |
| 19:43:46 | <[exa]> | monochrom: cool though, didn't even think about this as a possibility :D |
| 19:45:55 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:46:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:47:22 | → | mzg joins (mzg@abusers.hu) |
| 19:49:42 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 19:51:00 | <c_wraith> | Huh. I tried an experiment with today's AoC problem, stuffing all 40k or so entries into the queue at the start and just removing from and updating it, never inserting new entries. And it was *slow*. |
| 19:51:46 | <c_wraith> | Is there a better-performing priority search queue package than psqueues? |
| 19:52:39 | <c_wraith> | Or did I hit a pessimal case by inserting tens of thousands of keys at the same priority? |
| 19:52:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:52:51 | <geekosaur> | I've used pqueue for a couple of things, but didn't benchmark it |
| 19:52:53 | <monochrom> | Relatedly, the way I memorize that pattern guard is "pat <- expr", not "pat -> expr" or "expr -> pat", by recalling that "->" is already taken by case-of. I.e., "case foo of Just x | [] <- f x -> show x" is less bad than "case foo of Just x | f x -> [] -> show x". |
| 19:53:11 | <geekosaur> | ^ |
| 19:55:24 | <monochrom> | In the OS course at my school, they need a priority queue, but since priorities are only [0..63], they just code up an array of 64 queues and be done with it. >:) |
| 19:55:44 | <monochrom> | (This is even the official starter code for their assignments and projects.) |
| 19:56:57 | firesquidwao | is now known as tuxpaint |
| 19:58:00 | × | billchenchina- quits (~billchenc@103.118.42.229) (Remote host closed the connection) |
| 20:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:38 | → | caconym joins (~caconym@user/caconym) |
| 20:01:22 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:02:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 20:06:47 | <tomsmeding> | monochrom: I don't like it much though, because it only works for zero-field constructors |
| 20:07:02 | <tomsmeding> | or, well, more accurately: for patterns that bind zero variables |
| 20:07:47 | <tomsmeding> | (the OrPatterns thing, that is) |
| 20:08:16 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 20:15:26 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 20:15:37 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 20:21:49 | → | sprotte24 joins (~sprotte24@p200300d16f23d00014aa71923fddd774.dip0.t-ipconnect.de) |
| 20:21:59 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 20:23:03 | <c_wraith> | well, turns out that tens of thousands of keys at the same priority isn't a pessimal case. It's just... really slow. |
| 20:23:43 | × | fmira quits (~user@user/fmira) (Remote host closed the connection) |
| 20:24:14 | → | fmira joins (~user@user/fmira) |
| 20:24:48 | <briandaed> | any profiling hints about slowness source? |
| 20:25:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 20:28:47 | <EvanR> | Data.Map is a servicable priority queue? |
| 20:31:46 | <c_wraith> | Oh, I see. It's Data.OrdPSQ that's super slow. I see comments saying Data.OrdPSQ was just an afterthought in their library. I had to change my key type to make it Hashable, then Data.HashPSQ performs the way I'd expect |
| 20:34:01 | <hellwolf> | 12-16 13:31 <jackdk> hellwolf: but also https://hackage.haskell.org/package/aeson-2.2.3.0/docs/Data-Aeson-Types.html#v:fromJSON if the type you're deserialising into has a `FromJSON` instance. `Result` is a type you can pattern-match on |
| 20:34:01 | <hellwolf> | foldr ((<>) . fromJust . AesonTypes.parseMaybe AesonTypes.parseJSON . fromMaybe (fromString "(empty error message)")) |
| 20:34:17 | <hellwolf> | a late update to this, but it should be fin enow. |
| 20:43:08 | → | Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 20:49:14 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:55:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 20:58:35 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 20:59:39 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 20:59:41 | × | Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection) |
| 21:03:23 | × | briandaed quits (~root@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 21:08:06 | → | Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 21:08:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:21:51 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 21:27:19 | → | gorignak joins (~gorignak@user/gorignak) |
| 21:37:18 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 21:40:14 | ← | OftenFaded parts (~OftenFade@user/tisktisk) () |
| 21:42:03 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 21:49:36 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 21:50:34 | × | michalz_ quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 22:04:25 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:06:21 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 22:11:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:12:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:15:45 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 22:16:24 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 22:16:55 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 22:20:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:21:03 | → | poscat joins (~poscat@user/poscat) |
| 22:24:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 22:27:36 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 22:30:04 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 22:30:07 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 22:31:30 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:31:54 | → | juri_ joins (~juri@implicitcad.org) |
| 22:35:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:38:25 | <hellwolf> | what would you use to store a prefix-matching "map" |
| 22:38:26 | <hellwolf> | say, I have a family of code that can be generated and prefixed to "__checked_mul_t_*", but I'd like to store |
| 22:38:26 | <hellwolf> | such a generator in a map, and use prefix-matching to search for the generator. |
| 22:38:26 | <hellwolf> | I could, of course, explicitly call out such a prefix as keys, then just use regular containers package. |
| 22:39:11 | <Rembane> | hellwolf: Roughly how many keys per prefix? |
| 22:39:53 | <hellwolf> | Can be a lot, I was thinking on using lazy map and a list comprehension |
| 22:40:20 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:40:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:40:27 | <Rembane> | Sounds like a decent solution. I would try it until the performance becomes too bad. |
| 22:40:27 | <hellwolf> | but comparing many keys can still be a bit overhead; actually now that I think about it, the combination is theoretically infinite. |
| 22:41:06 | <hellwolf> | you are right, laziness can be advantageous and sexy :) I am not too much worried about performance at this stage. |
| 22:41:35 | <Rembane> | Sweet! :D |
| 22:42:57 | <hellwolf> | Hmm, not sure I can do that, I'd have to insert all the keys, that wouldn't work for infinite list comprehension |
| 22:43:03 | <hellwolf> | unless I am missing something |
| 22:44:09 | <hellwolf> | geekosaur suggested lookupLE etc., but that also assuming I have inserted all keys. |
| 22:44:14 | <Rembane> | Can you wait with inserting all the keys? |
| 22:44:31 | <hellwolf> | oh, not, actually he meant searching prefixes using lookup* |
| 22:47:35 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 22:47:37 | <hellwolf> | 12-17 00:44 <Rembane> Can you wait with inserting all the keys? |
| 22:47:37 | <hellwolf> | what do you mean? |
| 22:47:41 | <jackdk> | hellwolf: https://www.youtube.com/watch?v=cT8G6FS2v94 perhaps? |
| 22:47:42 | → | youthlic1 joins (~Thunderbi@user/youthlic) |
| 22:47:49 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 22:48:28 | <Rembane> | hellwolf: More laziness, that is, evaluating as little of the program as possible until it absolutely must be evaluated |
| 22:49:59 | youthlic1 | is now known as youthlic |
| 22:51:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:51:22 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:51:32 | <hellwolf> | Not sure. Map is lazy in its values, not its keys. |
| 22:52:02 | <hellwolf> | 12-17 00:47 <jackdk> hellwolf: https://www.youtube.com/watch?v=cT8G6FS2v94 perhaps? |
| 22:52:02 | <hellwolf> | Okay, I watched that video before... I didn't fully get it. I would watch it again. But not sure I would be able to use it in time. |
| 22:52:10 | → | philopsos joins (~caecilius@user/philopsos) |
| 22:52:50 | <Rembane> | hellwolf: yeah, so some other part of the program needs to not insert the keys until absolutely needed |
| 22:53:21 | <hellwolf> | but I am searching by matching prefix, so I got to insert keys to do matching, isn't it. |
| 22:53:50 | × | housemate quits (~housemate@246.224.218.139.sta.wbroadband.net.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 22:54:40 | → | Everything joins (~Everythin@195.138.86.118) |
| 22:55:39 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 22:56:03 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 22:56:42 | <Rembane> | Yeah :/ |
| 22:58:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:00:08 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 23:01:08 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 23:01:56 | <EvanR> | hellwolf, it sounds like that might be made lazy by building the table in stages |
| 23:02:19 | <EvanR> | search the stage with prefixes up to length 5, if not found, search the stage with prefixes 6 through 10, etc |
| 23:02:27 | <EvanR> | later stages are generated lazily |
| 23:05:41 | → | mange joins (~user@user/mange) |
| 23:09:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:09:55 | <hellwolf> | FYI, I messed up a little and flooded too many windows. I am gonna continue this from the Haskell matrix channel. Since I am about to go away from the computer. |
| 23:13:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:24:19 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 23:24:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:28:00 | × | ephilalethes quits (~noumenon@202.186.203.84) (Quit: Leaving) |
| 23:28:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:31:19 | → | dsrt^ joins (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 23:32:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:39:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:49:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:49:55 | → | mceresa_ joins (~mceresa@user/mceresa) |
| 23:49:55 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:49:56 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 23:49:56 | mceresa_ | is now known as mceresa |
| 23:49:56 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 23:51:48 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f963c166856aff88625.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 23:55:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:57:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
All times are in UTC on 2024-12-16.