test case for let expression in def rule

2026-10-23 16:13:11 -06:00 · 2010-02-01 09:18:42 +00:00
1 parent 1cd4a500f5
commit 563e65c309
@@ -0,0 +1,7 @@
+abstract LetInDefAbs = {
+
+fun f : Int -> Int ;
+def f n = let z = f 0
+          in f z ;
+
+}
@@ -0,0 +1,2 @@
+i -src testsuite/compiler/typecheck/abstract/LetInDefAbs.gf
+ai f