Newest at the top
| 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 |
| 2025-11-19 13:37:23 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:13 +0100 | <lambdabot> | Extra stuff at end of line |
| 2025-11-19 13:37:13 +0100 | <leosha> | @free x :: forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:37:00 +0100 | <lambdabot> | Try `free <ident>` or `free <ident> :: <type>` |
| 2025-11-19 13:37:00 +0100 | <leosha> | @free forall f. Functor f => (a -> f b) -> s -> f t |
| 2025-11-19 13:36:49 +0100 | <lambdabot> | x = x |
| 2025-11-19 13:36:49 +0100 | <leosha> | @free x :: Int |
| 2025-11-19 13:36:40 +0100 | leosha | (~leoshatru@58.164.30.38) |
| 2025-11-19 13:36:33 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) |
| 2025-11-19 13:35:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8d4:6354:928b:6095) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-19 13:34:28 +0100 | <[exa]> | so, well, let's see if that crashes the wasm runner. :D |
| 2025-11-19 13:34:15 +0100 | <[exa]> | probie: oh whops I missed that, thanks! |
| 2025-11-19 13:33:04 +0100 | <probie> | tomsmeding: sorry, that wasn't really a question, that was meant to be in response to [exa]'s question (re: global state in wasm) |
| 2025-11-19 13:32:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-19 13:31:44 +0100 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-11-19 13:24:40 +0100 | <haskellbridge> | <Morj> They changed it since then |
| 2025-11-19 13:24:25 +0100 | <haskellbridge> | <Morj> The biggest sillyness was zig, that on their official docs highlighted all identifiers in yellow. But everything is an identifier! So all the code was yellow on grey |
| 2025-11-19 13:24:09 +0100 | driib318 | (~driib@176.57.184.141) (Ping timeout: 265 seconds) |