[nightly] 11-Sep-2007 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

[GHC Build Reports]

Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)
Build location    = /playpen/ghc/nightly/HEAD-cam-02-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx

Nightly build started on cam-02-unx at Tue Sep 11 19:30:01 BST 2007.
**** checking out new source tree                 ... ok. (GHC Version 6.7.20070911)
**** Building stage 1 compiler                    ... failed; relevant barfage is below.
No successfully built compilers to test; aborting.

------------------------------------------------------------------------
------------------------------------------------------------------------
The last 30 lines of /playpen/ghc/nightly/HEAD-cam-02-unx/logs/i386-unknown-linux-stage1 are
------------------------------------------------------------------------
------------------------------------------------------------------------

    Inferred type is less polymorphic than expected
	Quantified type variable `l'' escapes
	It is mentioned in the environment:
	  txl :: l1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
	  txm :: m1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
	Quantified type variable `l' escapes
	It unifies with `l1', which is mentioned in the environment:
	  blocks :: BlockEnv (Block m1 l1) (bound at cmm/ZipCfg.hs:495)
	  txl :: l1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
	Quantified type variable `m' escapes
	It unifies with `m1', which is mentioned in the environment:
	  blocks :: BlockEnv (Block m1 l1) (bound at cmm/ZipCfg.hs:495)
	  txm :: m1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
	Quantified type variable `m'' escapes
	It is mentioned in the environment:
	  txl :: l1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
	  txm :: m1 -> UniqSM (LGraph m' l') (bound at cmm/ZipCfg.hs:495)
    When trying to generalise the type inferred for `txtail'
	Signature type:     forall m' m l l'.
			    ZHead m'
			    -> ZTail m l
			       -> BlockEnv (Block m' l') -> UniqSM (BlockEnv (Block m' l'))
	Type to generalise: ZHead m'
			    -> ZTail m1 l1
			       -> BlockEnv (Block m' l') -> UniqSM (BlockEnv (Block m' l'))
    When checking the type signature for `txtail'
    When generalising the type(s) for `txtail'
<<ghc: 66707336 bytes, 15 GCs, 1699726/3140552 avg/max bytes residency (3 samples), 18M in use, 0.00 INIT (0.00 elapsed), 0.30 MUT (0.38 elapsed), 0.17 GC (0.17 elapsed) :ghc>>
gmake[1]: *** [stage1/cmm/ZipCfg.o] Error 1
gmake: *** [stage1] Error 1

Nightly run ended at Tue Sep 11 20:08:05 BST 2007