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