diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15629.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T15629.stderr | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15629.stderr b/testsuite/tests/typecheck/should_fail/T15629.stderr index 3599acef73..c1d751bee2 100644 --- a/testsuite/tests/typecheck/should_fail/T15629.stderr +++ b/testsuite/tests/typecheck/should_fail/T15629.stderr @@ -1,17 +1,26 @@ -T15629.hs:26:37: error: +T15629.hs:26:31: error: • Couldn't match kind ‘z’ with ‘ab’ - Expected kind ‘x ~> F x ab’, - but ‘F1Sym :: x ~> F x z’ has kind ‘x ~> F x z’ + Expected kind ‘F x ab ~> F x ab’, + but ‘Comp (F1Sym :: x ~> F x z) F2Sym’ has kind ‘TyFun + (F x ab) (F x z) + -> *’ ‘z’ is a rigid type variable bound by an explicit forall z ab at T15629.hs:26:17 ‘ab’ is a rigid type variable bound by an explicit forall z ab at T15629.hs:26:19-20 - • In the first argument of ‘Comp’, namely ‘(F1Sym :: x ~> F x z)’ - In the first argument of ‘Proxy’, namely + • In the first argument of ‘Proxy’, namely ‘((Comp (F1Sym :: x ~> F x z) F2Sym) :: F x ab ~> F x ab)’ In the type signature: - g :: forall z ab. Proxy ((Comp (F1Sym :: x - ~> F x z) F2Sym) :: F x ab ~> F x ab) + g :: forall z ab. + Proxy ((Comp (F1Sym :: x ~> F x z) F2Sym) :: F x ab ~> F x ab) + In an equation for ‘f’: + f _ + = () + where + g :: + forall z ab. + Proxy ((Comp (F1Sym :: x ~> F x z) F2Sym) :: F x ab ~> F x ab) + g = sg Proxy Proxy |