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


Ignore:
Timestamp:
Mar 21, 2008 11:39:08 PM (7 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