Do not allow Typeable on constraints (Trac #9858)
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858a.stderr
1
2 T9858a.hs:28:18: error:
3     No instance for (Typeable (() :: Constraint))
4       arising from a use of ‘cast’
5     In the expression: cast e
6     In the expression: case cast e of { Just e' -> ecast e' }
7     In an equation for ‘supercast’:
8         supercast
9           = case cast e of { Just e' -> ecast e' }
10           where
11               e = Refl
12               e :: E PX PX