From 563e65c30949d415dd6124c9b188256c328a461a Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 1 Feb 2010 09:18:42 +0000
Subject: [PATCH] test case for let expression in def rule

---
 testsuite/compiler/typecheck/abstract/LetInDefAbs.gf  | 7 +++++++
 testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs | 2 ++
 2 files changed, 9 insertions(+)
 create mode 100644 testsuite/compiler/typecheck/abstract/LetInDefAbs.gf
 create mode 100644 testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs

diff --git a/testsuite/compiler/typecheck/abstract/LetInDefAbs.gf b/testsuite/compiler/typecheck/abstract/LetInDefAbs.gf
new file mode 100644
index 000000000..2473fd8ae
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInDefAbs.gf
@@ -0,0 +1,7 @@
+abstract LetInDefAbs = {
+
+fun f : Int -> Int ;
+def f n = let z = f 0
+          in f z ;
+
+}
\ No newline at end of file
diff --git a/testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs b/testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs
new file mode 100644
index 000000000..570eeb232
--- /dev/null
+++ b/testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs
@@ -0,0 +1,2 @@
+i -src testsuite/compiler/typecheck/abstract/LetInDefAbs.gf
+ai f
\ No newline at end of file