Today's validate failures

[Simon Marlow]

On 18/01/13 14:50, Simon Peyton-Jones wrote:
> I have no idea what the cabal ones are. They report
> +ghc-stage2: panic! (the 'impossible' happened)
> +  (GHC version 7.7 for x86_64-unknown-linux):
> +	no package state yet: call GHC.setSessionDynFlags

This happens when something touches pkgState in defaultDynFlags:

         pkgState                = panic "no package state yet: call 
GHC.setSessionDynFlags",

Could it be that the new demand analyser has made something too strict?

Cheers,
	Simon



> I've fixed rnfail055, T4201 (my fault sorry).
>
> haddock.base is ok for me.
>
> Simon
>
> | -----Original Message-----
> | From: ghc-devs-bounces at haskell.org [mailto:ghc-devs-bounces at haskell.org]
> | On Behalf Of Simon Marlow
> | Sent: 18 January 2013 11:54
> | To: ghc-devs at haskell.org
> | Subject: Today's validate failures
> |
> | I have several validate failures today:
> |
> | Unexpected failures:
> |     cabal                                1750 [bad stderr] (normal)
> |     cabal                                shadow [bad stderr] (normal)
> |     perf/haddock                         haddock.base [stat not good
> | enough] (normal)
> |     rename/should_fail                   rnfail055 [stderr mismatch]
> | (normal)
> |     simplCore/should_compile             T4201 [bad stdout] (normal)
> |
> | The cabal ones are mysterious, but I definitely didn't see them
> | yesterday, and I'm certain they're not caused by anything I've done.
> | The only patch in my tree is one that puts back the vector/primitive
> | submodules that I accidentally deleted.
> |
> |
> | Actual stderr output differs from expected:
> | --- ./rename/should_fail/rnfail055.stderr	2013-01-07 08:47:29.856696930
> | +0000
> | +++ ./rename/should_fail/rnfail055.comp.stderr	2013-01-18
> | 09:59:24.531420493 +0000
> | @@ -52,6 +52,19 @@
> |   RnFail055.hs-boot:17:12:
> |       T3' is exported by the hs-boot file, but not exported by the
> | module
> |
> | +RnFail055.hs-boot:19:6:
> | +    Type constructor `T4' has conflicting definitions in the module and
> | its hs-boot file
> | +    Main module: data T4 a
> | +                     No C type associated
> | +                     RecFlag Recursive
> | +                     = T4 :: forall a. (forall b. a -> b) -> T4 a
> | Stricts: _
> | +                     FamilyInstance: none
> | +    Boot file:   data T4 b
> | +                     No C type associated
> | +                     RecFlag NonRecursive
> | +                     = T4 :: forall b. (forall a. b -> a) -> T4 b
> | Stricts: _
> | +                     FamilyInstance: none
> | +
> |   RnFail055.hs-boot:21:6:
> |       Type constructor `T5' has conflicting definitions in the module
> | and its hs-boot file
> |       Main module: data T5 a
> | *** unexpected failure for rnfail055(normal)
> |
> | Actual stdout output differs from expected:
> | --- ./simplCore/should_compile/T4201.stdout	2013-01-07
> | 08:47:29.856696930 +0000
> | +++ ./simplCore/should_compile/T4201.run.stdout	2013-01-18
> | 09:57:59.015418374 +0000
> | @@ -1,3 +1,3 @@
> | -       Unfolding: (Eta.bof
> | -                     `cast`
> | -                   (Sym (Eta.NTCo:Foo[0]) -> Refl Eta.T)) -}
> | +    {- Arity: 1, HasNoCafRefs, Strictness: <S,U>m,
> | +       Unfolding: InlineRule (0, True, True)
> | +                  Eta.bof `cast` (Sym (Eta.NTCo:Foo[0]) -> Refl Eta.T)
> | + -}
> | *** unexpected failure for T4201(normal)
> |
> |
> |
> | Actual stderr output differs from expected:
> | --- ./rename/should_fail/rnfail055.stderr	2013-01-07 08:47:29.856696930
> | +0000
> | +++ ./rename/should_fail/rnfail055.comp.stderr	2013-01-18
> | 09:59:24.531420493 +0000
> | @@ -52,6 +52,19 @@
> |   RnFail055.hs-boot:17:12:
> |       T3' is exported by the hs-boot file, but not exported by the
> | module
> |
> | +RnFail055.hs-boot:19:6:
> | +    Type constructor `T4' has conflicting definitions in the module and
> | its hs-boot file
> | +    Main module: data T4 a
> | +                     No C type associated
> | +                     RecFlag Recursive
> | +                     = T4 :: forall a. (forall b. a -> b) -> T4 a
> | Stricts: _
> | +                     FamilyInstance: none
> | +    Boot file:   data T4 b
> | +                     No C type associated
> | +                     RecFlag NonRecursive
> | +                     = T4 :: forall b. (forall a. b -> a) -> T4 b
> | Stricts: _
> | +                     FamilyInstance: none
> | +
> |   RnFail055.hs-boot:21:6:
> |       Type constructor `T5' has conflicting definitions in the module
> | and its hs-boot file
> |       Main module: data T5 a
> | *** unexpected failure for rnfail055(normal)
> |
> | _______________________________________________
> | ghc-devs mailing list
> | ghc-devs at haskell.org
> | http://www.haskell.org/mailman/listinfo/ghc-devs
>