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

[Simon Marlow]

GHC Build Reports wrote:
>
>     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

I believe I have now fixed the 6.2.x bootstrap, also I've started a STABLE 
nightly build on the x86/Linux machine.

Cheers,
	Simon