Changes between Version 13 and Version 14 of NewtypeWrappers


Ignore:
Timestamp:
Jul 26, 2013 10:26:43 AM (9 months ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v13 v14  
    152152* Check for data constructor argument convertibility. ✓ (but not very elegant yet) 
    153153* Think about higher-order type arguments. 
     154* Polish error messages. 
     155* Port to the new role-based coercion. 
     156* Add instances to base etc. 
    154157 
    155158Warts and issues: