balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

merge with dev

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-10 16:01:26 +01:00
parent 5ac25bfe21
commit 9d83159e89
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/test/integration_tests.ml
View File

@ -4,7 +4,9 @@ open Test_helpers
open Ast_simplified.Combinators
let retype_file f =
let%bind (typed , state , _env) = Ligo.Compile.Wrapper.source_to_typed (Syntax_name "reasonligo") f in
let%bind simplified = Ligo.Compile.Of_source.compile f (Syntax_name "reasonligo") in
let%bind typed,state = Ligo.Compile.Of_simplified.compile simplified in
let () = Typer.Solver.discard_state state in
let () = Typer.Solver.discard_state state in
ok typed
let mtype_file f =