Safe Haskell validate failure

Andreas Voellmy andreas.voellmy at gmail.com
Mon Apr 29 06:03:20 CEST 2013


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> 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> 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
>> 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130429/8861510d/attachment-0001.htm>


More information about the ghc-devs mailing list