module Vectorise.Type.PData
(buildPDataTyCon)
where
-import VectUtils
import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.Repr
+import Vectorise.Utils
import BasicTypes
import BuildTyCl
import DataCon
import TyCon
import Type
-import OccName
import Name
import Util
import MonadUtils
rec_flag -- FIXME: is this ok?
False -- FIXME: no generics
False -- not GADT syntax
+ NoParentTyCon
(Just $ mk_fam_inst pdata vect_tc)
where
orig_name = tyConName orig_tc