Pierre-Emmanuel Wulfman 2c62f9d32e remove match_bool from the ast

2020-04-30 09:39:49 +02:00

..

dune

Add bool in default environment

2020-04-29 19:31:37 +02:00

errors.ml

add srcloc for types

2020-04-15 17:38:42 +02:00

PP.ml

moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind)

2020-04-29 21:32:50 +01:00

solver.ml

Fix in new typer: propagator for break_ctor was too permissive

2020-04-29 21:33:07 +01:00

todo_use_fold_generator.ml

Add bool in default environment

2020-04-29 19:31:37 +02:00

typer_new.ml

compiling

2020-03-18 16:00:34 +01:00

typer.ml

remove match_bool from the ast

2020-04-30 09:39:49 +02:00

typer.ml.old

rename AST to imperative, sugar and core. Factor code in compile

2020-03-18 16:00:34 +01:00

typer.mli

moved core and solver types to the AST, removed functor hell (Map, Set, UnionFind)

2020-04-29 21:32:50 +01:00

untyper.ml

remove match_bool from the ast

2020-04-30 09:39:49 +02:00

wrap.ml

Solve T_arrow vs. TC_arrow bug by removing TC_arrow

2020-04-29 21:33:07 +01:00