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