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