mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
d5b5fe71c4
The lexing context uses a global reference. This patch ensures it is handled carefully for the lifetime of lexing a given file. Before that, very weird bugs could happen, for example when a file ended with an unclosed verbatim block, the parsing of module interfaces done later on would start in verbatim context and fail to parse e.g. module use definitions. The patch additionally adds checks and warns about unclosed blocks at EOF, which before that would be silently accepted (with the above pitfall). |
||
|---|---|---|
| .. | ||
| .ocamlformat-ignore | ||
| ast.ml | ||
| dune | ||
| fill_error_tokens.py | ||
| fill_positions.ml | ||
| fill_positions.mli | ||
| lexer_common.ml | ||
| lexer_common.mli | ||
| lexer_en.cppo.ml | ||
| lexer_en.mli | ||
| lexer_fr.cppo.ml | ||
| lexer_fr.mli | ||
| lexer_pl.cppo.ml | ||
| lexer_pl.mli | ||
| lexer.cppo.ml | ||
| parser_driver.ml | ||
| parser_driver.mli | ||
| parser_errors.mli | ||
| parser.messages | ||
| parser.mly | ||
| print.ml | ||
| print.mli | ||
| surface.mld | ||
| tokens.mly | ||