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