Changes between Version 10 and Version 11 of NewtypeWrappers


Ignore:
Timestamp:
Jul 23, 2013 9:16:51 AM (2 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v10 v11  
    259259}}}
    260260The problem is, as usual, the type function hiding inside T's definition.
    261 The solution is described in [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ Generative type abstraction and type-level computation].  It is still not implemented, alas,
    262 but adding the newtype wrappers introduces no problems that we do not already have.
    263 
    264 
     261The solution is described in [http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/ Generative type abstraction and type-level computation].  It is still being implemented, alas,
     262but adding the newtype wrappers introduces no problems that we do not already have. See TypeRoles for more info.
     263
     264