[GHC] #1643: Unnecessary dictionaries

GHC trac at galois.com
Mon Oct 29 07:35:38 EDT 2007


#1643: Unnecessary dictionaries
-------------------------+--------------------------------------------------
    Reporter:  guest     |        Owner:  simonpj
        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 simonpj):

 Reminder to self: `~/tmp/lennart-1643`.  The problem is that the dict-fun
 generated from the instance decl is marked INLINE; but an implication
 constraint is floated out from it, and that is not marked INLINE.  It's
 only mentioned once, but we don't inline inside INLINE things.

 The right thing is to mark all implication constraint as INLINE.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1643#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list