Safe Haskell validate failure

Simon Peyton-Jones simonpj at microsoft.com
Mon Apr 29 13:16:32 CEST 2013


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.

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130429/ef4ff878/attachment-0001.htm>


More information about the ghc-devs mailing list