blob: a42339ed78b405d1f2d4459a02e0c95bac675c26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T9858a.hs:28:18: error:
No instance for (Typeable
((() :: Constraint, () :: Constraint) => ()))
arising from a use of ‘cast’
(maybe you haven't applied a function to enough arguments?)
In the expression: cast e
In the expression: case cast e of { Just e' -> ecast e' }
In an equation for ‘supercast’:
supercast
= case cast e of { Just e' -> ecast e' }
where
e = Refl
e :: E PX PX
|