Commit 50d49e79 authored by Julien Lopez's avatar Julien Lopez

[DEBUG] Add compile environment for debug directive lambda

parent 71c8958c
......@@ -239,9 +239,9 @@ let debug ppf tenv cenv = function
let r, _ = Typer.type_expr tenv e in
Format.fprintf ppf "%a\n" Typed.Print.pp_typed r
| `Lambda e ->
Format.fprintf ppf "[DEBUG:typed]@.";
Format.fprintf ppf "[DEBUG:lambda]@.";
let r, _ = Typer.type_expr tenv e in
let lambdaexpr,lsize = Compile.compile_expr Compile.empty_toplevel r in
let lambdaexpr,lsize = Compile.compile_expr cenv r in
Format.fprintf ppf "%a\n" Lambda.Print.pp_lambda lambdaexpr
let flush_ppf ppf = Format.fprintf ppf "@."
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment