#1643: Unnecessary dictionaries
-------------------------+--------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.7
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: MacOS X | Testcase:
Architecture: x86 |
-------------------------+--------------------------------------------------
Comment (by guest):
Tim, thanks for the analysis!
But dictionaries are special, you always know that they will contain a
tuple (and if they take arguments the computation is terminating). So
they should be treated specially (even hbc did that). When the compiler
sees a known dictionary it should never be scrutinized; the methods should
be accessed directly.
If this is too complicated to implement special dictionary treatment in
ghc, then it would be nice to have an INLINE pragma for the instance
itself, since it's sometimes crucial that it gets inlined. And mucking
around special compiler flags is a bit scary. :)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1643>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
