diff options
Diffstat (limited to 'testdata/language-features/basic-values/def07.reject.out')
-rw-r--r-- | testdata/language-features/basic-values/def07.reject.out | 32 |
1 files changed, 20 insertions, 12 deletions
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index 8cb5a1a4..e5afb538 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
@@ -5,9 +5,9 @@ and at testdata/language-features/basic-values/def07.reject.lc:1:1: | |||
5 | fun 1 = '1' | 5 | fun 1 = '1' |
6 | ^^^ | 6 | ^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | fun :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [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 | 8 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
9 | fun2 :: [32mforall a b . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> [32mb[0;32m -> Char[0m | 9 | fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char |
10 | fun :: [32mforall a . [32ma[0;32m -> Char[0m | 10 | fun :: forall a . a -> Char |
11 | !already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: | 11 | !already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: |
12 | fun _ = '_' | 12 | fun _ = '_' |
13 | ^^^ | 13 | ^^^ |
@@ -15,14 +15,22 @@ and at testdata/language-features/basic-values/def07.reject.lc:1:1: | |||
15 | fun 1 = '1' | 15 | fun 1 = '1' |
16 | ^^^ | 16 | ^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
18 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char | 18 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 |
19 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char | 19 | forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
20 | testdata/language-features/basic-values/def07.reject.lc 1:9-2:12 Bool -> Char | 20 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 |
21 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 Char | 21 | Char |
22 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 forall a b . (Eq a, Num a) => a -> b -> Char | 22 | testdata/language-features/basic-values/def07.reject.lc 1:9-2:12 |
23 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 Char | 23 | Bool -> Char |
24 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 forall a . a -> Char | 24 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 |
25 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 Char | 25 | Char | Char |
26 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 | ||
27 | forall a b . (Eq a, Num a) => a -> b -> Char | ||
28 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 | ||
29 | Char | ||
30 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 | ||
31 | forall a . a -> Char | ||
32 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 | ||
33 | Char | ||
26 | ------------ warnings | 34 | ------------ warnings |
27 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: | 35 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: |
28 | fun 1 = '1' | 36 | fun 1 = '1' |
@@ -33,4 +41,4 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc: | |||
33 | fun2 1 _ = '1' | 41 | fun2 1 _ = '1' |
34 | ^^^^ | 42 | ^^^^ |
35 | Missing case(s): | 43 | Missing case(s): |
36 | _ _ | False <- fromInt 1 == _b | 44 | _ _ | False <- fromInt 1 == _b \ No newline at end of file |