diff options
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r-- | testdata/typesig.reject.out | 4 |
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 @@ | |||
1 | can't find: x in ./testdata/typesig.reject.lc:6:6: | 1 | can't find: x in testdata/typesig.reject.lc:6:6: |
2 | x :: x | 2 | x :: x |
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
@@ -6,7 +6,7 @@ x :: x | |||
6 | X :: X | 6 | X :: X |
7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 8 | match'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: |
10 | x :: x | 10 | x :: x |
11 | ^ | 11 | ^ |
12 | ------------ tooltips | 12 | ------------ tooltips |