Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9171.stderr
1
2 T9171.hs:10:20: error:
3     • Couldn't match expected type ‘GetParam Base (GetParam Base Int)’
4                   with actual type ‘GetParam Base (GetParam Base Int)’
5       NB: ‘GetParam’ is a type function, and may not be injective
6       The type variable ‘k20’ is ambiguous
7     • In the ambiguity check for an expression type signature
8       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
9       In an expression type signature: GetParam Base (GetParam Base Int)
10       In the expression: undefined :: GetParam Base (GetParam Base Int)