Suzanne Dupéron e5acdc4228 All typer errors in ast_typed/misc.ml are covered it seems.

2019-12-19 17:27:17 +00:00

..

bin

All typer errors in ast_typed/misc.ml are covered it seems.

2019-12-19 17:27:17 +00:00

main

Kill warning 45 by reusing Pervasives.result for Trace

2019-12-18 21:20:35 +00:00

passes

Small improvements to negative typer tests

2019-12-19 17:27:17 +00:00

stages

All typer errors in ast_typed/misc.ml are covered it seems.

2019-12-19 17:27:17 +00:00

test

All typer errors in ast_typed/misc.ml are covered it seems.

2019-12-19 17:27:17 +00:00

union_find

Use runtest to run tests

2019-11-21 12:28:38 -06:00

.gitignore

Added tests to build, fixed some unused variables.

2019-05-15 15:17:04 +02:00

dune

more refactoring

2019-09-10 12:42:49 +02:00

ligo.ml

Move into src/; add vendors/ subfolder, add CI script.

2019-05-14 17:53:44 +02:00