Safe Haskell validate failure

[Simon Marlow]

On 29/04/13 12:16, Simon Peyton-Jones wrote:
> By the way, should I delay pushing patches to the IO manager until this
> is resolved?
>
> No... if these are the only problems (and are not yours) go ahead and push.

These are still happening.  Use BINDIST=YES to reproduce:

=====> ImpSafeOnly01(normal) 22 of 124 [0, 0, 0]
cd ./check/pkg01 && $MAKE -s --no-print-directory 
mkPackageDatabase.ImpSafeOnly01 VANILLA=--disable-library-vanilla 
PROF=--disable-library-profiling DYN=--enable-shared
cd ./check/pkg01 && 
'/home/simon/code-all/work/ghc-validate/bindisttest/install 
dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output 
-no-user-package-db -rtsopts -fno-ghci-history -c ImpSafeOnly01.hs 
-fpackage-trust -package-db pdb.ImpSafeOnly01/local.db -trust base 
 >ImpSafeOnly01.comp.stderr 2>&1
Compile failed (status 256) errors were:

ImpSafeOnly01.hs:4:1:
     Failed to load interface for ‛M_SafePkg’
     There are files missing in the ‛safePkg01-1.0’ package,
     try running 'ghc-pkg check'.
     Use -v to see a list of the files searched for.


Maybe the safePkg01-1.0 package (whatever that is) is not being installed?

Cheers,
	Simon



>
> Simon
>
> *From:*Andreas Voellmy [mailto:andreas.voellmy at gmail.com]
> *Sent:* 29 April 2013 05:03
> *To:* David Terei
> *Cc:* Simon Peyton-Jones; ghc-devs at haskell.org
> *Subject:* Re: Safe Haskell validate failure
>
> I can confirm that I see the same behavior (on linux) that Simon
> reported; that is, when I run validate, I see SafeHaskell failures, but
> when I run the make in testsuite/tests/safeHaskell/check everything
> checks out.
>
> By the way, should I delay pushing patches to the IO manager until this
> is resolved?
>
> -Andi
>
> On Tue, Apr 23, 2013 at 1:39 PM, David Terei <davidterei at gmail.com
> <mailto:davidterei at gmail.com>> wrote:
>
> I thought the parallel problems had all been resolved. I'll try to
> replicate locally.
>
> On 23 April 2013 01:11, Simon Peyton-Jones <simonpj at microsoft.com
> <mailto:simonpj at microsoft.com>> wrote:
>
>     When running validate I got these failures (below) from Safe Haskell.
>
>     Unexpected failures:
>
>         ghci/scripts               Defer02 [bad stderr] (ghci)
>
>         indexed-types/should_fail  T7786 [stderr mismatch] (normal)
>
>         perf/compiler              T3064 [stat too good] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly01 [exit code non-0] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly02 [exit code non-0] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly03 [stderr mismatch] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly04 [exit code non-0] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly05 [stderr mismatch] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly06 [exit code non-0] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly07 [stderr mismatch] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly08 [stderr mismatch] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly09 [stderr mismatch] (normal)
>
>         safeHaskell/check/pkg01    ImpSafeOnly10 [exit code non-0] (normal)
>
>         safeHaskell/check/pkg01    safePkg01 [bad exit code] (normal)
>
>     But when I manually did
>
>                cd testsuite/tests/safeHaskell/check
>
>                make
>
>     all went fine.  Everything passed.  Could this be a parallel-make
>     synch problem or something?  Or a make-clean problem?
>
>     Simon
>
>     =====> ImpSafeOnly01(normal) 1163 of 3620 [0, 0, 0]
>
>     cd ./safeHaskell/check/pkg01 && $MAKE -s --no-print-directory
>     mkPackageDatabase.ImpSafeOnly01 VANILLA=--disable-library-vanilla
>     PROF=--disable-library-profiling DYN=--enable-shared
>
>     Wrong exit code (expected 0 , actual 2 )
>
>     Stdout:
>
>     pdb.safePkg01/local.db:
>
>          safePkg01-1.0
>
>     trusted: False
>
>     M_SafePkg
>
>     Stderr:
>
>     pdb.safePkg01/dist/build/M_SafePkg.hi: openBinaryFile: does not
>     exist (No such file or directory)
>
>     make[3]: *** [safePkg01] Error 1
>
>     *** unexpected failure for safePkg01(normal)
>
>     cd ./safeHaskell/check/pkg01 && $MAKE -s --no-print-directory
>     cleanPackageDatabase.safePkg01
>
>     =====> ImpSafeOnly02(normal) 1164 of 3620 [0, 1, 0]
>
>     cd ./safeHaskell/check/pkg01 && $MAKE -s --no-print-directory
>     mkPackageDatabase.ImpSafeOnly02 VANILLA=--disable-library-vanilla
>     PROF=--disable-library-profiling DYN=--enable-shared
>
>     cd ./safeHaskell/check/pkg01 &&
>     '/5playpen/simonpj/HEAD/bindisttest/install   dir/bin/ghc'
>     -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output
>     -no-user-package-db -rtsopts -fno-ghci-history -c ImpSafeOnly01.hs
>     -fpackage-trust -package-db pdb.ImpSafeOnly01/local.db -trust base
>      >ImpSafeOnly01.comp.stderr 2>&1
>
>     Compile failed (status 256) errors were:
>
>     ImpSafeOnly01.hs:4:1:
>
>          Failed to load interface for ‛M_SafePkg’
>
>          There are files missing in the ‛safePkg01-1.0’ package,
>
>          try running 'ghc-pkg check'.
>
>          Use -v to see a list of the files searched for.
>
>     *** unexpected failure for ImpSafeOnly01(normal)
>
>     _______________________________________________
>     ghc-devs mailing list
>     ghc-devs at haskell.org <mailto:ghc-devs at haskell.org>
>     http://www.haskell.org/mailman/listinfo/ghc-devs
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org <mailto:ghc-devs at haskell.org>
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>