Lesenechal Remi
|
f7d6a5ea58
|
allow to catch failwith's in our tests
|
2019-11-19 15:38:23 +01:00 |
|
Suzanne Dupéron
|
735bd8e668
|
Implementing subst over the AST
|
2019-10-29 01:55:53 -04:00 |
|
Suzanne Dupéron
|
dcf5a975d4
|
More of subst
|
2019-10-28 01:10:26 -04:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Suzanne Dupéron
|
4fa54dd2c1
|
More progress on merging new typer and new dev
|
2019-10-10 01:23:55 -04:00 |
|
Lesenechal Remi
|
4e333836cb
|
ignore closure error in subexpression of argument
|
2019-10-03 15:36:06 +02:00 |
|
Lesenechal Remi
|
a7565145d5
|
add map_expression function in self_mini_c pass helpers
|
2019-10-02 18:31:15 +02:00 |
|
Georges Dupéron
|
2b5b23f266
|
WIP: fixing the build errors + missing non-merged code
|
2019-09-29 18:25:02 -04:00 |
|
Pierre-Emmanuel Wulfman
|
f657c71753
|
Merge done and repo build with no error
|
2019-09-27 14:55:09 +02:00 |
|
Lesenechal Remi
|
25e3ab8e5d
|
big map can be looked up
|
2019-09-20 21:33:14 +02:00 |
|
galfour
|
af588933f4
|
add closures
|
2019-08-21 10:28:27 +02:00 |
|
Galfour
|
6e3209fa4f
|
add manual tests; change display of errors; minor refactorings
|
2019-06-28 12:05:04 +00:00 |
|
Georges Dupéron
|
0af274a3a4
|
Tutorial for the trace monad, bind operator (>>?) and ppx_let
|
2019-06-12 01:50:26 +02:00 |
|
Georges Dupéron
|
e0228f352c
|
fix build (my bad)
|
2019-06-05 14:26:01 +02:00 |
|
Georges Dupéron
|
24db060dae
|
Use internal_assertion_fail instead of the simple_error that are just assertions
|
2019-06-05 11:38:59 +02:00 |
|
Galfour
|
0e17e8b274
|
minor fixes
|
2019-06-03 12:23:46 +00:00 |
|
Galfour
|
8c81432281
|
modify trace; oldify multifix
|
2019-06-03 10:33:13 +00:00 |
|
Galfour
|
6febd855c4
|
fix ligodity; add it to the bin; add source locations; merge
|
2019-06-01 11:29:31 +00:00 |
|
Galfour
|
320d0c1a72
|
various refactorings to prepare tests; tests for ligodity don't pass
|
2019-05-31 19:56:51 +00:00 |
|
Galfour
|
50868302c6
|
minor rewriting; add docs
|
2019-05-28 10:46:22 +00:00 |
|
Georges Dupéron
|
7c8c6515b8
|
move before merging repositories
|
2019-05-27 11:08:26 +02:00 |
|