Commit 344ce554 authored by Pietro Abate's avatar Pietro Abate
Browse files

Minor modif

parent a25e709c
......@@ -7,7 +7,7 @@ let run_test_compile msg expected totest =
try
let expr = Parse.ExprParser.of_string_no_file str in
let env, texpr = Compute.to_typed expr in
Format.printf "Compted Typed -> %s%!@." (Printer.typed_to_string texpr);
Format.printf "Computed Typed -> %s%!@." (Printer.typed_to_string texpr);
let lambdaexpr = Compile.compile env texpr in
Printer.lambda_to_string lambdaexpr
with
......@@ -68,6 +68,10 @@ let tests_poly_abstr = [
"Test CDuce.lambda.const_abstr failed",
"Abstraction(Dummy,,,,Sel((Int -> Int),{}))",
"fun f x : 'A[{A/Int}] : 'A[{A/Int}] -> 2";
"Test CDuce.lambda.const_abstr failed",
"Abstraction(Dummy,,,,Sel(,(Int -> Int),{}))",
"fun f x : Int : Int -> 2";
];;
let tests_compile = "CDuce compile tests (Typed -> Lambda )" >:::
......
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