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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/DesugaringInstances

    v3 v4  
    5050 
    5151 * The default method for `opG` becomes a top-level function `$dmopG`. 
    52    It takes the `(C a)` dictionary a argument because it can call 
     52   It takes the `(C a)` dictionary a argument because the RHS is allowed to call 
    5353   other methods of C. 
    5454