Newest at the top
| 2025-11-30 23:35:47 +0100 | Googulator60 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-30 23:35:41 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-30 23:35:31 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-30 23:34:43 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-30 23:30:31 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-11-30 23:30:02 +0100 | <hololeap> | right on |
| 2025-11-30 23:28:57 +0100 | <Leary> | hololeap, [exa]: X is witness to P if the existence of X proves P. The most familiar kind of witness is the counterexample, which witnesses the negation of a universal statement. |
| 2025-11-30 23:25:30 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-30 23:25:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 23:25:13 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-30 23:25:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5005:5ee4:6658:fef3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-30 23:24:10 +0100 | iqubic | (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) iqubic |
| 2025-11-30 23:23:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-30 23:22:42 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-30 23:21:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 2025-11-30 23:21:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-30 23:21:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-30 23:19:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-30 23:17:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-11-30 23:10:55 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-30 23:09:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-30 23:08:20 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-30 23:05:59 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.0) |
| 2025-11-30 23:05:44 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-30 23:05:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-30 23:05:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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 |