diff options
Diffstat (limited to 'testsuite/tests/polykinds/T8566.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T8566.stderr | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/testsuite/tests/polykinds/T8566.stderr b/testsuite/tests/polykinds/T8566.stderr index 82c1dedd75..096f058791 100644 --- a/testsuite/tests/polykinds/T8566.stderr +++ b/testsuite/tests/polykinds/T8566.stderr @@ -1,19 +1,19 @@ -
-T8566.hs:31:9:
- Could not deduce (C ('AA (t (I a ps)) as) ps fs0)
- arising from a use of ‘c’
- from the context (C ('AA (t (I a ps)) as) ps fs)
- bound by the instance declaration at T8566.hs:29:10-67
- or from ('AA t (a : as) ~ 'AA t1 as1)
- bound by a pattern with constructor:
- A :: forall (r :: [*]) (k :: BOX) (t :: k) (as :: [U *]).
- I ('AA t as) r,
- in an equation for ‘c’
- at T8566.hs:31:5
- The type variable ‘fs0’ is ambiguous
- Relevant bindings include
- c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps
- (bound at T8566.hs:31:3)
- In the expression: c undefined
- In an equation for ‘c’: c A = c undefined
- In the instance declaration for ‘C ('AA t (a : as)) ps fs’
+ +T8566.hs:31:9: + Could not deduce (C ('AA (t (I a ps)) as) ps fs0) + arising from a use of ‘c’ + from the context: C ('AA (t (I a ps)) as) ps fs + bound by the instance declaration at T8566.hs:29:10-67 + or from: 'AA t (a : as) ~ 'AA t1 as1 + bound by a pattern with constructor: + A :: forall (r :: [*]) (k :: BOX) (t :: k) (as :: [U *]). + I ('AA t as) r, + in an equation for ‘c’ + at T8566.hs:31:5 + The type variable ‘fs0’ is ambiguous + Relevant bindings include + c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps + (bound at T8566.hs:31:3) + In the expression: c undefined + In an equation for ‘c’: c A = c undefined + In the instance declaration for ‘C ('AA t (a : as)) ps fs’ |