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


Ignore:
Timestamp:
Mar 5, 2009 11:26:45 AM (7 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