Safe Haskell validate failure

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
6 messages Options
Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

Simon Peyton Jones
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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130423/44bff85c/attachment.htm>

Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

David Terei
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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130423/5212d9d7/attachment.htm>

Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

Andreas Voellmy
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>

Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

Simon Peyton Jones
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>

Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

Simon Marlow-7
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
>



Reply | Threaded
Open this post in threaded view
|

Safe Haskell validate failure

Ian Lynagh-2
On Fri, May 10, 2013 at 09:25:42AM +0100, Simon Marlow wrote:
>
> 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

Aha, the problem was that the detection of what library ways are
available was broken. I've fixed it.


Thanks
Ian