Commit 9ac31025 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Data parsing tests updated

parent 96ba67fa
......@@ -17,10 +17,17 @@
(* *)
(**************************************************************************)
signature temp =
end
signature essai =
a:type;
string = a -> a : type;
a:type;
string = a -> a : type;
string' = a -> a : a -> a;
t : a => a => a ;
k = Lambda x. t x x : a => a;
(* Il arrive typer c alors que a devrait tre linaire *)
(* t : a -> a -> a ;
c = lambda x. t x x : a -> a; *)
......
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