Newest at the top
2025-10-20 22:28:47 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
2025-10-20 22:28:32 +0200 | <chromoblob> | DeepSeek stole its name from Haskell's DeepSeq |
2025-10-20 22:27:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
2025-10-20 22:26:56 +0200 | AlexZenon | (~alzenon@85.174.182.163) |
2025-10-20 22:26:26 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-20 22:22:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-10-20 22:21:13 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-20 22:20:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-10-20 22:18:41 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
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 |