diff options
Diffstat (limited to 'testdata/language-features/recursion/simplerec01.out')
-rw-r--r-- | testdata/language-features/recursion/simplerec01.out | 17 |
1 files changed, 11 insertions, 6 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 | ||