diff options
Diffstat (limited to 'testsuite/tests/polykinds/T10503.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T10503.stderr | 31 |
1 files changed, 15 insertions, 16 deletions
diff --git a/testsuite/tests/polykinds/T10503.stderr b/testsuite/tests/polykinds/T10503.stderr index e2817fe776..071ab5e88e 100644 --- a/testsuite/tests/polykinds/T10503.stderr +++ b/testsuite/tests/polykinds/T10503.stderr @@ -1,16 +1,15 @@ - -T10503.hs:8:6: error: - Couldn't match kind ‘k’ with ‘*’ - ‘k’ is a rigid type variable bound by - the type signature for: - h :: ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r - at T10503.hs:8:6 - Expected type: Proxy 'KProxy - Actual type: Proxy 'KProxy - In the ambiguity check for the type signature for ‘h’: - h :: forall (k :: BOX) r. - ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‘h’: - h :: forall r. - (Proxy (KProxy :: KProxy k) ~ Proxy (KProxy :: KProxy *) => r) -> r +
+T10503.hs:8:6: error:
+ Couldn't match kind ‘k’ with ‘*’
+ ‘k’ is a rigid type variable bound by
+ the type signature for:
+ h :: forall (k :: BOX) r.
+ ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
+ at T10503.hs:8:6
+ Expected type: Proxy 'KProxy
+ Actual type: Proxy 'KProxy
+ 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) -> r
|