Rebuilding ghc

[Simon Peyton-Jones]

Sorry about this -- it's my fault.  I did validate a fix to the desugarer, but ndp isn't part of 'validate'.  Turns out that the change to the desugarer provoked quite subtle and longstanding bug in the simplifier.

To get rolling again, use -fno-ds-multi-tyvar. Or just don't compile NDP. I'll commit a patch shortly.

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| users-bounces at haskell.org] On Behalf Of Dominic Steinitz
| Sent: 12 June 2008 22:05
| To: Judah Jacobson
| Cc: glasgow-haskell-users at haskell.org
| Subject: Re: Rebuilding ghc
|
| This is becoming a bit of an odyssey ("a series of vicissitudes"). I now
| get a bug in ghc. Should I report it?
|
| Dominic.
|
| > /home/dom/ghc/compiler/stage1/ghc-inplace -package-name ndp-0.2 -hide-all-
| packag
| > es -i -idist/build -i. -idist/build/autogen -Idist/build -Iinclude -odir
| dist/bu
| > ild -hidir dist/build -stubdir dist/build -package array-0.1 -package base-
| 3.0 -
| > package ghc-prim-0.1 -package random-1.0 -O -O2 -funbox-strict-fields -
| fdicts-ch
| > eap -fno-method-sharing -fno-spec-constr-threshold -fmax-simplifier-
| iterations10
| >  -haddock -fcpr-off -package-name ndp -XTypeFamilies -XGADTs -XRankNTypes -
| XBang
| > Patterns -XMagicHash -XUnboxedTuples -XTypeOperators -idist/build  -H32m -
| O2 -fa
| > sm -Rghc-timing -O -fgenerics  -c Data/Array/Parallel/Base/Rebox.hs -o
| dist/buil
| > d/Data/Array/Parallel/Base/Rebox.o  -ohi
| dist/build/Data/Array/Parallel/Base/Reb
| > ox.hi
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file coreSyn/CoreSubst.lhs line 182
| > CoreSubst.lookupIdSubst dseq{v sk4} [lid]
| > WARNING: file coreSyn/CoreSubst.lhs line 182
| > CoreSubst.lookupIdSubst rebox{v sk5} [lid]
| > WARNING: file coreSyn/CoreSubst.lhs line 182
| > CoreSubst.lookupIdSubst dseq{v sjY} [lid]
| > WARNING: file coreSyn/CoreSubst.lhs line 182
| > CoreSubst.lookupIdSubst rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sjZ} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sjY} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 rebox{v sk5} [lid]
| > WARNING: file simplCore/SimplEnv.lhs line 470 dseq{v sk4} [lid]
| > WARNING: file stgSyn/CoreToStg.lhs line 217
| > ndp:Data.Array.Parallel.Base.Rebox.$f2{v rfZ} [gid]
| > ghc-6.9.20080612: panic! (the 'impossible' happened)
| >   (GHC version 6.9.20080612 for i386-unknown-linux):
| >         ASSERT failed! file stgSyn/CoreToStg.lhs line 184
| > ndp:Data.Array.Parallel.Base.Rebox.$f2{v rfZ} [gid]
| > \ (@ a{tv ae0} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}) ->
| >   ndp:Data.Array.Parallel.Base.Rebox.:DRebox{v rf4} [gid]
| >     @ (<nt>ndp:Data.Array.Parallel.Base.Rebox.Box{tc rdA}
| >          a{tv ae0} [sk])
| >     (rebox{v sjZ} [lid] @ a{tv ae0} [sk])
| >     (dseq{v sjY} [lid] @ a{tv ae0} [sk])
| > ndp:Data.Array.Parallel.Base.Rebox.$f2{v rfZ} [gid] =
| >     NO_CCS ndp:Data.Array.Parallel.Base.Rebox.:DRebox{d reZ}! [rebox{v sjZ}
| [lid                                                           ]
| >                                                                dseq{v sjY}
| [lid]                                                           ];
| >
| > Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
| >
| > <<ghc: 100165388 bytes, 7 GCs, 104448/110592 avg/max bytes residency (2
| samples)                                                           , 35M in
| use, 0.00 INIT (0.00 elapsed), 0.22 MUT (0.25 elapsed), 0.02 GC (0.02 e
| lapsed) :ghc>>
| > make[2]: *** [dist/build/Data/Array/Parallel/Base/Rebox.o] Error 1
| > make[2]: Leaving directory `/home/dom/ghc/libraries/ndp'
| > make[1]: *** [make.library.ndp] Error 2
| > make[1]: Leaving directory `/home/dom/ghc/libraries'
| > make: *** [stage1] Error 2
|
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users