summaryrefslogtreecommitdiff
path: root/testdata/typesig.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r--testdata/typesig.reject.out4
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 4b742a17..694d0efb 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,4 +1,4 @@
1can't find: x in ./testdata/typesig.reject.lc:6:6: 1can't find: x in testdata/typesig.reject.lc:6:6:
2x :: x 2x :: x
3 ^ 3 ^
4------------ trace 4------------ trace
@@ -6,7 +6,7 @@ x :: x
6X :: X 6X :: X
7case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b 7case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
8match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b 8match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
9!can't find: x in ./testdata/typesig.reject.lc:6:6: 9!can't find: x in testdata/typesig.reject.lc:6:6:
10x :: x 10x :: x
11 ^ 11 ^
12------------ tooltips 12------------ tooltips