Changes between Version 1 and Version 2 of NewtypeWrappers


Ignore:
Timestamp:
Jan 14, 2013 6:09:37 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v1 v2  
    100100 
    101101This proposal rests on very similar foundations to the "newtype deriving" feature, 
    102 and suffers from ''precisely'' the same issue with type soundness.  For example, 
     102and suffers from ''precisely'' the same issue with type soundness; see #1496, #5498, #4846, #7148.  For example, 
    103103consider 
    104104{{{