| .. |
|
definitions.ml
|
Implement the rest
|
2023-05-26 16:54:52 +02:00 |
|
dune
|
Fusion of all optimizations done correctly
|
2023-04-21 12:32:09 +02:00 |
|
expr.ml
|
Abstract messages interface
|
2023-06-02 10:50:29 +02:00 |
|
expr.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
interpreter.ml
|
All renamings done, on with actual refactor
|
2023-06-02 10:50:33 +02:00 |
|
interpreter.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
operator.ml
|
Abstract messages interface
|
2023-06-02 10:50:29 +02:00 |
|
operator.mli
|
Rework and normalise the Marked interface
|
2023-05-17 17:37:00 +02:00 |
|
optimizations.ml
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
optimizations.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
print.ml
|
Rework and normalise the Marked interface
|
2023-05-17 17:37:00 +02:00 |
|
print.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
program.ml
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
program.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
scope.ml
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
scope.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
shared_ast.ml
|
Generalized optimizations
|
2023-04-21 11:56:07 +02:00 |
|
shared_ast.mld
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
type.ml
|
Rework and normalise the Marked interface
|
2023-05-17 17:37:00 +02:00 |
|
type.mli
|
- [x] shared_ast
|
2023-02-20 15:57:42 +01:00 |
|
typing.ml
|
All renamings done, on with actual refactor
|
2023-06-02 10:50:33 +02:00 |
|
typing.mli
|
Improve integration of marks into the main AST
|
2023-05-17 17:37:00 +02:00 |
|
var.ml
|
Generic mapping function across different ASTs
|
2023-03-30 18:57:51 +02:00 |
|
var.mli
|
Generic mapping function across different ASTs
|
2023-03-30 18:57:51 +02:00 |
