Changes between Version 15 and Version 16 of NewtypeWrappers


Ignore:
Timestamp:
Jul 28, 2013 2:14:10 AM (9 months ago)
Author:
heisenbug
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v15 v16  
    4545== Goal == 
    4646 
    47 In summary: The programmer expects zero-cost conversions between a newtypes ''N'' and the type ''T'' it is based on. We want to allow the programmer to have zero-cost conversions between ''C N'' and ''C T''. Requirements: 
     47In summary: The programmer expects zero-cost conversions between a newtype ''N'' and the type ''T'' it is based on. We want to allow the programmer to have zero-cost conversions between ''C N'' and ''C T''. Requirements: 
    4848 * It should be sound, i.e. have an implementation in Core with existing coercions, without new coercions or `unsafeCoerce`. 
    4949 * It should respect module boundaries, i.e. not allow the user to create a function which he could not write using plain Haskell (and non-zero cost).