Newest at the top
| 2025-11-19 14:13:45 +0100 | trickard__ | trickard |
| 2025-11-19 14:09:49 +0100 | leosha | (~leoshatru@58.164.30.38) (Quit: leaving) |
| 2025-11-19 14:06:42 +0100 | <[exa]> | beverages! |
| 2025-11-19 14:06:33 +0100 | <[exa]> | oh great we improved on a long-awaited feature today |
| 2025-11-19 14:05:25 +0100 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-19 14:05:18 +0100 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-19 14:03:38 +0100 | <chromoblob> | years (but i haven't been writing much haskell that time) |
| 2025-11-19 14:03:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-19 14:02:30 +0100 | <[exa]> | chromoblob: how long tho |
| 2025-11-19 14:02:14 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 14:02:05 +0100 | <chromoblob> | [exa]: thank you!!! i waited for this |
| 2025-11-19 14:00:57 +0100 | <[exa]> | chromoblob: https://github.com/vim/vim/pull/18776 |
| 2025-11-19 13:57:14 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-19 13:54:41 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-11-19 13:54:19 +0100 | vardhan | (~vardhan@122.172.81.68) (Ping timeout: 264 seconds) |
| 2025-11-19 13:50:56 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-19 13:49:53 +0100 | <[exa]> | let's ask the devs I guess, we have a pull request day today anyway |
| 2025-11-19 13:49:07 +0100 | AlexNoo | (~AlexNoo@178.34.162.20) |
| 2025-11-19 13:47:16 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-19 13:46:54 +0100 | fp | (~Thunderbi@130.233.70.198) (Client Quit) |
| 2025-11-19 13:46:41 +0100 | <[exa]> | wonder what it breaks |
| 2025-11-19 13:46:26 +0100 | <[exa]> | lines 49 and 50, rules hsVarSym and hsConSym |
| 2025-11-19 13:46:24 +0100 | fp | (~Thunderbi@130.233.70.198) fp |
| 2025-11-19 13:46:05 +0100 | <[exa]> | chromoblob: ok so I just added ' *' to the 2 lines that match that in /usr/share/vim/.../syntax/haskell.vim and it seems to just work |
| 2025-11-19 13:43:24 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds) |
| 2025-11-19 13:42:07 +0100 | [exa] | . o O ( unsafePutSpacesIntoBackticks ) |
| 2025-11-19 13:41:38 +0100 | <chromoblob> | it's allowed!!! |
| 2025-11-19 13:41:25 +0100 | <[exa]> | who puts spaces in there? |
| 2025-11-19 13:41:24 +0100 | <chromoblob> | heh. |
| 2025-11-19 13:41:15 +0100 | <[exa]> | chromoblob: well, no :D |
| 2025-11-19 13:40:43 +0100 | <[exa]> | chromoblob: oh whew let me check :D |
| 2025-11-19 13:40:24 +0100 | <lambdabot> | $map_F g . p = q . f => $map_F k . x p = x q . h |
| 2025-11-19 13:40:24 +0100 | <Leary> | @free x :: (a -> F b) -> s -> F t |
| 2025-11-19 13:40:24 +0100 | <[exa]> | yin: btw after seeing what some of their parses look internally I decided to simply avoid tree-sitter :) |
| 2025-11-19 13:40:08 +0100 | <chromoblob> | has vim's haskell highlighter been fixed to allow space between ` and the identifier between `'s? |
| 2025-11-19 13:38:51 +0100 | <[exa]> | yin: I found this to be a pretty common tree-sitter issue, many language parsers are "supported" but completely underrepresented there, and their error recovery is shaky at best (and error recovery is VERY required for things their parsers don't manage to do, which in the very specific case of haskell is many things) |
| 2025-11-19 13:38:19 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-11-19 13:38:06 +0100 | <leosha> | lol |
| 2025-11-19 13:38:02 +0100 | <tomsmeding> | nice |
| 2025-11-19 13:37:59 +0100 | <lambdabot> | Plugin `free' failed with: src/Lambdabot/Plugin/Haskell/Free/Type.hs:(153,17)-(161,45): Non-exhaustive patterns in case |
| 2025-11-19 13:37:59 +0100 | <tomsmeding> | @free x :: (a -> f b) -> s -> f t |
| 2025-11-19 13:37:52 +0100 | <lambdabot> | free <ident>. Generate theorems for free |
| 2025-11-19 13:37:52 +0100 | <leosha> | @help free |
| 2025-11-19 13:37:47 +0100 | <lambdabot> | free <ident>. Generate theorems for free |
| 2025-11-19 13:37:46 +0100 | <tomsmeding> | @help free |
| 2025-11-19 13:37:44 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:44 +0100 | <tomsmeding> | @free x :: Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:35 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:35 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:23 +0100 | <lambdabot> | Extra stuff at end of line |