summaryrefslogtreecommitdiff
path: root/testdata/language-features/pattern/patternGuard.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/pattern/patternGuard.out')
-rw-r--r--testdata/language-features/pattern/patternGuard.out50
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 @@
1True \ No newline at end of file 1main :: Bool
2main = True
3------------ desugared source code
4main
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
19main :: Bool
20main = _rhs True
21------------ tooltips
22testdata/language-features/pattern/patternGuard.lc 4:1-4:5
23 Bool
24testdata/language-features/pattern/patternGuard.lc 4:8-5:56
25 Bool
26testdata/language-features/pattern/patternGuard.lc 4:13-4:17
27 Bool
28testdata/language-features/pattern/patternGuard.lc 5:18-5:23
29 Bool
30testdata/language-features/pattern/patternGuard.lc 5:18-5:56
31 Bool
32testdata/language-features/pattern/patternGuard.lc 5:33-5:34
33 _b
34testdata/language-features/pattern/patternGuard.lc 5:33-5:56
35 Bool
36testdata/language-features/pattern/patternGuard.lc 5:44-5:48
37 Bool
38testdata/language-features/pattern/patternGuard.lc 5:44-5:56
39 Bool
40testdata/language-features/pattern/patternGuard.lc 5:52-5:56
41 Bool
42------------ warnings
43Uncovered pattern(s) at testdata/language-features/pattern/patternGuard.lc:4:13:
44main = case True of
45 ^^^^
46Missing case(s):
47 False | False <- False
48 True | False <- False, False <- True
49 _ | True <- False \ No newline at end of file