2025/12/04

Newest at the top

2025-12-04 09:33:08 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287)
2025-12-04 09:31:37 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-12-04 09:31:18 +0100 <haskellbridge> <iqubic (she/her)> Nix is good.
2025-12-04 09:31:17 +0100 <haskellbridge> <iqubic (she/her)> Yeah. Nix
2025-12-04 09:31:07 +0100 <sprout> https://nix.dev/tutorials/nix-language
2025-12-04 09:30:45 +0100edmedmerry
2025-12-04 09:30:23 +0100 <sprout> nix
2025-12-04 09:29:22 +0100 <sprout> wasn't there some package manager language lazy, untyped, functional?
2025-12-04 09:28:56 +0100 <sprout> well, you know that one I guess
2025-12-04 09:28:38 +0100 <sprout> jreicher: most notorious is lisp of course
2025-12-04 09:28:16 +0100 <sprout> jreicher: yes, there are other untyped functional languages. many even, it's a favorite for plt people to implement
2025-12-04 09:27:48 +0100annamalai(~annamalai@157.32.222.111) (Ping timeout: 252 seconds)
2025-12-04 09:24:26 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-04 09:20:34 +0100jreicher(~user@user/jreicher) jreicher
2025-12-04 09:17:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-04 09:10:48 +0100 <iqubic> Why is Day01 added automatically??!!?
2025-12-04 09:10:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 09:10:36 +0100 <iqubic> https://dpaste.alwaysdata.org/y9NWyXCq
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.
2025-12-04 09:06:33 +0100 <iqubic> Is the issue using a * in ":m *Day04"?
2025-12-04 09:04:01 +0100mehbark(~mehbark@user/mehbark) mehbark
2025-12-04 09:04:01 +0100mehbark(~mehbark@joey.luug.ece.vt.edu) (Changing host)
2025-12-04 09:03:49 +0100mehbark(~mehbark@joey.luug.ece.vt.edu)
2025-12-04 09:02:50 +0100mehbark(~mehbark@user/mehbark) (Quit: insert leave message here)
2025-12-04 09:02:00 +0100 <iqubic> https://gist.github.com/IQubic/ae3f1e0c3062ffd0a65035771dffdc90
2025-12-04 09:01:36 +0100 <iqubic> actually ever loaded Day01 in this repl.
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:00:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-04 08:54:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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:53:23 +0100 <iqubic> I'm also running NixOS, but I'm not sure that's the root cause here.
2025-12-04 08:52:32 +0100 <iqubic> I'm using GHC 9.12.3
2025-12-04 08:52:21 +0100 <iqubic> What kind of context will I need to provide?
2025-12-04 08:52:00 +0100 <arahael> iqubic: Nobody is going to know that without any context.
2025-12-04 08:50:28 +0100tromp(~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e)
2025-12-04 08:44:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-04 08:41:42 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-12-04 08:41:20 +0100 <iqubic> Anyone know why cabal repl is being weird for me?
2025-12-04 08:40:16 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-12-04 08:39:40 +0100divlamir(~divlamir@user/divlamir) (Ping timeout: 244 seconds)
2025-12-04 08:39:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 08:37:04 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds)
2025-12-04 08:30:31 +0100Square(~Square@user/square) (Ping timeout: 240 seconds)
2025-12-04 08:28:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-04 08:26:29 +0100Square2(~Square4@user/square) Square
2025-12-04 08:25:48 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-04 08:25:36 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving)
2025-12-04 08:23:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-12-04 08:12:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-04 08:10:09 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 265 seconds)