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

Remove trace_strong in compiler

Browse Source
This commit is contained in:
Tom Jack 2020-07-03 08:24:50 -05:00
parent 567515a5ce
commit cbf1680e36
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/passes/13-stacking/compiler_program.ml
View File

@ -225,7 +225,6 @@ and translate_expression (expr:expression) (env:environment) : (michelson , stac
| _ -> fail @@ corner_case ~loc:__LOC__ "expected function type" | _ -> fail @@ corner_case ~loc:__LOC__ "expected function type"
) )
| E_application (f , arg) -> ( | E_application (f , arg) -> (
trace_strong (corner_case ~loc:__LOC__ "Compiling quote application") @@
let%bind f = translate_expression f (Environment.add (Location.wrap @@ Var.fresh (), arg.type_expression) env) in let%bind f = translate_expression f (Environment.add (Location.wrap @@ Var.fresh (), arg.type_expression) env) in
let%bind arg = translate_expression arg env in let%bind arg = translate_expression arg env in
return @@ seq [ return @@ seq [