diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 16:51:22 +0200 |
commit | 1a7544763729938e7009ead1e375e9bbf413afb0 (patch) | |
tree | 62af78c28cd91597fe40391d4020cb47f697334a /testdata/empty.out | |
parent | 11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff) |
better namespace handling in pretty print
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 d7443922..a5a55263 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 :: [32mforall (a :: 'Empty -> Type) (b :: '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 :: [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 | 5 | match'Empty :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32mEmpty[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 |