diff options
Diffstat (limited to 'testdata/language-features/basic-values/def04.out')
-rw-r--r-- | testdata/language-features/basic-values/def04.out | 3 |
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 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | fun | 3 | fun |
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 | |||
8 | fun2 | 10 | fun2 |
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) |
14 | main is not found | ||
15 | ------------ trace | 16 | ------------ trace |
16 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char | 17 | fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
17 | fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char | 18 | fun2 :: forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char |