Changes between Version 11 and Version 12 of NewtypeWrappers


Ignore:
Timestamp:
Jul 23, 2013 9:18:38 AM (9 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v11 v12  
    260260The problem is, as usual, the type function hiding inside T's definition. 
    261261The 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, 
    262 but adding the newtype wrappers introduces no problems that we do not already have. See TypeRoles for more info. 
    263  
    264  
     262but adding the newtype wrappers introduces no problems that we do not already have. See [wiki:Roles] for more info. 
     263 
     264