diff options
Diffstat (limited to 'testdata/language-features/basic-values/case02.out')
-rw-r--r-- | testdata/language-features/basic-values/case02.out | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out index a5f57070..9456dae9 100644 --- a/testdata/language-features/basic-values/case02.out +++ b/testdata/language-features/basic-values/case02.out | |||
@@ -1,7 +1,9 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
4 | ((\(a :: _) -> case'Bool (\_ -> _) HNil HNil (fromInt 1 == a)) (fromInt 1)) | 5 | ((\(a :: _) -> case'Bool (\_ -> _) HNil HNil (fromInt 1 == a)) (fromInt 1)) |
6 | |||
5 | value2 | 7 | value2 |
6 | = _rhs | 8 | = _rhs |
7 | ((\(a :: _) -> case'Bool | 9 | ((\(a :: _) -> case'Bool |
@@ -10,7 +12,6 @@ value2 | |||
10 | "1" | 12 | "1" |
11 | (fromInt 1 == a)) | 13 | (fromInt 1 == a)) |
12 | (fromInt 2)) | 14 | (fromInt 2)) |
13 | main is not found | ||
14 | ------------ trace | 15 | ------------ trace |
15 | value1 :: forall a . (Eq a, Num a) => () | 16 | value1 :: forall a . (Eq a, Num a) => () |
16 | value2 :: forall a . (Eq a, Num a, Eq a, Num a) => String | 17 | value2 :: forall a . (Eq a, Num a, Eq a, Num a) => String |