Newest at the top
| 2025-10-20 22:15:38 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 22:15:37 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 22:15:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-20 22:15:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-20 22:13:49 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
| 2025-10-20 22:10:02 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2025-10-20 22:08:28 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-20 22:04:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-20 21:59:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-20 21:54:37 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 21:54:22 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 21:53:29 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-20 21:49:41 +0200 | AlexZenon | (~alzenon@85.174.182.163) (Ping timeout: 256 seconds) |
| 2025-10-20 21:48:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-20 21:43:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-20 21:40:06 +0200 | mastarija | (~mastarija@89-164-108-176.dsl.iskon.hr) (Quit: Client closed) |
| 2025-10-20 21:39:28 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-20 21:34:54 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-20 21:34:45 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-20 21:32:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-20 21:30:34 +0200 | <tccq> | hmm. Maybe I will drop the lsp part and just try to configure haskell-mode better. Probably with htags and dabbrev I should be set |
| 2025-10-20 21:27:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-20 21:27:02 +0200 | <monochrom> | No. |
| 2025-10-20 21:26:55 +0200 | <tccq> | do you get jump to def for prelude or standard packages? |
| 2025-10-20 21:26:04 +0200 | <monochrom> | I can fetch types, global and local. |
| 2025-10-20 21:26:03 +0200 | Googulator7 | (~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 21:25:42 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 21:25:35 +0200 | <bwe> | probie: wow, didn't think that this would be possible. |
| 2025-10-20 21:25:28 +0200 | trickard_ | trickard |
| 2025-10-20 21:25:18 +0200 | <monochrom> | err, I haven't needed completion for locals. |
| 2025-10-20 21:24:58 +0200 | <monochrom> | I haven't needed jump-to-def for locals, so haskell-mode suffices for me. |
| 2025-10-20 21:24:58 +0200 | <bwe> | EvanR: No, I haven't looked how json value -> application type parser are done yet. But will do. |
| 2025-10-20 21:21:44 +0200 | <tccq> | people's setups? |
| 2025-10-20 21:21:44 +0200 | <tccq> | Are there decent solutions for jump-to-def and complete symbol names in emacs these days? haskell-mode is good and I like C-c C-c for compilation but the completion doesn't work for locals as far as I can tell. Also even with hls+eglot, jump to def doesn't work for anything outside the current project. I assume that's for lack of source files for system libs? But not even being able to fetch the type seems somewhat harsh. What are |
| 2025-10-20 21:19:10 +0200 | tccq | (~user@user/tccq) tccq |
| 2025-10-20 21:17:06 +0200 | <haskellbridge> | <loonycyborg> Even DataKinds on its own is pretty powerful though |
| 2025-10-20 21:17:00 +0200 | <mastarija> | Hm... I guess I've mixed that up with Symbol |
| 2025-10-20 21:16:41 +0200 | <haskellbridge> | <loonycyborg> like Natural and Symbol |
| 2025-10-20 21:16:36 +0200 | <haskellbridge> | <loonycyborg> and some supporting modules |
| 2025-10-20 21:16:34 +0200 | <haskellbridge> | <loonycyborg> Only DataKinds |
| 2025-10-20 21:16:24 +0200 | <tomsmeding> | there's some basic stuff for Nats, but I don't recall anything for lists |
| 2025-10-20 21:16:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-20 21:16:16 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-20 21:16:08 +0200 | <mastarija> | I feel like there was something. |
| 2025-10-20 21:16:07 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-20 21:16:00 +0200 | <mastarija> | Does anyone know if there are any utilities in the `base` package for working with type level lists? e.g. Concat type family? |
| 2025-10-20 21:14:23 +0200 | <probie> | bwe: cobbled together, but if all the fields are `Maybe`, you can do this with generics https://play.haskell.org/saved/T08yEkzo |
| 2025-10-20 21:13:20 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-20 21:12:07 +0200 | <EvanR> | the above parser only yields a Coord if the x and y fields exist and parse into Doubles |
| 2025-10-20 21:10:23 +0200 | <EvanR> | or a more involved parser if there are non trivial requirements on the json |