Logs: liberachat/#haskell
| 2025-12-04 05:20:32 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-04 05:22:37 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-04 05:23:20 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 05:24:13 | → | sp1ff joins (~user@2601:1c2:4c00:6820::e122) |
| 2025-12-04 05:25:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 05:27:55 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 244 seconds) |
| 2025-12-04 05:29:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 05:30:44 | <iqubic> | Hmm... cabal repl is doing weird things for me. |
| 2025-12-04 05:35:05 | <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 05:35:51 | <iqubic> | All the Day* files have their own `part1 :: String -> Int` and `part2 :: String -> Int` functions. |
| 2025-12-04 05:36:26 | <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 05:37:16 | <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 05:37:21 | <iqubic> | What the hell?!?!? |
| 2025-12-04 05:41:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 05:41:19 | <iqubic> | Here's my cabal repl output: https://dpaste.alwaysdata.org/3r1Wpc4o |
| 2025-12-04 05:43:01 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-12-04 05:45:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 05:47:38 | <koala_man> | wild |
| 2025-12-04 05:55:14 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 2025-12-04 05:56:15 | × | hdggxin quits (~hdggxin@223.181.46.243) (Ping timeout: 250 seconds) |
| 2025-12-04 05:56:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 05:57:32 | <iqubic> | Why is cabal repl / GHCi doing weird things here? |
| 2025-12-04 05:59:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-04 06:00:19 | → | Square joins (~Square@user/square) |
| 2025-12-04 06:01:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-04 06:03:00 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-04 06:04:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-04 06:07:06 | → | hdggxin joins (~hdggxin@2401:4900:88a9:6ec5:fd6a:959:46fd:f2a3) |
| 2025-12-04 06:10:32 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-04 06:12:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 06:12:45 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-04 06:14:29 | → | dfg joins (~dfg@user/dfg) |
| 2025-12-04 06:14:36 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-04 06:14:55 | × | dysfigured quits (~dfg@50.116.28.89) (Ping timeout: 240 seconds) |
| 2025-12-04 06:17:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-04 06:28:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 06:33:04 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-04 06:33:05 | → | Enrico63 joins (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) |
| 2025-12-04 06:35:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-04 06:39:41 | <jreicher> | sprout: are there other languages like Egel? (untyped, pure functional) |
| 2025-12-04 06:40:15 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-04 06:41:45 | × | Enrico63 quits (~Enrico63@host-212-171-79-170.pool212171.interbusiness.it) (Quit: Client closed) |
| 2025-12-04 06:45:52 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 06:46:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 06:48:31 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-04 06:51:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 06:51:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 06:52:39 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 260 seconds) |
| 2025-12-04 06:53:13 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-04 06:55:32 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-12-04 06:56:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 06:58:29 | × | mikess quits (~sam@user/mikess) (Ping timeout: 260 seconds) |
| 2025-12-04 06:59:11 | → | arahael joins (~wetfoot@user/arahael) |
| 2025-12-04 07:00:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-04 07:01:10 | × | hdggxin quits (~hdggxin@2401:4900:88a9:6ec5:fd6a:959:46fd:f2a3) (Ping timeout: 245 seconds) |
| 2025-12-04 07:04:17 | → | hdggxin joins (~hdggxin@2401:4900:88a9:bff0:be1a:791c:4871:3d3b) |
| 2025-12-04 07:05:23 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 07:07:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 07:10:09 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 265 seconds) |
| 2025-12-04 07:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 07:23:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 07:25:36 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-04 07:25:48 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-04 07:26:29 | → | Square2 joins (~Square4@user/square) |
| 2025-12-04 07:28:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 07:30:31 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-04 07:37:04 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-04 07:39:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 07:39:40 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2025-12-04 07:40:16 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-12-04 07:41:20 | <iqubic> | Anyone know why cabal repl is being weird for me? |
| 2025-12-04 07:41:42 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-04 07:44:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 07:50:28 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 07:52:00 | <arahael> | iqubic: Nobody is going to know that without any context. |
| 2025-12-04 07:52:21 | <iqubic> | What kind of context will I need to provide? |
| 2025-12-04 07:52:32 | <iqubic> | I'm using GHC 9.12.3 |
| 2025-12-04 07:53:23 | <iqubic> | I'm also running NixOS, but I'm not sure that's the root cause here. |
| 2025-12-04 07:53:33 | <arahael> | Generally a good template is "I have this... I expected to see this... But got this..." |
| 2025-12-04 07:54:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 08:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 08:01:36 | <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 08:01:36 | <iqubic> | actually ever loaded Day01 in this repl. |
| 2025-12-04 08:02:00 | <iqubic> | https://gist.github.com/IQubic/ae3f1e0c3062ffd0a65035771dffdc90 |
| 2025-12-04 08:02:50 | × | mehbark quits (~mehbark@user/mehbark) (Quit: insert leave message here) |
| 2025-12-04 08:03:49 | → | mehbark joins (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-04 08:04:01 | × | mehbark quits (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-04 08:04:01 | → | mehbark joins (~mehbark@user/mehbark) |
| 2025-12-04 08:06:33 | <iqubic> | Is the issue using a * in ":m *Day04"? |
| 2025-12-04 08:09:27 | <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 08:10:36 | <iqubic> | https://dpaste.alwaysdata.org/y9NWyXCq |
| 2025-12-04 08:10:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 08:10:48 | <iqubic> | Why is Day01 added automatically??!!? |
| 2025-12-04 08:17:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-04 08:20:34 | → | jreicher joins (~user@user/jreicher) |
| 2025-12-04 08:24:26 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-04 08:27:48 | × | annamalai quits (~annamalai@157.32.222.111) (Ping timeout: 252 seconds) |
| 2025-12-04 08:28:16 | <sprout> | jreicher: yes, there are other untyped functional languages. many even, it's a favorite for plt people to implement |
| 2025-12-04 08:28:38 | <sprout> | jreicher: most notorious is lisp of course |
| 2025-12-04 08:28:56 | <sprout> | well, you know that one I guess |
All times are in UTC.