Commit 4a7117cd authored by benl's avatar benl
Browse files

vectoriser: shift modules about the generic representation into their own dir

parent bc752fbf
......@@ -473,11 +473,11 @@ Library
Vectorise.Utils.PADict
Vectorise.Utils.Poly
Vectorise.Utils
Vectorise.Generic.Description
Vectorise.Generic.PAMethods
Vectorise.Generic.PADict
Vectorise.Type.Env
Vectorise.Type.Repr
Vectorise.Type.PData
Vectorise.Type.PRepr
Vectorise.Type.PADict
Vectorise.Type.Type
Vectorise.Type.TyConDecl
Vectorise.Type.Classify
......
-- | Compute the generic representation type for data types.
-- | Compute a description of the generic representation that we use for
-- a user defined data type.
--
-- During vectorisation, we generate a PRepr and PA instance for each user defined
-- data type. The PA dictionary contains methods to convert the user type to and
-- from our generic representation. This module computes a description of what
-- that generic representation is.
--
module Vectorise.Type.Repr (
module Vectorise.Generic.Description (
CompRepr (..), ProdRepr (..), ConRepr (..), SumRepr (..),
tyConRepr, sumReprType, conReprType, prodReprType, compReprType, compOrigType
) where
......
module Vectorise.Type.PADict
module Vectorise.Generic.PADict
( buildPADict
) where
import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.Repr
import Vectorise.Type.PRepr ( buildPAScAndMethods )
import Vectorise.Generic.Description
import Vectorise.Generic.PAMethods ( buildPAScAndMethods )
import Vectorise.Utils
import BasicTypes
......
module Vectorise.Type.PRepr
module Vectorise.Generic.PAMethods
( buildPReprTyCon
, buildPAScAndMethods
) where
......@@ -6,7 +6,7 @@ module Vectorise.Type.PRepr
import Vectorise.Utils
import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.Repr
import Vectorise.Generic.Description
import CoreSyn
import CoreUtils
import MkCore ( mkWildCase )
......
......@@ -15,10 +15,10 @@ import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.TyConDecl
import Vectorise.Type.Classify
import Vectorise.Type.PADict
import Vectorise.Type.PData
import Vectorise.Type.PRepr
import Vectorise.Type.Repr
import Vectorise.Generic.PADict
import Vectorise.Generic.PAMethods
import Vectorise.Generic.Description
import Vectorise.Utils
import CoreSyn
......
......@@ -6,7 +6,7 @@ where
import Vectorise.Monad
import Vectorise.Builtins
import Vectorise.Type.Repr
import Vectorise.Generic.Description
import Vectorise.Utils
import BasicTypes
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment