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