Changes between Version 12 and Version 13 of ExistingRecords


Ignore:
Timestamp:
Mar 31, 2008 6:52:59 PM (6 years ago)
Author:
simonmar@…
Comment:

note about GHC's record wildcard syntax

Legend:

Unmodified
Added
Removed
Modified
  • ExistingRecords

    v12 v13  
    201201}}} 
    202202 
     203=== GHC Extension === 
     204 
     205Note that in GHC you can work around it like this: 
     206 
     207{{{ 
     208foo :: T a -> T Int 
     209foo x@(C1 {}) = x {f1 = 1} 
     210foo x@(C2 {}) = x {f1 = 2} 
     211foo C3{..}    = C3{..} 
     212}}} 
     213 
     214To enable this extension, use `-XRecordWildCards`. 
     215 
    203216=== Comment === 
    204217