Changes between Version 3 and Version 4 of Commentary/Compiler/FC


Ignore:
Timestamp:
Mar 21, 2008 11:34:04 PM (7 years ago)
Author:
tim
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/FC

    v3 v4  
    112112t`.  This `TyCon` is a `CoercionTyCon`, so it does not have a kind on its 
    113113own; it basically has its own typing rule for the fully-applied 
    114 version.  If the newtype `T` has k type variables hen `CoT` has arity at 
     114version.  If the newtype `T` has k type variables, then `CoT` has arity at 
    115115most k.  In the case that the right hand side is a type application 
    116116ending with the same type variables as the left hand side, we