summaryrefslogtreecommitdiff
path: root/testdata/language-features/pattern/viewPattern.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/pattern/viewPattern.out')
-rw-r--r--testdata/language-features/pattern/viewPattern.out39
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 @@
1True \ No newline at end of file 1main :: Bool
2main = True
3------------ desugared source code
4id = _lhs id \(a :: _) -> _rhs a
5
6main
7 = _lhs
8 main
9 (_rhs ((\(a :: _) -> case'Bool (\(_ :: _) -> _) undefined True (id a)) True))
10------------ core code
11id :: forall a . a -> a
12id = \_ a -> _rhs a
13
14main :: Bool
15main = _rhs True
16------------ tooltips
17testdata/language-features/pattern/viewPattern.lc 4:1-4:3
18 forall a . a -> a
19testdata/language-features/pattern/viewPattern.lc 4:8-4:9
20 _b
21testdata/language-features/pattern/viewPattern.lc 6:1-6:5
22 Bool
23testdata/language-features/pattern/viewPattern.lc 6:8-7:25
24 Bool
25testdata/language-features/pattern/viewPattern.lc 6:13-6:17
26 Bool
27testdata/language-features/pattern/viewPattern.lc 7:6-7:8
28 forall a . a -> a | _b
29testdata/language-features/pattern/viewPattern.lc 7:6-7:25
30 Bool
31testdata/language-features/pattern/viewPattern.lc 7:21-7:25
32 Bool
33------------ warnings
34Uncovered pattern(s) at testdata/language-features/pattern/viewPattern.lc:6:13:
35main = case True of
36 ^^^^
37Missing case(s):
38 _ | False <- id _a \ No newline at end of file