Changes between Version 2 and Version 3 of Commentary/Compiler/DesugaringInstances


Ignore:
Timestamp:
Mar 5, 2009 11:26:02 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/DesugaringInstances

    v2 v3  
    4646   called `:TC`), the dictionary.  
    4747 
    48  * There is a top-level selector function for each class method. 
     48 * There is an eponymous top-level selector function for each class method,  
     49   `opF` and `opG` in this case. 
    4950 
    5051 * The default method for `opG` becomes a top-level function `$dmopG`.