Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T9036.stderr
1
2 T9036.hs:17:17:
3     Couldn't match type ‘Curried t [t]’ with ‘Curried t0 [t0]’
4     NB: ‘Curried’ is a type function, and may not be injective
5     The type variable ‘t0’ is ambiguous
6     Expected type: Maybe (GetMonad t after) -> Curried t [t]
7       Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]
8     In the ambiguity check for:
9       forall t after. Maybe (GetMonad t after) -> Curried t [t]
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11     In the type signature for ‘simpleLogger’:
12       simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]