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