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


Ignore:
Timestamp:
Mar 21, 2008 11:39:08 PM (6 years ago)
Author:
tim
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/FC

    v4 v5  
    109109newtype T a = MkT (a -> a) 
    110110}}} 
    111 the `NewTyCon` for `T` will contain n`t_co = CoT` where `CoT t : T t :=: t -> 
    112 t`.  This `TyCon` is a `CoercionTyCon`, so it does not have a kind on its 
     111the `NewTyCon` for `T` will contain n`t_co = CoT` where: 
     112{{{ 
     113CoT t : (T t :=: t -> t) 
     114}}} 
     115This `TyCon` is a `CoercionTyCon`, so it does not have a kind on its 
    113116own; it basically has its own typing rule for the fully-applied 
    114117version.  If the newtype `T` has k type variables, then `CoT` has arity at