Changes between Version 10 and Version 11 of NewtypeWrappers


Ignore:
Timestamp:
Jul 23, 2013 9:16:51 AM (9 months 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