Merge branch 'dont-trace-strong' into 'dev'

Remove a trace_strong in compiler

See merge request ligolang/ligo!710
This commit is contained in:
Gabriel Alfour 2020-07-03 16:22:42 +00:00
commit 42c0baa00b

View File

@ -225,7 +225,6 @@ and translate_expression (expr:expression) (env:environment) : (michelson , stac
| _ -> fail @@ corner_case ~loc:__LOC__ "expected function type"
)
| 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 arg = translate_expression arg env in
return @@ seq [