Commit c37daf7c authored by Julien Lopez's avatar Julien Lopez
Browse files

[TESTS][LAMBDA] Add test plusone for list

parent ae56a9e0
......@@ -311,6 +311,11 @@ let tests_eval = "CDuce runtime tests (Typed -> Lambda -> Value)" >:::
(run_test_eval "(fun f x : [Int] : [Int] -> match x : [Int] with
| (el : Int) :: (rest : [Int]) -> f.rest
| el : [Int] -> el).[1; 2; 5; 4; 8; 7]");
assert_equal ~msg:"Test CDuce.runtime.list.plusone failed"
~printer:(fun x -> x) "(2, (3, (6, (5, (9, 8, {}), {}), {}), {}), {})"
(run_test_eval "(fun f x : [Int] : [Int] -> match x : [Int] with
| (el : Int) :: (rest : [Int]) -> [el+1; f.rest]
| el : [Int] -> el+1).[1; 2; 5; 4; 8; 7]");
);
"union" >:: ( fun test_ctxt ->
......
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