diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-01 09:18:42 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-01 09:18:42 +0000 |
| commit | 563e65c30949d415dd6124c9b188256c328a461a (patch) | |
| tree | 850bc64c135b169ddde6c97bd64e42669385498a | |
| parent | 1cd4a500f5f6b4802d3288734ea1e6144f0be770 (diff) | |
test case for let expression in def rule
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/LetInDefAbs.gf | 7 | ||||
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/LetInDefAbs.gfs | 2 |
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 |