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 Mon Sep 10 19:30:00 BST 2007.
**** checking out new source tree                 ... ok. (GHC Version 
6.7.20070910)
**** 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.29 MUT (0.38 elapsed), 0.17 
GC (0.16 elapsed) :ghc>>
gmake[1]: *** [stage1/cmm/ZipCfg.o] Error 1
gmake: *** [stage1] Error 1

Nightly run ended at Mon Sep 10 20:18:46 BST 2007

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to