Validate failures in dph tests

[Manuel M T Chakravarty]

This is due to SimonPJ's recursive superclass patch (and the resulting changes in the layout of dfuns).  Roman is currently adapting the vectoriser to use the new layout.

Manuel

Simon Marlow:
> 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 ***
> 
> _______________________________________________
> Cvs-ghc mailing list
> Cvs-ghc at haskell.org
> http://www.haskell.org/mailman/listinfo/cvs-ghc