 Chimrod
|
2cad3abf18
Updated the type checker in a more precise way
|
11 місяців тому |
|
Chimrod
|
73e7e0ca6b
Updated the tests
|
11 місяців тому |
|
Chimrod
|
8101e3d393
Update the readme
|
11 місяців тому |
|
Chimrod
|
234ce9447f
Update documentation
|
11 місяців тому |
|
Chimrod
|
0b75cd5bc0
Used the dead-end checker in main analysis
|
11 місяців тому |
|
Chimrod
|
736456d995
New message for error
|
11 місяців тому |
|
Chimrod
|
ee2cddf734
Removed unused comment
|
11 місяців тому |
|
Chimrod
|
d1248cd0dd
Also used the new Check modulein the tests
|
11 місяців тому |
|
Chimrod
|
28981268a4
Applied this new way to check the errors in the main code
|
11 місяців тому |
|
Chimrod
|
b38bcd572d
New checker which operate accumulate differents other checkers
|
11 місяців тому |
|
Chimrod
|
f85abcb996
Used the type S.repr in Syntax/Location.t
|
11 місяців тому |
|
Chimrod
|
f135a5fcb6
Made the interface more parametrized
|
11 місяців тому |
|
Chimrod
|
4b47c572fc
Added an interface for the type_of syntax module
|
1 рік тому |
|
Chimrod
|
c2f87ff1e6
Made explicit the use of the report in the parser
|
1 рік тому |
|
Chimrod
|
a70c88bd72
Updated the common interface in order to require the report
|
1 рік тому |
|
Chimrod
|
7f2b8c0b9f
Made the report result explicit in parsing
|
1 рік тому |
|
Chimrod
|
5a18a66763
Switched the keyword from string to a sum type
|
1 рік тому |
|
Chimrod
|
49f69c1ab4
New analyzer for the dead end
|
1 рік тому |
|
Chimrod
|
8ec89159f8
Added default syntax implementation
|
1 рік тому |
|
Chimrod
|
a7e382aa2b
New errors reported
|
11 місяців тому |
|
Chimrod
|
617d2ee554
Added a new error case
|
11 місяців тому |
|
Chimrod
|
7ff1e525b3
Added the error message in case of unclosed quote in a text
|
1 рік тому |
|
Chimrod
|
97ab5c9a21
Moved qparser and syntax in the library folder
|
1 рік тому |
|
Chimrod
|
40f4dbe784
Two new error messages
|
1 рік тому |
|
Chimrod
|
002ec21cce
Added a new error message
|
1 рік тому |
|
Chimrod
|
2602e44427
Variable shallowing made me lost somes errors. Should be better now
|
1 рік тому |
|
Chimrod
|
e8b746742f
Update the compilation rule for git hash inclusion
|
1 рік тому |
|
Chimrod
|
ea509dd21e
Added a small report indicating the number of errors and warning
|
1 рік тому |
|
Chimrod
|
c7683b81be
Handle the case where no args are given
|
1 рік тому |
|
Chimrod
|
f21a7b0552
In windows, do not ask the user before terminating
|
1 рік тому |
