Invalid binding names in generated Core code

[Tobias Gedell]

The generation of binding names doesn't seem to work correctly. I have generated Core for Base.lhs by standing in the .../ghc-5.05.20030119/libraries/base directory and giving the command:

../../ghc/compiler/ghc-inplace -H16m -O -fglasgow-exts -cpp -Iinclude -#include HsBase.h -funbox-strict-fields -package-name base -O -Rghc-timing -split-objs -O0 -c GHC/Base.lhs -o GHC/Base.o -ohi GHC/Base.hi



What is wrong in Base.hcr is that there are multiple bindings sharing the same name. I guess that this has something to do the the generation of unique binding names.


Here is an example, where tpl is bound multiple times, line 63 in Base.hcr:

GHCziBase.zsze :: %forall a . GHCziBase.ZCTEq a ->
a -> a -> GHCziBase.Bool =
\ @ a (tpl::GHCziBase.ZCTEq a) ->
%case tpl %of (tpl::GHCziBase.ZCTEq a)
{GHCziBase.ZCDEq
(tpl::a -> a -> GHCziBase.Bool) (tpl::a -> a -> GHCziBase.Bool) ->
tpl};




Sincerely,
Tobias

_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs