| 2025-12-04 00:03:55 +0100 | <haskellbridge> | <lucabtz> Leary maybe your way is better than an Additive typeclass as I was doing |
| 2025-12-04 00:06:14 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-04 00:06:29 +0100 | oats | (~oats@user/oats) oats |
| 2025-12-04 00:06:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 00:11:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 00:12:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-04 00:14:10 +0100 | <EvanR> | TMA, due to buffy the vampire slayer, anything can be anythinged |
| 2025-12-04 00:22:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-04 00:22:15 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 240 seconds) |
| 2025-12-04 00:22:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 00:23:30 +0100 | <geekosaur> | due to pretty much any native English speaker 🙂 |
| 2025-12-04 00:23:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-04 00:23:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-04 00:25:36 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-04 00:27:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-04 00:28:07 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-04 00:30:40 +0100 | <EvanR> | the word museum in washington DC is pretty cool |
| 2025-12-04 00:31:02 +0100 | <EvanR> | all about language learning language, inventing new words, and not just english |
| 2025-12-04 00:38:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 00:42:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 00:46:16 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-04 00:47:15 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-04 00:53:40 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-04 00:54:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 00:58:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-04 00:59:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 01:01:14 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-04 01:08:03 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-04 01:09:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 01:14:35 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-04 01:14:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 01:25:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 01:26:09 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-12-04 01:30:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 01:41:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 01:41:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-04 01:44:12 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-04 01:46:07 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 01:46:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 01:49:20 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9a8d:d213:9a6f:7468) (Ping timeout: 244 seconds) |
| 2025-12-04 01:50:08 +0100 | <haskellbridge> | <Zemyla> I wish GHC would turn compile-time lists of primitive types into operations on an Addr# defined at compile time. |
| 2025-12-04 01:50:44 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 265 seconds) |
| 2025-12-04 01:51:29 +0100 | <haskellbridge> | <Zemyla> Like, [1, 3, 5, 8, 14] :: [Int32] would become unpackInt32List# 5# "[something]"#. |
| 2025-12-04 01:51:45 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-12-04 01:53:09 +0100 | <geekosaur> | I can't see that being any faster, and possibly slower if it needs to box the contents individually |
| 2025-12-04 01:54:01 +0100 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-12-04 01:57:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 01:58:28 +0100 | <EvanR> | the question becomes how unpackInt32List# primitive is implemented |
| 2025-12-04 01:58:57 +0100 | <EvanR> | is it even different from normal |
| 2025-12-04 01:59:59 +0100 | <EvanR> | also, a string? |
| 2025-12-04 02:00:48 +0100 | jle` | (~jle`@2603:8001:3b00:11:cbef:e190:cb2:e0d) (Ping timeout: 244 seconds) |
| 2025-12-04 02:02:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 02:02:46 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-12-04 02:02:50 +0100 | jle` | (~jle`@2603:8001:3b00:11:ed74:b35d:c320:7e16) jle` |
| 2025-12-04 02:05:10 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 02:05:50 +0100 | <haskellbridge> | <Zemyla> If it's not faster, then why is it used that way for lists of Char? |
| 2025-12-04 02:09:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 02:09:37 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 246 seconds) |
| 2025-12-04 02:11:08 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2025-12-04 02:11:54 +0100 | <EvanR> | seems like they would coerce to the same thing |
| 2025-12-04 02:13:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 02:17:20 +0100 | firesquidwao | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 244 seconds) |
| 2025-12-04 02:18:13 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-12-04 02:18:36 +0100 | omidmash9 | (~omidmash@user/omidmash) omidmash |
| 2025-12-04 02:20:51 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-04 02:20:51 +0100 | omidmash9 | omidmash |
| 2025-12-04 02:24:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 02:28:54 +0100 | <haskellbridge> | <Zemyla> Also, it's not just about it being faster. It's also about it being a good producer and potentially having rewrite rules that straight up don't produce an intermediate list (for instance, a Vector implementation). |
| 2025-12-04 02:29:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-04 02:29:49 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-04 02:35:18 +0100 | acidjnk | (~acidjnk@p200300d6e71719231986af8ebf40e0fc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-12-04 02:36:31 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-04 02:36:40 +0100 | inline__ | (~wbooze@cgn-195-14-219-122.nc.de) Inline |
| 2025-12-04 02:39:43 +0100 | wbooze | (~wbooze@2001-4dd7-9813-0-5961-9b55-d1ca-8eee.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2025-12-04 02:40:37 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-04 02:40:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 02:45:32 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-04 02:46:38 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) X-Scale |
| 2025-12-04 02:47:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 02:48:56 +0100 | inline__ | (~wbooze@cgn-195-14-219-122.nc.de) (Ping timeout: 240 seconds) |
| 2025-12-04 02:54:46 +0100 | arahael | (~wetfoot@user/arahael) (Ping timeout: 256 seconds) |
| 2025-12-04 02:55:39 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-12-04 02:58:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 03:03:35 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 03:03:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 03:08:25 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 03:12:42 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 252 seconds) |
| 2025-12-04 03:14:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 03:18:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 03:29:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 03:35:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 03:38:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2025-12-04 03:40:27 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-04 03:45:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 03:46:25 +0100 | trickard_ | trickard |
| 2025-12-04 03:50:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 03:56:22 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 04:01:14 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 265 seconds) |
| 2025-12-04 04:01:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 04:06:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 04:09:00 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 04:09:13 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 04:13:12 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 252 seconds) |
| 2025-12-04 04:15:16 +0100 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-12-04 04:17:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 04:20:54 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-04 04:22:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 04:26:21 +0100 | marlino | (~marlino@96-8-193-98.block0.gvtc.com) |
| 2025-12-04 04:28:13 +0100 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 246 seconds) |
| 2025-12-04 04:30:04 +0100 | td_ | (~td@i5387090C.versanet.de) |
| 2025-12-04 04:32:52 +0100 | annamalai | (~annamalai@157.32.222.111) (Read error: Connection reset by peer) |
| 2025-12-04 04:32:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 04:33:13 +0100 | annamalai | (~annamalai@157.32.222.111) annamalai |
| 2025-12-04 04:37:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 04:37:51 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 04:42:29 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 260 seconds) |
| 2025-12-04 04:43:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-04 04:44:52 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-04 04:48:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 04:48:54 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 2025-12-04 04:49:51 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-04 04:53:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 04:54:16 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-04 05:04:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 05:09:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 05:11:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-04 05:12:59 +0100 | trickard_ | trickard |
| 2025-12-04 05:19:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 05:21:35 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-04 05:22:01 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 05:25:05 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-04 05:25:31 +0100 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-12-04 05:25:47 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-04 05:26:19 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 246 seconds) |
| 2025-12-04 05:26:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 05:27:22 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2025-12-04 05:27:23 +0100 | divlamir_ | divlamir |
| 2025-12-04 05:36:32 +0100 | foul_owl | (~kerry@94.156.149.97) (Ping timeout: 240 seconds) |
| 2025-12-04 05:37:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 05:39:04 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-12-04 05:42:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 05:44:15 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-04 05:47:14 +0100 | mehbark | (~mehbark@user/mehbark) (Quit: insert leave message here) |
| 2025-12-04 05:47:23 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-04 05:47:44 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-04 05:47:44 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2025-12-04 05:48:40 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-12-04 05:49:51 +0100 | marlino | (~marlino@96-8-193-98.block0.gvtc.com) (WeeChat 4.7.2) |
| 2025-12-04 05:50:26 +0100 | foul_owl | (~kerry@94.156.149.97) foul_owl |
| 2025-12-04 05:53:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 05:58:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 06:09:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 06:11:25 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-04 06:11:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-04 06:14:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-04 06:18:10 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) |
| 2025-12-04 06:20:01 +0100 | Guest35 | (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) (Write error: Broken pipe) |
| 2025-12-04 06:20:07 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-04 06:20:32 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-04 06:22:37 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-04 06:23:20 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 06:24:13 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::e122) sp1ff |
| 2025-12-04 06:25:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 06:27:55 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 244 seconds) |
| 2025-12-04 06:29:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 06:30:44 +0100 | <iqubic> | Hmm... cabal repl is doing weird things for me. |
| 2025-12-04 06:35:05 +0100 | <iqubic> | So, I have a bunch of files in my src directory for doing Advent of Code. The src directory looks like this: https://dpaste.alwaysdata.org/ATNKbB9Q |
| 2025-12-04 06:35:51 +0100 | <iqubic> | All the Day* files have their own `part1 :: String -> Int` and `part2 :: String -> Int` functions. |
| 2025-12-04 06:36:26 +0100 | <iqubic> | When I start a cabal repl, I can do `:m *Day04` and that gives me access to the `part1` and `part2` functions from `Day04.hs` |
| 2025-12-04 06:37:16 +0100 | <iqubic> | But when run `:r` to reload it, the repl decides to pull in the part1 and part2 functions from Day01, even though it says it's compiling Day04 for me. |
| 2025-12-04 06:37:21 +0100 | <iqubic> | What the hell?!?!? |
| 2025-12-04 06:41:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 06:41:19 +0100 | <iqubic> | Here's my cabal repl output: https://dpaste.alwaysdata.org/3r1Wpc4o |
| 2025-12-04 06:43:01 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-12-04 06:45:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 06:47:38 +0100 | <koala_man> | wild |
| 2025-12-04 06:55:14 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-12-04 06:56:15 +0100 | hdggxin | (~hdggxin@223.181.46.243) (Ping timeout: 250 seconds) |
| 2025-12-04 06:56:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 06:57:32 +0100 | <iqubic> | Why is cabal repl / GHCi doing weird things here? |
| 2025-12-04 06:59:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-04 07:00:19 +0100 | Square | (~Square@user/square) Square |
| 2025-12-04 07:01:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-04 07:03:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-04 07:04:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-04 07:07:06 +0100 | hdggxin | (~hdggxin@2401:4900:88a9:6ec5:fd6a:959:46fd:f2a3) |
| 2025-12-04 07:10:32 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-04 07:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 07:12:45 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-04 07:14:29 +0100 | dfg | (~dfg@user/dfg) dfg |
| 2025-12-04 07:14:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-04 07:14:55 +0100 | dysfigured | (~dfg@50.116.28.89) (Ping timeout: 240 seconds) |
| 2025-12-04 07:17:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-04 07:28:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 07:33:04 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-04 07:33:05 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) Enrico63 |
| 2025-12-04 07:35:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-04 07:39:41 +0100 | <jreicher> | sprout: are there other languages like Egel? (untyped, pure functional) |
| 2025-12-04 07:40:15 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-04 07:41:45 +0100 | Enrico63 | (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-04 07:45:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 07:46:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 07:48:31 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-04 07:51:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 07:51:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 07:52:39 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 260 seconds) |
| 2025-12-04 07:53:13 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-04 07:55:32 +0100 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-12-04 07:56:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 07:58:29 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 260 seconds) |
| 2025-12-04 07:59:11 +0100 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-12-04 08:00:57 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-04 08:01:10 +0100 | hdggxin | (~hdggxin@2401:4900:88a9:6ec5:fd6a:959:46fd:f2a3) (Ping timeout: 245 seconds) |
| 2025-12-04 08:04:17 +0100 | hdggxin | (~hdggxin@2401:4900:88a9:bff0:be1a:791c:4871:3d3b) |
| 2025-12-04 08:05:23 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 08:07:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 08:10:09 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 265 seconds) |
| 2025-12-04 08:12:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 08:23:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 08:25:36 +0100 | ft | (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-04 08:25:48 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-04 08:26:29 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-12-04 08:28:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 08:30:31 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-04 08:37:04 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-04 08:39:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 08:39:40 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2025-12-04 08:40:16 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-04 08:41:20 +0100 | <iqubic> | Anyone know why cabal repl is being weird for me? |
| 2025-12-04 08:41:42 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-04 08:44:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 08:50:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 08:52:00 +0100 | <arahael> | iqubic: Nobody is going to know that without any context. |
| 2025-12-04 08:52:21 +0100 | <iqubic> | What kind of context will I need to provide? |
| 2025-12-04 08:52:32 +0100 | <iqubic> | I'm using GHC 9.12.3 |
| 2025-12-04 08:53:23 +0100 | <iqubic> | I'm also running NixOS, but I'm not sure that's the root cause here. |
| 2025-12-04 08:53:33 +0100 | <arahael> | Generally a good template is "I have this... I expected to see this... But got this..." |
| 2025-12-04 08:54:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 09:00:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 09:01:36 +0100 | <iqubic> | So, I have a project set up like this https://gist.github.com/IQubic/a9b2d200d368124993c30b4611151749. I have run cabal repl to start up a repl for my project. I can run ":m *Day04" to load Day04. When I make changes to Day04.hs, I then run :r to reload things. When I run the function part2, the repl is now calling the part2 function from Day01, instead of Day04. I'd expect it to be running the functions from Day04.hs, because I have |
| 2025-12-04 09:01:36 +0100 | <iqubic> | actually ever loaded Day01 in this repl. |
| 2025-12-04 09:02:00 +0100 | <iqubic> | https://gist.github.com/IQubic/ae3f1e0c3062ffd0a65035771dffdc90 |
| 2025-12-04 09:02:50 +0100 | mehbark | (~mehbark@user/mehbark) (Quit: insert leave message here) |
| 2025-12-04 09:03:49 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-04 09:04:01 +0100 | mehbark | (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-04 09:04:01 +0100 | mehbark | (~mehbark@user/mehbark) mehbark |
| 2025-12-04 09:06:33 +0100 | <iqubic> | Is the issue using a * in ":m *Day04"? |
| 2025-12-04 09:09:27 +0100 | <iqubic> | If I use ":m Day04", without the *, then run ":r", it seems to load both Day01 and Day04 for some reason. |