Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4093a.stderr
1
2 T4093a.hs:7:9:
3     Could not deduce (Foo e0 ~ Maybe e0)
4     from the context (Foo e ~ Maybe e)
5       bound by the type signature for hang :: (Foo e ~ Maybe e) => Foo e
6       at T4093a.hs:7:9-34
7     The type variable ‘e0’ is ambiguous
8     In the ambiguity check for: forall e. (Foo e ~ Maybe e) => Foo e
9     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
10     In the type signature for ‘hang’:
11       hang :: (Foo e ~ Maybe e) => Foo e