summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/def04.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-values/def04.out')
-rw-r--r--testdata/language-features/basic-values/def04.out3
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index e52f9d64..e6dfbba7 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -1,3 +1,4 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2fun 3fun
3 = \(a :: _) -> case'Bool 4 = \(a :: _) -> case'Bool
@@ -5,13 +6,13 @@ fun
5 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) 6 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
6 (_rhs '1') 7 (_rhs '1')
7 (fromInt 1 == a) 8 (fromInt 1 == a)
9
8fun2 10fun2
9 = \(a :: _) _ -> case'Bool 11 = \(a :: _) _ -> case'Bool
10 (\_ -> _) 12 (\_ -> _)
11 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a)) 13 (case'Bool (\_ -> _) (_rhs '_') (_rhs '2') (fromInt 2 == a))
12 (_rhs '1') 14 (_rhs '1')
13 (fromInt 1 == a) 15 (fromInt 1 == a)
14main is not found
15------------ trace 16------------ trace
16fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 17fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
17fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char 18fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char