2 files changed, 9 insertions, 0 deletions
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