diff options
Diffstat (limited to 'testsuite/tests/polykinds/T10503.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T10503.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T10503.stderr b/testsuite/tests/polykinds/T10503.stderr index 9fb87e9be7..a47a872253 100644 --- a/testsuite/tests/polykinds/T10503.stderr +++ b/testsuite/tests/polykinds/T10503.stderr @@ -4,14 +4,14 @@ T10503.hs:8:6: error: from the context: Proxy 'KProxy ~ Proxy 'KProxy bound by a type expected by the context: (Proxy 'KProxy ~ Proxy 'KProxy) => r - at T10503.hs:8:6-85 + at T10503.hs:8:6-87 ‘k’ is a rigid type variable bound by the type signature for: h :: forall k r. ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r - at T10503.hs:8:6-85 + at T10503.hs:8:6-87 • In the ambiguity check for ‘h’ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: - h :: forall r. + h :: forall k r. (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r |