Chimrod e6053d2374 New tests and more typecheck před 5 měsíci
..
dead_end.ml 872916a566 Updated the tests před 1 rokem
dune c4fd300e0f Declared explicitaly the transitive depency před 8 měsíci
dup_cases.ml 371c5518fd Raise the message level from Warning to Error for duplicated predicates check před 8 měsíci
get_type.ml 89c1961376 Forgot the case where + is used as a concatenation operator před 5 měsíci
literals.ml 4ec7f0b73f Simplified the representation of expressions in strings před 1 rokem
location.ml 916d37b93c Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error před 9 měsíci
make_checkTest.ml 916d37b93c Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error před 9 měsíci
nested_string.ml 1e182dca29 Added a test před 1 rokem
qsp_parser_test.ml 89c1961376 Forgot the case where + is used as a concatenation operator před 5 měsíci
syntax.ml 916d37b93c Ignore the global checkers if there is a syntax error; ignore error during recovery after a syntax error před 9 měsíci
syntax_error.ml b7cc3a4f42 Handle syntax error in string escape mecamism před 7 měsíci
type_of.ml e6053d2374 New tests and more typecheck před 5 měsíci