#6042: GHC is bloated
---------------------------------+------------------------------------------
    Reporter:  simonmar          |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  high              |   Milestone:  7.6.1           
   Component:  Compiler          |     Version:  7.4.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by milan):

 The INLINABLE is being used only on Map and Set.

 The idea is that Data.Map.lookup is specialized if it is used with a known
 class instance (e.g., when using lookup on 'Map Int something'). In that
 case, a specialization is created, together with a rewrite rule which
 causes that this specialization is used for further lookups on 'Map Int
 something'. This rule is used in the same module and also in all modules
 importing this one.

 If we decide to write a wrapper, it would have to mention all key types
 for which a Map or Set is being used. But if I recall, Maps and Sets are
 not frequently used. We'll see from the numbers.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to