Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858a.stderr
1
2 T9858a.hs:28:18: error:
3     No instance for (Typeable
4                        ((() :: Constraint, () :: Constraint) => ()))
5       arising from a use of ‘cast’
6       (maybe you haven't applied a function to enough arguments?)
7     In the expression: cast e
8     In the expression: case cast e of { Just e' -> ecast e' }
9     In an equation for ‘supercast’:
10         supercast
11           = case cast e of { Just e' -> ecast e' }
12           where
13               e = Refl
14               e :: E PX PX