Validate failures in dph tests

Simon Marlow marlowsd at gmail.com
Wed Dec 15 15:35:01 CET 2010


I'm getting -dcore-lint errors in the dph tests in my validate build. 
Does anyone know anything about this?

=====> dph-quickhull-fast(normal) 1075 of 2688 [0, 1, 0]
cd ./dph/quickhull && '/64playpen/simonmar/validate/bindisttest/install 
dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output 
-no-user-package-conf -rtsopts  --make -o dph-quickhull-fast Main  -O 
-fno-rewrite-rules -package dph-par -package dph-prim-par 
 >dph-quickhull-fast.comp.stderr 2>&1
Compile failed (status 256) errors were:

on the commandline:
     Warning: -fno-rewrite-rules is deprecated: Use 
-fno-enable-rewrite-rules instead
[1 of 5] Compiling SVG              ( SVG.hs, SVG.o )
[2 of 5] Compiling Types            ( Types.hs, Types.o )
*** Core Lint errors : in result of Vectorisation ***
<no location info>:
     In the expression: Data.Array.Parallel.Lifted.Instances.$fPAPArray
                          @ GHC.Types.Double 
Data.Array.Parallel.Lifted.Instances.$fPADouble
     Argument value doesn't match argument type:
     Fun type:
         (Data.Array.Parallel.Lifted.PArray.PR
            (Data.Array.Parallel.Lifted.PArray.PRepr
               (Data.Array.Parallel.Lifted.PArray.PArray GHC.Types.Double)),
          Data.Array.Parallel.Lifted.PArray.PA GHC.Types.Double) =>
         Data.Array.Parallel.Lifted.PArray.PA
           (Data.Array.Parallel.Lifted.PArray.PArray GHC.Types.Double)
     Arg type: Data.Array.Parallel.Lifted.PArray.PA GHC.Types.Double
     Arg: Data.Array.Parallel.Lifted.Instances.$fPADouble
*** Offending Program ***



More information about the Cvs-ghc mailing list