diff options
Diffstat (limited to 'testdata/language-features/pattern/viewPattern.out')
-rw-r--r-- | testdata/language-features/pattern/viewPattern.out | 39 |
1 files changed, 38 insertions, 1 deletions
diff --git a/testdata/language-features/pattern/viewPattern.out b/testdata/language-features/pattern/viewPattern.out index 4791ed55..f8fdb6d9 100644 --- a/testdata/language-features/pattern/viewPattern.out +++ b/testdata/language-features/pattern/viewPattern.out | |||
@@ -1 +1,38 @@ | |||
1 | True \ No newline at end of file | 1 | main :: Bool |
2 | main = True | ||
3 | ------------ desugared source code | ||
4 | id = _lhs id \(a :: _) -> _rhs a | ||
5 | |||
6 | main | ||
7 | = _lhs | ||
8 | main | ||
9 | (_rhs ((\(a :: _) -> case'Bool (\(_ :: _) -> _) undefined True (id a)) True)) | ||
10 | ------------ core code | ||
11 | id :: forall a . a -> a | ||
12 | id = \_ a -> _rhs a | ||
13 | |||
14 | main :: Bool | ||
15 | main = _rhs True | ||
16 | ------------ tooltips | ||
17 | testdata/language-features/pattern/viewPattern.lc 4:1-4:3 | ||
18 | forall a . a -> a | ||
19 | testdata/language-features/pattern/viewPattern.lc 4:8-4:9 | ||
20 | _b | ||
21 | testdata/language-features/pattern/viewPattern.lc 6:1-6:5 | ||
22 | Bool | ||
23 | testdata/language-features/pattern/viewPattern.lc 6:8-7:25 | ||
24 | Bool | ||
25 | testdata/language-features/pattern/viewPattern.lc 6:13-6:17 | ||
26 | Bool | ||
27 | testdata/language-features/pattern/viewPattern.lc 7:6-7:8 | ||
28 | forall a . a -> a | _b | ||
29 | testdata/language-features/pattern/viewPattern.lc 7:6-7:25 | ||
30 | Bool | ||
31 | testdata/language-features/pattern/viewPattern.lc 7:21-7:25 | ||
32 | Bool | ||
33 | ------------ warnings | ||
34 | Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13: | ||
35 | main = case True of | ||
36 | ^^^^ | ||
37 | Missing case(s): | ||
38 | _ | False <- id _a \ No newline at end of file | ||