Commit 569be18c authored by Julien Lopez's avatar Julien Lopez
Browse files

[TESTS][LAMBDA] Add test identity_precise in union

parent 5f3d4fe4
......@@ -161,6 +161,11 @@ let tests_eval = "CDuce runtime tests (Typed -> Lambda -> Value)" >:::
);
"union" >:: ( fun test_ctxt ->
assert_equal ~msg:"Test CDuce.runtime.union.identity_precise failed"
~printer:(fun x -> x) "Abstraction((Int -> Int & X1 -> X1 where X1 = [ Char* ], Int -> Int &
X1 -> X1 where
X1 = [ Char* ]),{})"
(run_test_eval "fun _f f : ((Int -> Int) & (String -> String)) : ((Int -> Int) & (String -> String)) -> f");
assert_equal ~msg:"Test CDuce.runtime.union.identity failed"
~printer:(fun x -> x) "Abstraction(([ Char* ] | Int, [ Char* ] | Int),{})"
(run_test_eval "fun f x : (Int | String) : (Int | String) -> x");
......
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