diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-30 00:47:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-30 00:47:07 +0200 |
| commit | 1fd867e5beea5b4197f300e2e964c0f6b0035830 (patch) | |
| tree | 61102cad73ffc7efdbf4ebf589f8ebd7720b3f82 /testdata/empty.out | |
| parent | b08f6a129c452526b7c2667dcd629028d66ebf0a (diff) | |
fix pretty print syntax
Diffstat (limited to 'testdata/empty.out')
| -rw-r--r-- | testdata/empty.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/empty.out b/testdata/empty.out index f1588695..d7443922 100644 --- a/testdata/empty.out +++ b/testdata/empty.out | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | 'Empty :: [32mType[0m | 3 | 'Empty :: [32mType[0m |
| 4 | 'EmptyCase :: [32m([32ma[0;32m :: 'Empty -> Type) -> ([32mb[0;32m :: 'Empty) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 4 | 'EmptyCase :: [32mforall (a :: 'Empty -> Type) (b :: 'Empty) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 5 | match'Empty :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'Empty[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 5 | match'Empty :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'Empty[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
| 6 | ------------ tooltips | 6 | ------------ tooltips |
| 7 | testdata/empty.lc 3:6-3:11 Type | 7 | testdata/empty.lc 3:6-3:11 Type |