summaryrefslogtreecommitdiff
path: root/testdata/language-features/pattern/uncovered.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/pattern/uncovered.out')
-rw-r--r--testdata/language-features/pattern/uncovered.out4
1 files changed, 3 insertions, 1 deletions
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out
index 531a913a..4302e4ac 100644
--- a/testdata/language-features/pattern/uncovered.out
+++ b/testdata/language-features/pattern/uncovered.out
@@ -1,3 +1,4 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2f 3f
3 = \(a :: _) (b :: _) (c :: _) -> case'Bool 4 = \(a :: _) (b :: _) (c :: _) -> case'Bool
@@ -13,6 +14,7 @@ f
13 (case'Bool (\_ -> _) (_rhs (fromInt 1)) (_rhs undefined) a) 14 (case'Bool (\_ -> _) (_rhs (fromInt 1)) (_rhs undefined) a)
14 c) 15 c)
15 b 16 b
17
16g 18g
17 = \(a :: _) -> case'List 19 = \(a :: _) -> case'List
18 (\_ -> _) 20 (\_ -> _)
@@ -39,6 +41,7 @@ g
39 c) 41 c)
40 b) 42 b)
41 a 43 a
44
42h 45h
43 = \(a :: _) -> case'List 46 = \(a :: _) -> case'List
44 (\_ -> _) 47 (\_ -> _)
@@ -73,7 +76,6 @@ h
73 d) 76 d)
74 b) 77 b)
75 a 78 a
76main is not found
77------------ trace 79------------ trace
78f :: forall a . Num a => Bool -> Bool -> Bool -> a 80f :: forall a . Num a => Bool -> Bool -> Bool -> a
79g :: [Bool] -> Bool 81g :: [Bool] -> Bool