diff options
Diffstat (limited to 'testdata/language-features/recursion')
| -rw-r--r-- | testdata/language-features/recursion/simplerec01.out | 17 | ||||
| -rw-r--r-- | testdata/language-features/recursion/simplerec02.out | 20 | ||||
| -rw-r--r-- | testdata/language-features/recursion/simplerec03.out | 20 |
3 files changed, 37 insertions, 20 deletions
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index b6bde121..f46727b7 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
| @@ -7,10 +7,15 @@ fun | |||
| 7 | (fromInt 0 == a) | 7 | (fromInt 0 == a) |
| 8 | main is not found | 8 | main is not found |
| 9 | ------------ trace | 9 | ------------ trace |
| 10 | fun :: [32mforall a . ([32mNum [32m[32ma[0;32m[0;32m[0;32m, [32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m | 10 | fun :: forall a . (Num a, Eq a, Num a) => a -> Char |
| 11 | ------------ tooltips | 11 | ------------ tooltips |
| 12 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 forall a . (Num a, Eq a, Num a) => a -> Char | 12 | testdata/language-features/recursion/simplerec01.lc 1:1-1:4 |
| 13 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char | 13 | forall a . (Num a, Eq a, Num a) => a -> Char |
| 14 | testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool -> Char | _a -> _a | 14 | testdata/language-features/recursion/simplerec01.lc 1:9-1:12 |
| 15 | testdata/language-features/recursion/simplerec01.lc 2:9-2:12 _e | 15 | Char |
| 16 | testdata/language-features/recursion/simplerec01.lc 2:13-2:14 _b | 16 | testdata/language-features/recursion/simplerec01.lc 1:9-2:14 |
| 17 | Bool -> Char | ||
| 18 | testdata/language-features/recursion/simplerec01.lc 2:9-2:12 | ||
| 19 | _e | ||
| 20 | testdata/language-features/recursion/simplerec01.lc 2:13-2:14 | ||
| 21 | _b \ No newline at end of file | ||
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index 74b2298a..becc3390 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
| @@ -10,11 +10,17 @@ value | |||
| 10 | (fromInt 0 == c)) -> HNil | 10 | (fromInt 0 == c)) -> HNil |
| 11 | main is not found | 11 | main is not found |
| 12 | ------------ trace | 12 | ------------ trace |
| 13 | value :: [32m()[0m | 13 | value :: () |
| 14 | ------------ tooltips | 14 | ------------ tooltips |
| 15 | testdata/language-features/recursion/simplerec02.lc 1:1-1:6 () | 15 | testdata/language-features/recursion/simplerec02.lc 1:1-1:6 |
| 16 | testdata/language-features/recursion/simplerec02.lc 1:21-1:24 Char | 16 | () |
| 17 | testdata/language-features/recursion/simplerec02.lc 1:21-2:26 Bool -> Char | _a -> _a | 17 | testdata/language-features/recursion/simplerec02.lc 1:21-1:24 |
| 18 | testdata/language-features/recursion/simplerec02.lc 2:21-2:24 _e | 18 | Char |
| 19 | testdata/language-features/recursion/simplerec02.lc 2:25-2:26 _b | 19 | testdata/language-features/recursion/simplerec02.lc 1:21-2:26 |
| 20 | testdata/language-features/recursion/simplerec02.lc 3:12-3:14 () | 20 | Bool -> Char |
| 21 | testdata/language-features/recursion/simplerec02.lc 2:21-2:24 | ||
| 22 | _e | ||
| 23 | testdata/language-features/recursion/simplerec02.lc 2:25-2:26 | ||
| 24 | _b | ||
| 25 | testdata/language-features/recursion/simplerec02.lc 3:12-3:14 | ||
| 26 | () \ No newline at end of file | ||
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index 62da7f5a..51fac6c9 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
| @@ -10,11 +10,17 @@ value | |||
| 10 | (fromInt 0 == c)) -> HNil | 10 | (fromInt 0 == c)) -> HNil |
| 11 | main is not found | 11 | main is not found |
| 12 | ------------ trace | 12 | ------------ trace |
| 13 | value :: [32m()[0m | 13 | value :: () |
| 14 | ------------ tooltips | 14 | ------------ tooltips |
| 15 | testdata/language-features/recursion/simplerec03.lc 1:1-1:6 () | 15 | testdata/language-features/recursion/simplerec03.lc 1:1-1:6 |
| 16 | testdata/language-features/recursion/simplerec03.lc 1:9-1:11 () | 16 | () |
| 17 | testdata/language-features/recursion/simplerec03.lc 3:13-3:16 Char | 17 | testdata/language-features/recursion/simplerec03.lc 1:9-1:11 |
| 18 | testdata/language-features/recursion/simplerec03.lc 3:13-4:18 Bool -> Char | _a -> _a | 18 | () |
| 19 | testdata/language-features/recursion/simplerec03.lc 4:13-4:16 _e | 19 | testdata/language-features/recursion/simplerec03.lc 3:13-3:16 |
| 20 | testdata/language-features/recursion/simplerec03.lc 4:17-4:18 _b | 20 | Char |
| 21 | testdata/language-features/recursion/simplerec03.lc 3:13-4:18 | ||
| 22 | Bool -> Char | ||
| 23 | testdata/language-features/recursion/simplerec03.lc 4:13-4:16 | ||
| 24 | _e | ||
| 25 | testdata/language-features/recursion/simplerec03.lc 4:17-4:18 | ||
| 26 | _b \ No newline at end of file | ||