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
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
