added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00
parent b0283d31a2
commit cfdd39574c
4 changed files with 22 additions and 0 deletions
@@ -0,0 +1,9 @@
+abstract Test = {
+
+cat P ;
+cat E ;
+
+fun Exist : (E -> P) -> P ;
+    Even  : E -> P ;
+
+}