Changes between Version 6 and Version 7 of Commentary/Compiler/FC


Ignore:
Timestamp:
Jul 23, 2013 11:20:31 AM (20 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/FC

    v6 v7  
    151151Such coercions are always used when the newtype is recursive and are optional for non-recursive newtypes.  Whether or not they are used can be easily changed by altering the function mkNewTyConRhs in iface/BuildTyCl.lhs. 
    152152 
     153== Roles == 
     154 
     155Roles specify what nature of equality a coercion is proving. See [wiki:Roles] and RolesImplementation. 
     156 
    153157== Simplification == 
    154158