diff options
Diffstat (limited to 'testdata/language-features/pattern/uncovered.out')
-rw-r--r-- | testdata/language-features/pattern/uncovered.out | 4 |
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 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | f | 3 | f |
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 | |||
16 | g | 18 | g |
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 | |||
42 | h | 45 | h |
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 |
76 | main is not found | ||
77 | ------------ trace | 79 | ------------ trace |
78 | f :: forall a . Num a => Bool -> Bool -> Bool -> a | 80 | f :: forall a . Num a => Bool -> Bool -> Bool -> a |
79 | g :: [Bool] -> Bool | 81 | g :: [Bool] -> Bool |