From 5eeb41a67f47a3d9a5ce81f5e2ebf0eac875891a Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 31 Jan 2010 20:45:48 +0000
Subject: [PATCH] add test case for abstract types with let bindings

---
 testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf      | 6 ++++++
 testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs     | 2 ++
 .../compiler/typecheck/abstract/LetInTypesAbs.gfs.gold      | 1 +
 3 files changed, 9 insertions(+)
 create mode 100644 testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
 create mode 100644 testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs
 create mode 100644 testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold

diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
new file mode 100644
index 000000000..89e772bef
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
@@ -0,0 +1,6 @@
+abstract LetInTypesAbs = {
+
+fun f : let id = Int -> Int
+        in id -> id ;
+
+}
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs
new file mode 100644
index 000000000..e6901e47b
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs
@@ -0,0 +1,2 @@
+i -src testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
+ai f
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold
new file mode 100644
index 000000000..784f3fa8c
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs.gold
@@ -0,0 +1 @@
+fun f : (Int -> Int) -> Int -> Int