.. |
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 |