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