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