Changes between Version 5 and Version 6 of Records/OverloadedRecordFields/Plan


Ignore:
Timestamp:
Jun 17, 2013 4:51:49 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Records/OverloadedRecordFields/Plan

    v5 v6  
    159159=== Example of constraint solving ===
    160160
     161'''SLPJ''' Making the first example rely on the monomorphism restriction is not a good plan!
     162
    161163Consider the example
    162164