 Chimrod
|
baa258ac91
New test for duplicates evalutations in the code
|
7 tháng trước cách đây |
|
Chimrod
|
141db07840
Added eq and hash functions in the Ast.Expression
|
7 tháng trước cách đây |
|
Chimrod
|
6fd720c07e
Added a general context for each test
|
9 tháng trước cách đây |
|
Chimrod
|
4ec7f0b73f
Simplified the representation of expressions in strings
|
11 tháng trước cách đây |
|
Chimrod
|
77ae152ece
Updated the interface
|
1 năm trước cách đây |
|
Chimrod
|
ee2cddf734
Removed unused comment
|
1 năm trước cách đây |
|
Chimrod
|
f85abcb996
Used the type S.repr in Syntax/Location.t
|
1 năm trước cách đây |
|
Chimrod
|
c2f87ff1e6
Made explicit the use of the report in the parser
|
1 năm trước cách đây |
|
Chimrod
|
a70c88bd72
Updated the common interface in order to require the report
|
1 năm trước cách đây |
|
Chimrod
|
5a18a66763
Switched the keyword from string to a sum type
|
1 năm trước cách đây |
|
Chimrod
|
97ab5c9a21
Moved qparser and syntax in the library folder
|
1 năm trước cách đây |
