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

bugfix: forgot to explicitly discard new typer state

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-06-17 23:27:00 +01:00 committed by Lesenechal Remi
parent 424a0b0ba7
commit 19f02a4b36
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/test/test_helpers.ml
View File

@ -99,7 +99,8 @@ let typed_program_with_imperative_input_to_michelson
let%bind sugar = Compile.Of_imperative.compile_expression input in let%bind sugar = Compile.Of_imperative.compile_expression input in
let%bind core = Compile.Of_sugar.compile_expression sugar in let%bind core = Compile.Of_sugar.compile_expression sugar in
let%bind app = Compile.Of_core.apply entry_point core in let%bind app = Compile.Of_core.apply entry_point core in
let%bind (typed_app,_) = Compile.Of_core.compile_expression ~env ~state app in let%bind (typed_app,new_state) = Compile.Of_core.compile_expression ~env ~state app in
let () = Typer.Solver.discard_state new_state in
let%bind compiled_applied = Compile.Of_typed.compile_expression typed_app in let%bind compiled_applied = Compile.Of_typed.compile_expression typed_app in
let%bind mini_c_prg = Compile.Of_typed.compile program in let%bind mini_c_prg = Compile.Of_typed.compile program in
Compile.Of_mini_c.aggregate_and_compile_expression mini_c_prg compiled_applied Compile.Of_mini_c.aggregate_and_compile_expression mini_c_prg compiled_applied