Commit 4325e177 authored by Julien Lopez's avatar Julien Lopez
Browse files

[TESTS][LAMBDA] Test misc.is_int improved

parent 96d71de2
......@@ -98,11 +98,12 @@ let tests_eval = "CDuce runtime tests (Typed -> Lambda -> Value)" >:::
"misc" >:: ( fun test_ctxt ->
assert_equal ~msg:"Test CDuce.runtime.misc.is_int failed"
~printer:(fun x -> x)
"Abstraction(([ Char* ] | Int, Bool),{})"
(run_test_eval "fun is_int x : (Int | String) : Bool ->
match x : (Int | String) with
| x : Int -> `true
| x : String -> `false");
"Abstraction((Int, Bool) ,([ Char* ], Bool) ,(Any \\ ([ Char* ] | Int),
Any \\ ([ Char* ] | Int)),{})"
(run_test_eval "fun ((Int -> Bool) & (String -> Bool) & ((!(Int|String)) -> (!(Int|String))))
| x : Int -> `true
| x : String -> `false
| x : (!(Int|String)) -> x");
assert_equal ~msg:"Test CDuce.runtime.misc.map failed"
~printer:(fun x -> x)
"Abstraction(((Int,Int), X1 -> X1 where X1 = (Int,Int)),{})"
......
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