The verbatim mode has a HEREDOC-like syntax like \verb<<|blahblahblah<<, where << can be anything the user wants. Unfortunately, the parser (or the lexer?) crashes if you only write \verb<<| and haven't closed the verbatim span. This causes the language server to crash.
Something went wrong. Try again.
Something went wrong. Try again.
Lexer or parser crash while typing verbatim span #49
Closed
kento.tngl.sh
Closed opened by and assigned to
kento.tngl.sh
https://tangled.org/jonmsterling.com/ocaml-forester/commit/8a4fa526c4108db13a48eb7e6b1a9576af1c0693