diff options
Diffstat (limited to 'testdata/language-features/recursion/simplerec01.out')
| -rw-r--r-- | testdata/language-features/recursion/simplerec01.out | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index 9c566256..0fe9fad8 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
| @@ -1,4 +1,6 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | ||
| 3 | fun :: [32m{a} -> {b : 'Num a} -> {c : 'Eq a} -> {d : 'Num a} -> a->'Char[39m[K | ||
| 2 | ------------ tooltips | 4 | ------------ tooltips |
| 3 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {b : Num a} -> {c : Eq a} -> {d : Num a} -> a->Char | 5 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {b : Num a} -> {c : Eq a} -> {d : Num a} -> a->Char |
| 4 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char | 6 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char |