diff options
Diffstat (limited to 'testdata/language-features/basic-values/def03.out')
| -rw-r--r-- | testdata/language-features/basic-values/def03.out | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index 38bae81f..1dca3720 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out | |||
| @@ -1,3 +1,10 @@ | |||
| 1 | ------------ desugared source code | ||
| 2 | fun | ||
| 3 | = \(a :: _) -> 'BoolCase | ||
| 4 | \_ -> _ :: _ | ||
| 5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs '2') (fromInt 2 == a)) | ||
| 6 | (_rhs '1') | ||
| 7 | (fromInt 1 == a) | ||
| 1 | main is not found | 8 | main is not found |
| 2 | ------------ trace | 9 | ------------ trace |
| 3 | fun :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m, [32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m | 10 | fun :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m, [32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m |