Newest at the top
| 2025-11-24 15:54:34 +0100 | <kuribas> | well, warning. |
| 2025-11-24 15:54:28 +0100 | <kuribas> | Empty list is impossible here. |
| 2025-11-24 15:54:16 +0100 | <kuribas> | If I do map (\(x:xs) -> ...) $ groupBy .., how do I avoid the exhaustive error? |
| 2025-11-24 15:53:39 +0100 | <kuribas> | ok, it works now. |
| 2025-11-24 15:52:25 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-24 15:49:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-11-24 15:49:29 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-11-24 15:49:11 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-11-24 15:48:08 +0100 | <kuribas> | hmm, I can try that |
| 2025-11-24 15:47:52 +0100 | <haskellbridge> | <Morj> Some time ago stack also added ghcup integration instead of using its own packages, but I'm not sure how it works |
| 2025-11-24 15:47:21 +0100 | <haskellbridge> | <Morj> I prefer to always set system-ghc: true in stack to prevent that |
| 2025-11-24 15:46:38 +0100 | <kuribas> | Ah, I think stack is fixing this ghc... |
| 2025-11-24 15:46:16 +0100 | <haskellbridge> | <Morj> Sorry, I'm not familiar with emacs, so I'm doing first-line help advice here |
| 2025-11-24 15:46:12 +0100 | <kuribas> | hmm, there is a .stack-work with ghc-8.10.7 |
| 2025-11-24 15:45:41 +0100 | <haskellbridge> | <Morj> It might be modified by nix, direnv or your lsp plugin |
| 2025-11-24 15:44:55 +0100 | <kuribas> | But path is the same in both projects? |
| 2025-11-24 15:44:24 +0100 | <haskellbridge> | <Morj> Did you rule out the obvious problems with PATH already, it picking up a different version of hls and/or ghc? |
| 2025-11-24 15:43:28 +0100 | <kuribas> | It works in another project. |
| 2025-11-24 15:43:19 +0100 | <kuribas> | In emacs-lsp |
| 2025-11-24 15:43:09 +0100 | <kuribas> | Why do I get "Failed to find a HLS version for GHC 8.10.7" |
| 2025-11-24 15:41:07 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-24 15:31:20 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-24 15:30:06 +0100 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-11-24 15:30:05 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 250 seconds) |
| 2025-11-24 15:26:31 +0100 | Googulator | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-24 15:25:21 +0100 | Googulator49 | (~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-24 15:11:25 +0100 | trickard_ | trickard |
| 2025-11-24 15:03:53 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-24 15:02:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-11-24 14:50:11 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-11-24 14:47:30 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-24 14:38:33 +0100 | fp | (~Thunderbi@wireless-86-50-141-141.open.aalto.fi) fp |
| 2025-11-24 14:36:15 +0100 | fp | (~Thunderbi@130.233.70.108) (Ping timeout: 240 seconds) |
| 2025-11-24 14:29:43 +0100 | fp | (~Thunderbi@130.233.70.108) fp |
| 2025-11-24 14:23:29 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-24 14:22:31 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-24 14:01:55 +0100 | trickard_ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
| 2025-11-24 14:01:41 +0100 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-24 13:56:11 +0100 | <younder> | https://paste.tomsmeding.com/LhOsIzUc |
| 2025-11-24 13:53:08 +0100 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-11-24 13:48:17 +0100 | younder | (~user@105.79-161-59.customer.lyse.net) |
| 2025-11-24 13:46:05 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-24 13:41:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-24 13:34:51 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-24 13:27:45 +0100 | trickard__ | trickard |
| 2025-11-24 13:23:22 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-11-24 13:19:08 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-11-24 13:16:14 +0100 | qqe | (~qqq@185.54.21.174) |
| 2025-11-24 13:12:37 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-24 13:06:48 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |