diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
commit | 90e336391673ac1cf9ff582e98e35faf89a8f09d (patch) | |
tree | 0b7a14dbfc5734c07c2ae4ed34cb679fecd10d3f /testdata/language-features/pattern/pattern01.out | |
parent | 1a7544763729938e7009ead1e375e9bbf413afb0 (diff) |
improve pretty print layout & show desugared source code in .out files
Diffstat (limited to 'testdata/language-features/pattern/pattern01.out')
-rw-r--r-- | testdata/language-features/pattern/pattern01.out | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out index 8e753e7d..f5b7944c 100644 --- a/testdata/language-features/pattern/pattern01.out +++ b/testdata/language-features/pattern/pattern01.out | |||
@@ -1,3 +1,9 @@ | |||
1 | ------------ desugared source code | ||
2 | fun1 | ||
3 | = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') (fromInt 0 == a) | ||
4 | fun2 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ("0" == a) | ||
5 | fun3 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ('0' == a) | ||
6 | fun4 = \(a :: _) -> hlistNilCase (_ :: _) (_rhs '0') a | ||
1 | main is not found | 7 | main is not found |
2 | ------------ trace | 8 | ------------ trace |
3 | fun1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m | 9 | fun1 :: [32mforall a . ([32mEq [32m[32ma[0;32m[0;32m[0;32m, [32mNum [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> Char[0m |