diff options
Diffstat (limited to 'testdata/adhoc.reject.out')
-rw-r--r-- | testdata/adhoc.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index 10abb5da..df935e14 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
@@ -1,5 +1,5 @@ | |||
1 | type error: no instance of 'Component on ??? | 1 | type error: no instance of 'Component on ??? |
2 | in ./testdata/adhoc.reject.lc:4:5: | 2 | in testdata/adhoc.reject.lc:4:5: |
3 | x = one :: Vec 4 A | 3 | x = one :: Vec 4 A |
4 | ^^^ | 4 | ^^^ |
5 | ------------ trace | 5 | ------------ trace |
@@ -8,7 +8,7 @@ A :: A | |||
8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b | 8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b |
9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b | 9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b |
10 | !type error: no instance of 'Component on ??? | 10 | !type error: no instance of 'Component on ??? |
11 | in ./testdata/adhoc.reject.lc:4:5: | 11 | in testdata/adhoc.reject.lc:4:5: |
12 | x = one :: Vec 4 A | 12 | x = one :: Vec 4 A |
13 | ^^^ | 13 | ^^^ |
14 | ------------ tooltips | 14 | ------------ tooltips |