summaryrefslogtreecommitdiff
path: root/testdata/typesig.reject.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-01 16:51:22 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-01 16:51:22 +0200
commit1a7544763729938e7009ead1e375e9bbf413afb0 (patch)
tree62af78c28cd91597fe40391d4020cb47f697334a /testdata/typesig.reject.out
parent11b4a98c3fc7014cdef123fea4081d58e8edbaa2 (diff)
better namespace handling in pretty print
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r--testdata/typesig.reject.out14
1 files changed, 7 insertions, 7 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 63d24e57..909ee06d 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,12 +1,12 @@
1focus checkMetas: \a -> (\b -> primFix a b) \(a := Type) -> \c -> <<HERE>> 1focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) \(a := Type) -> \(c :: Type) -> <<HERE>>
2\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X) 2\(d :: Type ~ _a) (e :: _a ~ X) -> typeAnn _a (labend X)
3------------ trace 3------------ trace
4'X :: Type 4'X :: Type
5X :: 'X 5X :: X
6'XCase :: forall (a :: 'X -> Type) -> a X -> forall (b :: 'X) -> a b 6'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
7match'X :: forall (a :: Type -> Type) -> a 'X -> forall b -> a b -> a b 7match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
8!focus checkMetas: \a -> (\b -> primFix a b) \(a := Type) -> \c -> <<HERE>> 8!focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) \(a := Type) -> \(c :: Type) -> <<HERE>>
9\(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X) 9\(d :: Type ~ _a) (e :: _a ~ X) -> typeAnn _a (labend X)
10------------ tooltips 10------------ tooltips
11testdata/typesig.reject.lc 4:6-4:7 Type 11testdata/typesig.reject.lc 4:6-4:7 Type
12testdata/typesig.reject.lc 4:6-4:11 Type 12testdata/typesig.reject.lc 4:6-4:11 Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:29:25 +0000