2025/01/09

Newest at the top

2025-01-09 20:08:19 +0100acidjnk_new(~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-01-09 20:05:59 +0100saulosilva(~saulosilv@181.216.220.21) saulosilva
2025-01-09 20:05:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 20:04:06 +0100P1RATEZ(~piratez@user/p1ratez) P1RATEZ
2025-01-09 19:56:56 +0100 <euouae> and then ghcup took me down to 3.1.1
2025-01-09 19:56:46 +0100 <euouae> I had an older `stack upgrade` before I went with ghcup (I had forgotten) so it bumped me on to 3.3.1
2025-01-09 19:56:32 +0100 <euouae> ah you're genius mauke
2025-01-09 19:55:48 +0100 <euouae> maybe, let me check
2025-01-09 19:55:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-09 19:55:20 +0100 <mauke> oh, are you editing a project that specifies ghc 9.8.4 (maybe indirectly, through a stackage resolver or base version)?
2025-01-09 19:55:13 +0100 <euouae> I'm not sure what that is about mauke.
2025-01-09 19:54:47 +0100 <mauke> huh, why is emacs looking for 9.8.4, then
2025-01-09 19:54:19 +0100 <euouae> yes
2025-01-09 19:54:18 +0100 <euouae> mauke
2025-01-09 19:54:01 +0100 <mauke> does it list "✔✔ ghc 9.4.8 recommended,base-4.17.2.1 hls-powered"?
2025-01-09 19:53:59 +0100 <cheater> is anyone rewriting ghc in rust
2025-01-09 19:53:54 +0100 <cheater> hello
2025-01-09 19:53:24 +0100 <euouae> I set my $PATH in .profile to source ~/.ghcup/env
2025-01-09 19:53:04 +0100 <enikar> PATH issue?
2025-01-09 19:50:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 19:47:07 +0100 <euouae> I don't understand this error. ghcup list says my hls is 2.9.0.1 'latest,recommended'.
2025-01-09 19:45:46 +0100 <euouae> On Emacs I've tried to use lsp, lsp-haskell & haskell-mode all together but I get: "Executable names we failed to find: haskell-language-server-9.8.4,haskell-language-server"
2025-01-09 19:45:34 +0100 <euouae> Hello, on debian I installed everything with ghcup and set it at recommended versions.
2025-01-09 19:45:17 +0100euouae(~euouae@user/euouae) euouae
2025-01-09 19:43:48 +0100s4msung(~s4msung@user/s4msung) (Ping timeout: 265 seconds)
2025-01-09 19:41:52 +0100noctuks(mBZ68nSsKe@user/noctux) (Ping timeout: 265 seconds)
2025-01-09 19:39:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-09 19:35:27 +0100Lord_of_Life_Lord_of_Life
2025-01-09 19:35:01 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-01-09 19:34:03 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-01-09 19:32:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 19:30:06 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-09 19:28:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-09 19:26:27 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-09 19:25:48 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-01-09 19:24:08 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-09 19:22:42 +0100housemate(~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) housemate
2025-01-09 19:20:30 +0100mari-estel(~mari-este@user/mari-estel) ()
2025-01-09 19:14:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-09 19:14:07 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-01-09 19:11:26 +0100jespada(~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-01-09 19:08:39 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-01-09 19:08:01 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-09 19:07:05 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2025-01-09 19:06:21 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-09 19:02:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-09 19:00:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-09 18:58:36 +0100oo_miguel(~Thunderbi@78.10.206.35) (Quit: oo_miguel)
2025-01-09 18:53:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 18:46:33 +0100acidjnk_new(~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de)