add test case for abstract types with let bindings

2010-01-31 20:45:48 +00:00
1 parent 26236652a6
commit 3be9ce3240
@@ -0,0 +1,6 @@
+abstract LetInTypesAbs = {
+
+fun f : let id = Int -> Int
+        in id -> id ;
+
+}
@@ -0,0 +1,2 @@
+i -src testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
+ai f
@@ -0,0 +1 @@
+fun f : (Int -> Int) -> Int -> Int␍