, compReprType
, compOrigType)
where
-import VectUtils
+import Vectorise.Utils
import Vectorise.Monad
import Vectorise.Builtins
where
arity = length tys
- comp_repr ty = liftM (Keep ty) (prDictOfType ty)
+ comp_repr ty = liftM (Keep ty) (prDictOfReprType ty)
`orElseV` return (Wrap ty)
sumReprType :: SumRepr -> VM Type