Bump `base` version to 4.9.0.0 (closes #11026)
[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