dph-test: cleanups
authorBen Lippmeier <benl@ouroborus.net>
Fri, 4 Nov 2011 04:40:13 +0000 (15:40 +1100)
committerBen Lippmeier <benl@ouroborus.net>
Fri, 4 Nov 2011 04:40:13 +0000 (15:40 +1100)
dph-test/framework/Util/Array.hs
dph-test/test/PArray/PRFuns.hs

index 4733b54..73ef8ca 100644 (file)
@@ -1,5 +1,7 @@
 
+-- | Generic array class, used for testing only.
 module Util.Array where
+import Control.Monad
 import Data.Vector              (Vector)
 import qualified Data.Vector    as V
 import qualified Prelude        as P
@@ -30,9 +32,12 @@ instance Array Vector e where
  fromVector     = id
 
 
+-- | Convert a list to an array.
 fromList :: Array a e => [e] -> a e
 fromList = fromVector . V.fromList
 
+
+-- | Convert an array to a list.
 toList   :: Array a e => a e -> [e]
 toList   = V.toList . toVector
 
index 158953a..dbdbd0c 100644 (file)
@@ -9,30 +9,22 @@
 import DPH.Arbitrary
 import DPH.Testsuite
 import Util.Array
-import Util.Nesting
-
 import Data.Array.Parallel.Base                 (Tag)
 import Data.Array.Parallel.Pretty
 import Data.Array.Parallel.PArray               (PA)
-import Data.Array.Parallel.PArray.PData         (PArray(..), PData, PDatas, PR(..))
 import Data.Array.Parallel.PArray.PData.Base    ()
-
+import Data.Array.Parallel.PArray.PData
 import Data.Array.Parallel.PArray.PData.Nested
-        ( concatPR,  concatlPR
-        , unconcatPR
-        , appendlPR
-        , unsafeFlattenPR)
-
-import Text.PrettyPrint                         as T
 import GHC.Exts
 import Control.Monad
 import Data.Vector                              (Vector)
+import Text.PrettyPrint                         as T
 import Prelude                                  as P
 import qualified Data.Vector                    as V
 import qualified Data.Array.Parallel.Unlifted   as U
 import qualified Data.Array.Parallel.PArray     as PA
 import qualified DPH.Operators.List             as L
-import Debug.Trace
+
 
 -- NOTE:
 -- The 'b' element type contains one less level of nesting compared with the
@@ -257,7 +249,7 @@ $(testcases [ ""        <@ [t|  PArray Int |]
                                 (packByTagPR pdata uarrTags 0)
                                 (packByTagPR pdata uarrTags 1)
 
-        in  validPR pdata' && pdata == pdata'
+        in  validPR pdata' && toVector pdata == toVector pdata'
 
 
   -- Derived Functions --------------------------------------------------------
@@ -293,7 +285,7 @@ $(testcases [ ""        <@ [t|  PArray Int |]
    = let  pdata'  = concatPR   pdata  
           pdata'' = unconcatPR pdata pdata'
 
-     in   validPR pdata'' && pdata == pdata''
+     in   validPR pdata'' && toVectors2 pdata == toVectors2 pdata''
 
 
   -- TODO: Joint22 requires second level lengths to be the same, but this isn't nessesary.
@@ -315,20 +307,6 @@ $(testcases [ ""        <@ [t|  PArray Int |]
   |])
 
 
--- TODO: shift this to D.A.P.BasePretty
-instance (PprPhysical a, PprPhysical b)
-        => PprPhysical (a, b) where
- pprp (x, y)
-  = vcat
-        [ text "Tuple2"
-        , T.nest 4 $ pprp x
-        , T.nest 4 $ pprp y]
-
-instance (PR a, Eq a) => Eq (PData a) where
- xs == ys
-        = toVectorPR xs == toVectorPR ys
-
-
 -- Nesting --------------------------------------------------------------------
 instance PR a => Array PData a where
  length       = lengthPR