diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 22:43:51 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 22:43:51 +0200 |
| commit | 67fd4cabceda047750c19e9bef98e0c25c6ed7dd (patch) | |
| tree | e64ac6cd1de2583e13f386421b952f32ffb8f955 /testdata/language-features/basic-values/def07.reject.out | |
| parent | 56f6e4fb7b8c0fc6545843d467412fbfa8acb277 (diff) | |
switch to Haskell style syntax in pretty print
Diffstat (limited to 'testdata/language-features/basic-values/def07.reject.out')
| -rw-r--r-- | testdata/language-features/basic-values/def07.reject.out | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index e54d61ca..be624025 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
| @@ -5,9 +5,9 @@ fun _ = '_' | |||
| 5 | fun 1 = '1' | 5 | fun 1 = '1' |
| 6 | ^^^ | 6 | ^^^ |
| 7 | ------------ trace | 7 | ------------ trace |
| 8 | fun :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 8 | fun :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
| 9 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32mb[0;32m->'Char[0m | 9 | fun2 :: [32mforall a b . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> [32mb[0;32m -> 'Char[0m |
| 10 | fun :: [32m{[32ma[0;32m} -> [32ma[0;32m->'Char[0m | 10 | fun :: [32mforall a . [32ma[0;32m -> 'Char[0m |
| 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,24 +15,24 @@ fun _ = '_' | |||
| 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 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 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 |
| 19 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 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-2:12 Bool -> Char |
| 21 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 Char | 21 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 Char |
| 22 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 {a} -> {b} -> {_ : Eq a} -> {_ : Num a} -> a -> b->Char | 22 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 forall a b . (Eq a, Num a) => a -> b -> Char |
| 23 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 Char | 23 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 Char |
| 24 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 {a} -> a->Char | 24 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 forall a . a -> Char |
| 25 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 Char | 25 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 Char |
| 26 | ------------ warnings | 26 | ------------ warnings |
| 27 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: | 27 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: |
| 28 | fun 1 = '1' | 28 | fun 1 = '1' |
| 29 | fun 2 = '2' | 29 | fun 2 = '2' |
| 30 | Missing case(s): | 30 | Missing case(s): |
| 31 | _ | False <- fromInt 1 == a_, False <- fromInt 2 == a_ | 31 | _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a |
| 32 | 32 | ||
| 33 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: | 33 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: |
| 34 | fun2 1 _ = '1' | 34 | fun2 1 _ = '1' |
| 35 | ^^^^ | 35 | ^^^^ |
| 36 | Missing case(s): | 36 | Missing case(s): |
| 37 | _ _ | False <- fromInt 1 == b_ | 37 | _ _ | False <- fromInt 1 == _b |
| 38 | 38 | ||