Invalid binding names in generated Core code

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