Changes between Version 11 and Version 12 of Records/DeclaredOverloadedRecordFields/ImplementorsView


Ignore:
Timestamp:
Feb 21, 2012 4:36:45 AM (4 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/DeclaredOverloadedRecordFields/ImplementorsView

    v11 v12  
    3737    unit_Price :: (r{ unit_Price :: t}, Save r, Num t) => r -> t
    3838}}}
    39 That is: the `r{ ... }` constraint is added by the desugarer (and will be further desugarred to a `Has` constraint):
     39That is: the `r{ ... }` constraint is added by the desugarer (and will be further desugarred to a `Has` constraint).
     40
     41    [Or perhaps the new `fieldLabel` declaration isn't needed. See a ''__very__ speculative'' discussion at [wiki:Records/DeclaredOverloadedRecordFields/COmpareSORF#TheStringtypeparametertoHasandScopecontrol Wilder aftererthought] ]
    4042
    4143=== Syntactic sugar for `Has` ===