Newest at the top
| 2025-11-30 23:04:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-30 23:00:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-30 22:58:57 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-30 22:58:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-30 22:54:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 22:50:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 22:46:55 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-30 22:44:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-30 22:44:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-30 22:39:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-30 22:36:16 +0100 | iqubic | (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) (Remote host closed the connection) |
| 2025-11-30 22:36:07 +0100 | <iqubic> | Thanks. |
| 2025-11-30 22:34:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 22:32:49 +0100 | <tomsmeding> | (I often do `:def R \_ -> Prelude.return ":r\n:m -Day01\n"` or similar so that I can :R and have ghci do the right thing) |
| 2025-11-30 22:30:20 +0100 | <tomsmeding> | then you can at least see what's up |
| 2025-11-30 22:30:15 +0100 | <tomsmeding> | this was default pre-GHC-9.0 but they changed it to "ghci> " |
| 2025-11-30 22:30:07 +0100 | <tomsmeding> | related tip: put `:set prompt "%s> " in your .ghci, then it shows you which modules you have in scope |
| 2025-11-30 22:30:02 +0100 | <iqubic> | It seems to be working now. |
| 2025-11-30 22:29:57 +0100 | <iqubic> | Thanks. This is for Advent of Code stuff. I'm just getting my development environment set up for this year. |
| 2025-11-30 22:29:43 +0100 | <tomsmeding> | I hate this behaviour and I have still not complained officially about it |
| 2025-11-30 22:29:16 +0100 | <tomsmeding> | You'll have to do :m *Day02 again, or :m -Day01, to get Day02 only |
| 2025-11-30 22:28:59 +0100 | <tomsmeding> | the problem is that :r adds the first module in the list in your cabal file to the scope if it isn't already there; this means, in your case, that if you do :m *Day02 and then :r, you'll have _both_ Day01 and Day02 in scope |
| 2025-11-30 22:28:43 +0100 | <iqubic> | thank you! |
| 2025-11-30 22:28:00 +0100 | <tomsmeding> | yes |
| 2025-11-30 22:27:51 +0100 | <iqubic> | Can I then use :r to reload the module when I make changes to Day01? |
| 2025-11-30 22:27:35 +0100 | trickard_ | trickard |
| 2025-11-30 22:27:26 +0100 | <iqubic> | Yeah, that works. |
| 2025-11-30 22:27:05 +0100 | <tomsmeding> | (or, if you don't care, disable the warning in ghci) |
| 2025-11-30 22:26:43 +0100 | <tomsmeding> | use :m *Day01 |
| 2025-11-30 22:26:40 +0100 | <tomsmeding> | at which point it's forgotten that you had those other-modules set, so you get the warning |
| 2025-11-30 22:26:23 +0100 | <tomsmeding> | iqubic: don't use :l, it throws away the environment that cabal set up for you and loads things from scratch again |
| 2025-11-30 22:26:13 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-30 22:25:43 +0100 | <iqubic> | https://dpaste.alwaysdata.org/jTztyJ0w |
| 2025-11-30 22:23:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 22:23:30 +0100 | <tomsmeding> | can you post the full output of `cabal repl`? |
| 2025-11-30 22:22:26 +0100 | <iqubic> | No. |
| 2025-11-30 22:22:02 +0100 | <tomsmeding> | does it work if you `cabal repl` in the terminal? |
| 2025-11-30 22:21:49 +0100 | <iqubic> | Via Emacs. I'm using Haskell-Mode to open the repl for me. |
| 2025-11-30 22:21:21 +0100 | <tomsmeding> | iqubic: how are you starting ghci? |
| 2025-11-30 22:20:29 +0100 | <yin> | namespace pollution, mostly |
| 2025-11-30 22:19:50 +0100 | <iqubic> | Why? |
| 2025-11-30 22:19:37 +0100 | <yin> | i hate Prelude -.- |
| 2025-11-30 22:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 22:18:58 +0100 | <iqubic> | I can't tell if this is a Nix thing or not. |
| 2025-11-30 22:18:33 +0100 | <iqubic> | https://gist.github.com/IQubic/ae3f1e0c3062ffd0a65035771dffdc90 |
| 2025-11-30 22:18:30 +0100 | <iqubic> | When I load up Day01 in GHCi I'm given an error. |
| 2025-11-30 22:17:42 +0100 | <iqubic> | I seem to be getting a weird "missing-home-modules" error in GHCi. |
| 2025-11-30 22:11:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 22:10:30 +0100 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-11-30 22:09:29 +0100 | bairyn | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 244 seconds) |