diff options
Diffstat (limited to 'testdata/language-features/basic-values/case02.out')
| -rw-r--r-- | testdata/language-features/basic-values/case02.out | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out index 974b56da..146ad059 100644 --- a/testdata/language-features/basic-values/case02.out +++ b/testdata/language-features/basic-values/case02.out | |||
| @@ -1,3 +1,15 @@ | |||
| 1 | ------------ desugared source code | ||
| 2 | value1 | ||
| 3 | = _rhs | ||
| 4 | ((\(a :: _) -> 'BoolCase \_ -> _ :: _ HNil HNil (fromInt 1 == a)) (fromInt 1)) | ||
| 5 | value2 | ||
| 6 | = _rhs | ||
| 7 | ((\(a :: _) -> 'BoolCase | ||
| 8 | \_ -> _ :: _ | ||
| 9 | ('BoolCase \_ -> _ :: _ "_" "2" (fromInt 2 == a)) | ||
| 10 | "1" | ||
| 11 | (fromInt 1 == a)) | ||
| 12 | (fromInt 2)) | ||
| 1 | main is not found | 13 | main is not found |
| 2 | ------------ trace | 14 | ------------ trace |
| 3 | value1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m | 15 | value1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |