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

Add two more tests (not working)

parent cb9436d5
......@@ -37,6 +37,14 @@ let tests_poly_abstr = [
Arrow)* ]),{})",
"fun tail x : ['A{}] : ['A{}] -> match x : ['A{}] with | (el : 'A{}) :: (rest : ['A{}]) -> rest";
"Test CDuce.runtime.poly.pair failed", "",
"fun pair x : ('A * 'B) -> match x : ('A * 'B) with | (x,y) : ('A * 'B) -> x";
"Test CDuce.runtime.poly.pair failed", "",
"(match ( fun f x : 'A{} : 'A{} ) with y : ('A{} -> 'A{}) -> y{A/Int}).3";
]
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