RE: Invalid binding names in generated Core code

Excellent point.  Now fixed in the HEAD. Thanks for the report.

Simon

| -----Original Message-----
| From: Tobias Gedell [mailto:d99getob@xxxxxxxxxxxxxxxx]
| Sent: 22 January 2003 16:56
| To: glasgow-haskell-bugs
| Subject: 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
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs