Commit aa812436 authored by Pietro Abate's avatar Pietro Abate
Browse files

Fix minor interface mismatch

parent c906e750
......@@ -44,17 +44,15 @@ end
let run_test_typer msg expected totest =
let parse_expr s =
let astexpr = Parser.expr (Stream.of_string s) in
Format.printf "aaa\n";
let texpr = fst (Typer.type_expr BIN.env astexpr) in
Format.printf "bbb\n";
Format.printf "Cduce Typed -> %a%!@." Printer.pp_typed texpr;
Format.printf "Cduce Typed -> %s%!@." (Printer.typed_to_string texpr);
texpr
in
let parse_typed s =
try
let expr = Parse.ExprParser.of_string_no_file s in
let env, texpr = Compute.to_typed expr in
Format.printf "Expected Typed -> %a%!@." Printer.pp_typed texpr;
Format.printf "Expected Typed -> %s%!@." (Printer.typed_to_string texpr);
texpr
with
| Compute.Error -> exit 3
......
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