Changes between Version 13 and Version 14 of NewtypeWrappers


Ignore:
Timestamp:
Jul 26, 2013 10:26:43 AM (2 years 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: