Improve improvement in the constraint solver
[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: hang :: (Foo e ~ Maybe e) => Foo e
6       at T4093a.hs:7:9-34
7       ‘e’ is a rigid type variable bound by
8           the type signature for: hang :: (Foo e ~ Maybe e) => Foo e
9           at T4093a.hs:7:9
10     Expected type: Foo e
11       Actual type: Maybe ()
12     Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1)
13     In the expression: Just ()
14     In an equation for ‘hang’: hang = Just ()