Newest at the top
| 2025-11-24 16:03:46 +0100 | <kuribas> | groupBy in idris uses List1 |
| 2025-11-24 16:03:34 +0100 | <haskellbridge> | <Morj> I find that NonEmpty is fine when you're inside the ecosystem that's more abstract over it's data types. A lot of functions take a list instead of a traversable. I find the pain slightly smaller with mono-traversable and everything that uses it |
| 2025-11-24 16:02:44 +0100 | fp | (~Thunderbi@130.233.70.108) (Read error: Connection reset by peer) |
| 2025-11-24 16:02:35 +0100 | <Leary> | It's not a solution to every non-empty list problem, but it /is/ a solution to giving `groupBy` a good signature. |
| 2025-11-24 16:02:22 +0100 | fp | (~Thunderbi@130.233.70.108) fp |
| 2025-11-24 16:02:08 +0100 | <Leary> | `x:|xs` has no more constructors/expense than `x:xs`. |
| 2025-11-24 16:01:55 +0100 | <geekosaur> | imo NonEmpty isn't a solution, it's an ugly hack around Haskell missing that aspect of dependent types |
| 2025-11-24 16:01:04 +0100 | <geekosaur> | well, yes, if you can use NonEmoty then it's not a problem. but I find NonEmpty somewhat annoying and sometimes a bit expensive since it's adding constructors that are pointless at runtime |
| 2025-11-24 16:01:01 +0100 | <haskellbridge> | <Morj> 2. You can use a partial function like "fromJust . uncons" |
| 2025-11-24 16:00:23 +0100 | <geekosaur> | (this is why uni-patterns is a separate warning) |
| 2025-11-24 16:00:19 +0100 | <Leary> | kuribas: Use `Data.List.NonEmpty.groupBy`. |
| 2025-11-24 16:00:04 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-24 15:59:57 +0100 | <kuribas> | well, lambdacase |
| 2025-11-24 15:59:55 +0100 | <haskellbridge> | <Morj> 1. Refactor all your code to put NonEmpty there ;-) |
| 2025-11-24 15:59:48 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-24 15:59:48 +0100 | <kuribas> | It's nice to have, but not here. |
| 2025-11-24 15:59:45 +0100 | <geekosaur> | since there's no way to add the other case even if it mattered |
| 2025-11-24 15:59:34 +0100 | <geekosaur> | best you can do is -Wno-incomplete-uni-patterns, I think |
| 2025-11-24 15:55:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 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) |