summaryrefslogtreecommitdiff
path: root/testdata/language-features/pattern
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/pattern')
-rw-r--r--testdata/language-features/pattern/pattern01.out5
-rw-r--r--testdata/language-features/pattern/uncovered.out4
-rw-r--r--testdata/language-features/pattern/unreachable.out2
3 files changed, 8 insertions, 3 deletions
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out
index 1683fdec..eeda616d 100644
--- a/testdata/language-features/pattern/pattern01.out
+++ b/testdata/language-features/pattern/pattern01.out
@@ -1,9 +1,12 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2fun1 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') (fromInt 0 == a) 3fun1 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') (fromInt 0 == a)
4
3fun2 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ("0" == a) 5fun2 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ("0" == a)
6
4fun3 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ('0' == a) 7fun3 = \(a :: _) -> case'Bool (\_ -> _) (_rhs '_') (_rhs '0') ('0' == a)
8
5fun4 = \(a :: _) -> hlistNilCase _ (_rhs '0') a 9fun4 = \(a :: _) -> hlistNilCase _ (_rhs '0') a
6main is not found
7------------ trace 10------------ trace
8fun1 :: forall a . (Eq a, Num a) => a -> Char 11fun1 :: forall a . (Eq a, Num a) => a -> Char
9fun2 :: String -> Char 12fun2 :: String -> Char
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
diff --git a/testdata/language-features/pattern/unreachable.out b/testdata/language-features/pattern/unreachable.out
index 06c9ca43..f7961855 100644
--- a/testdata/language-features/pattern/unreachable.out
+++ b/testdata/language-features/pattern/unreachable.out
@@ -1,6 +1,6 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2f = \_ -> _rhs "hello" 3f = \_ -> _rhs "hello"
3main is not found
4------------ trace 4------------ trace
5f :: forall a . a -> String 5f :: forall a . a -> String
6------------ tooltips 6------------ tooltips