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 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 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@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

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@gmail.com] *Sent:* 29 April 2013 05:03 *To:* David Terei *Cc:* Simon Peyton-Jones; ghc-devs@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 mailto:davidterei@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 mailto:simonpj@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@haskell.org mailto:ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org mailto:ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs