diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T9171.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T9171.stderr | 33 |
1 files changed, 11 insertions, 22 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T9171.stderr b/testsuite/tests/indexed-types/should_fail/T9171.stderr index 28c1a2373f..9a618c50bf 100644 --- a/testsuite/tests/indexed-types/should_fail/T9171.stderr +++ b/testsuite/tests/indexed-types/should_fail/T9171.stderr @@ -1,22 +1,11 @@ - -T9171.hs:10:1: - Couldn't match expected type ‘GetParam Base (GetParam Base Int)’ - with actual type ‘GetParam Base (GetParam Base Int)’ - NB: ‘GetParam’ is a type function, and may not be injective - The kind variable ‘k0’ is ambiguous - Use -fprint-explicit-kinds to see the kind arguments - When checking that ‘foo’ has the inferred type - foo :: forall (k :: BOX). GetParam Base (GetParam Base Int) - Probable cause: the inferred type is ambiguous - -T9171.hs:10:20: - Couldn't match expected type ‘GetParam Base (GetParam Base Int)’ - with actual type ‘GetParam Base (GetParam Base Int)’ - NB: ‘GetParam’ is a type function, and may not be injective - The kind variable ‘k0’ is ambiguous - Use -fprint-explicit-kinds to see the kind arguments - In the ambiguity check for an expression type signature: - forall (k :: BOX). GetParam Base (GetParam Base Int) - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In an expression type signature: GetParam Base (GetParam Base Int) - In the expression: undefined :: GetParam Base (GetParam Base Int) +
+T9171.hs:10:20: error:
+ Couldn't match expected type ‘GetParam Base (GetParam Base Int)’
+ with actual type ‘GetParam Base (GetParam Base Int)’
+ NB: ‘GetParam’ is a type function, and may not be injective
+ The kind variable ‘k0’ is ambiguous
+ Use -fprint-explicit-kinds to see the kind arguments
+ In the ambiguity check for an expression type signature
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In an expression type signature: GetParam Base (GetParam Base Int)
+ In the expression: undefined :: GetParam Base (GetParam Base Int)
|