Changes between Version 4 and Version 5 of Commentary/Compiler/DesugaringInstances


Ignore:
Timestamp:
Mar 5, 2009 11:27:54 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/DesugaringInstances

    v4 v5  
    115115gigantic code.  (Example: Serge's !DoCon.) 
    116116 
    117 == The out-of-line strategy (A) == 
     117== The out-of-line (A) strategy == 
    118118 
    119119The INLINE strategy would make sense if `dCList` could be guaranteed small. 
     
    193193   is sometimes bad. 
    194194 
    195 == The out-of-line strategy (B) == 
     195== The out-of-line (B) strategy == 
    196196 
    197197We can avoid reconstructing the dictionary by passing it to `opF_aux`,