Newest at the top
| 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 +0100 | merijn | (~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 +0100 | merijn | (~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 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-09 19:43:48 +0100 | s4msung | (~s4msung@user/s4msung) (Ping timeout: 265 seconds) |
| 2025-01-09 19:41:52 +0100 | noctuks | (mBZ68nSsKe@user/noctux) (Ping timeout: 265 seconds) |
| 2025-01-09 19:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 19:35:27 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-09 19:35:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-09 19:34:03 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-09 19:32:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 19:30:06 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-09 19:28:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 19:26:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-09 19:25:48 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-01-09 19:24:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 19:22:42 +0100 | housemate | (~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 19:20:30 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2025-01-09 19:14:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 19:14:07 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-09 19:11:26 +0100 | jespada | (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 19:08:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-09 19:08:01 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-09 19:07:05 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-01-09 19:06:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-09 19:02:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-09 19:00:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 18:58:36 +0100 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2025-01-09 18:53:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 18:46:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) |
| 2025-01-09 18:44:11 +0100 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-01-09 18:44:04 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-01-09 18:41:05 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f445c3b9e2aa830e6c1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-09 18:35:30 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |