vectoriser: shift modules about the generic representation into their own dir
authorBen Lippmeier <benl@ouroborus.net>
Mon, 14 Nov 2011 03:21:33 +0000 (14:21 +1100)
committerBen Lippmeier <benl@ouroborus.net>
Mon, 14 Nov 2011 03:21:33 +0000 (14:21 +1100)
compiler/ghc.cabal.in
compiler/vectorise/Vectorise/Generic/Description.hs [moved from compiler/vectorise/Vectorise/Type/Repr.hs with 98% similarity]
compiler/vectorise/Vectorise/Generic/PADict.hs [moved from compiler/vectorise/Vectorise/Type/PADict.hs with 96% similarity]
compiler/vectorise/Vectorise/Generic/PAMethods.hs [moved from compiler/vectorise/Vectorise/Type/PRepr.hs with 99% similarity]
compiler/vectorise/Vectorise/Type/Env.hs
compiler/vectorise/Vectorise/Type/PData.hs

index aea6d8d..7424b35 100755 (executable)
@@ -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
@@ -1,12 +1,13 @@
 
--- | 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
similarity index 96%
rename from compiler/vectorise/Vectorise/Type/PADict.hs
rename to compiler/vectorise/Vectorise/Generic/PADict.hs
index e1aa6ea..9f4b425 100644 (file)
@@ -1,12 +1,12 @@
 
-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
@@ -1,4 +1,4 @@
-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 )
index a6112c7..5f76295 100644 (file)
@@ -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
index f8e5a93..7f37929 100644 (file)
@@ -6,7 +6,7 @@ where
 
 import Vectorise.Monad
 import Vectorise.Builtins
-import Vectorise.Type.Repr
+import Vectorise.Generic.Description
 import Vectorise.Utils
 
 import BasicTypes