Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1900.stderr
1
2 T1900.hs:13:10:
3     Couldn't match type ‘Depend s0’ with ‘Depend s’
4     NB: ‘Depend’ is a type function, and may not be injective
5     The type variable ‘s0’ is ambiguous
6     Expected type: Depend s -> Bool
7       Actual type: Depend s0 -> Bool
8     In the ambiguity check for: forall s. Bug s => Depend s -> Bool
9     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
10     In the type signature for ‘check’:
11       check :: (Bug s) => Depend s -> Bool