Refactor treatment of wildcards
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4093a.stderr
1
2 T4093a.hs:8:8: error:
3     • Could not deduce: e ~ ()
4       from the context: Foo e ~ Maybe e
5         bound by the type signature for:
6                    hang :: (Foo e ~ Maybe e) => Foo e
7         at T4093a.hs:7:1-34
8       ‘e’ is a rigid type variable bound by
9         the type signature for:
10           hang :: forall e. (Foo e ~ Maybe e) => Foo e
11         at T4093a.hs:7:9
12       Expected type: Foo e
13         Actual type: Maybe ()
14     • In the expression: Just ()
15       In an equation for ‘hang’: hang = Just ()
16     • Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1)