Excellent point. Now fixed in the HEAD. Thanks for the report. Simon
| -----Original Message----- | From: Tobias Gedell [mailto:[EMAIL PROTECTED]] | 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 | [EMAIL PROTECTED] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
