Fwd: Problem with hoopl x86_64 linux ghc 7.1

[Vivian McPhail]

---------- Forwarded message ----------
From: Vivian McPhail <haskell.vivian.mcphail at gmail.com>
Date: 2 February 2011 00:43
Subject: Re: Problem with hoopl x86_64 linux ghc 7.1
To: Simon Peyton-Jones <simonpj at microsoft.com>




On 2 February 2011 00:37, Simon Peyton-Jones <simonpj at microsoft.com> wrote:

>  What version of ghc is in /home/ghc/bin/ghc?
>
>
>
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.0.0.20100930


> You imply it is 7.1.20110131.  Is that right?
>
>
>
> In that case GHC would surely fail to bootstrap; but it bootstraps ok for
> us.  Very strnge.
>
>
>
> What happens if you build GHC starting with, say 6.12?
>
>
>
I'll check


>  S
>
>
>
> *From:* cvs-ghc-bounces at haskell.org [mailto:cvs-ghc-bounces at haskell.org] *On
> Behalf Of *Alexander McPhail
> *Sent:* 01 February 2011 09:10
> *To:* cvs-ghc at haskell.org
> *Subject:* Problem with hoopl x86_64 linux ghc 7.1
>
>
>
> ghc-7.1.20110131
> linux x86_64
>
> $ make dist-clean && perl boot && ./configure && make -j6
>
> [..]
>
> "/home/ghc/bin/ghc"   -H64m -O0 -fasm  -package-conf
> libraries/bootstrapping.conf  -package-name ghc-7.1 -hide-all-packages -i
> -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
> -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
> -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser
> -icompiler/prelude -icompiler/profiling -icompiler/rename
> -icompiler/simplCore -icompiler/simplStg -icompiler/specialise
> -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types
> -icompiler/utils -icompiler/vectorise -icompiler/stage1/build
> -icompiler/stage1/build/autogen -Icompiler/stage1/build
> -Icompiler/stage1/build/autogen -Icompiler/stage1
> -Icompiler/../libraries/base/cbits -Icompiler/../libraries/base/include
> -Icompiler/. -Icompiler/parser -Icompiler/utils    -optP-include
> -optPcompiler/stage1/build/autogen/cabal_macros.h -package Cabal-1.11.0
> -package array-0.3.0.2 -package base-4.3.0.0 -package bin-package-db-0.0.0.0
> -package bytestring-0.9.1.8 -package containers-0.4.0.0 -package
> directory-1.1.0.0 -package filepath-1.2.0.0 -package hoopl-3.8.6.1 -package
> hpc-0.5.0.6 -package old-time-1.0.0.6 -package process-1.0.1.4 -package
> unix-2.4.1.0  -Wall -fno-warn-name-shadowing -fno-warn-orphans -XHaskell98
> -XCPP -XMagicHash -XUnboxedTuples -XPatternGuards -XForeignFunctionInterface
> -XEmptyDataDecls -XTypeSynonymInstances -XMultiParamTypeClasses
> -XFlexibleInstances -XRank2Types -XScopedTypeVariables -XDeriveDataTypeable
> -DSTAGE=1 -O -fasm -no-user-package-conf -rtsopts     -odir
> compiler/stage1/build -hidir compiler/stage1/build -stubdir
> compiler/stage1/build -hisuf hi -osuf  o -hcsuf hc -c
> compiler/iface/IfaceType.lhs -o compiler/stage1/build/IfaceType.o
> "/home/ghc/bin/ghc"   -H64m -O0 -fasm  -package-conf
> libraries/bootstrapping.conf  -package-name ghc-7.1 -hide-all-packages -i
> -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn
> -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface
> -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser
> -icompiler/prelude -icompiler/profiling -icompiler/rename
> -icompiler/simplCore -icompiler/simplStg -icompiler/specialise
> -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types
> -icompiler/utils -icompiler/vectorise -icompiler/stage1/build
> -icompiler/stage1/build/autogen -Icompiler/stage1/build
> -Icompiler/stage1/build/autogen -Icompiler/stage1
> -Icompiler/../libraries/base/cbits -Icompiler/../libraries/base/include
> -Icompiler/. -Icompiler/parser -Icompiler/utils    -optP-include
> -optPcompiler/stage1/build/autogen/cabal_macros.h -package Cabal-1.11.0
> -package array-0.3.0.2 -package base-4.3.0.0 -package bin-package-db-0.0.0.0
> -package bytestring-0.9.1.8 -package containers-0.4.0.0 -package
> directory-1.1.0.0 -package filepath-1.2.0.0 -package hoopl-3.8.6.1 -package
> hpc-0.5.0.6 -package old-time-1.0.0.6 -package process-1.0.1.4 -package
> unix-2.4.1.0  -Wall -fno-warn-name-shadowing -fno-warn-orphans -XHaskell98
> -XCPP -XMagicHash -XUnboxedTuples -XPatternGuards -XForeignFunctionInterface
> -XEmptyDataDecls -XTypeSynonymInstances -XMultiParamTypeClasses
> -XFlexibleInstances -XRank2Types -XScopedTypeVariables -XDeriveDataTypeable
> -DSTAGE=1 -O -fasm -no-user-package-conf -rtsopts     -odir
> compiler/stage1/build -hidir compiler/stage1/build -stubdir
> compiler/stage1/build -hisuf hi -osuf  o -hcsuf hc -c
> compiler/iface/IfaceSyn.lhs -o compiler/stage1/build/IfaceSyn.o
> "/home/ghc/bin/ghc"   -H64m -O0 -fasm  -package-conf
> libraries/bootstrapping.conf  -package-name hoopl-3.8.6.1 -hide-all-packages
> -i -ilibraries/hoopl/src -ilibraries/hoopl/dist-boot/build
> -ilibraries/hoopl/dist-boot/build/autogen -Ilibraries/hoopl/dist-boot/build
> -Ilibraries/hoopl/dist-boot/build/autogen -Ilibraries/hoopl/.
> -optP-include -optPlibraries/hoopl/dist-boot/build/autogen/cabal_macros.h
> -package base-4.3.0.0 -package containers-0.4.0.0  -Wall
> -fno-warn-name-shadowing -XHaskell98 -no-user-package-conf -rtsopts
> -odir libraries/hoopl/dist-boot/build -hidir libraries/hoopl/dist-boot/build
> -stubdir libraries/hoopl/dist-boot/build -hisuf hi -osuf  o -hcsuf hc -c
> libraries/hoopl/src/Compiler/Hoopl/XUtil.hs -o
> libraries/hoopl/dist-boot/build/Compiler/Hoopl/XUtil.o
>
> libraries/hoopl/src/Compiler/Hoopl/XUtil.hs:450:19:
>     Couldn't match type `IndexedCO e1 a a' with `IndexedCO e1 a a'
>     NB: `IndexedCO' is a type function, and may not be injective
>     In the expression: foldBlockNodesF f
>     In an equation for `block': block = foldBlockNodesF f
>     In an equation for `foldGraphNodes':
>         foldGraphNodes f
>           = graph
>           where
>               graph :: forall e x. Graph n e x -> a -> a
>               lift ::
>                 forall thing ex. (thing -> a -> a) -> (MaybeO ex thing -> a
> -> a)
>               graph GNil = id
>               graph (GUnit b) = block b
>               graph (GMany e b x) = lift block e . body b . lift block x
>               body :: Body n -> a -> a
>               ....
>
> libraries/hoopl/src/Compiler/Hoopl/XUtil.hs:450:19:
>     Couldn't match type `IndexedCO x1 a a' with `IndexedCO x1 a a'
>     NB: `IndexedCO' is a type function, and may not be injective
>     In the expression: foldBlockNodesF f
>     In an equation for `block': block = foldBlockNodesF f
>     In an equation for `foldGraphNodes':
>         foldGraphNodes f
>           = graph
>           where
>               graph :: forall e x. Graph n e x -> a -> a
>               lift ::
>                 forall thing ex. (thing -> a -> a) -> (MaybeO ex thing -> a
> -> a)
>               graph GNil = id
>               graph (GUnit b) = block b
>               graph (GMany e b x) = lift block e . body b . lift block x
>               body :: Body n -> a -> a
>               ....
> make[1]: *** [libraries/hoopl/dist-boot/build/Compiler/Hoopl/XUtil.o] Error
> 1
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/cvs-ghc/attachments/20110202/7a1a790d/attachment-0001.htm>