Commit eed3f263 authored by Pietro Abate's avatar Pietro Abate

Flush debug {typed,lambda} output

parent 0a8cd35e
......@@ -237,12 +237,12 @@ let debug ppf tenv cenv = function
| `Typed e ->
Format.fprintf ppf "[DEBUG:typed]@.";
let r, _ = Typer.type_expr tenv e in
Format.fprintf ppf "%a\n" Typed.Print.pp_typed r
Format.fprintf ppf "%a@." Typed.Print.pp_typed r
| `Lambda e ->
Format.fprintf ppf "[DEBUG:lambda]@.";
let r, _ = Typer.type_expr tenv e in
let lambdaexpr,lsize = Compile.compile_expr cenv r in
Format.fprintf ppf "%a\n" Lambda.Print.pp_lambda lambdaexpr
Format.fprintf ppf "%a@." 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