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


Ignore:
Timestamp:
Jun 8, 2012 8:38:34 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Kinds

    v4 v5  
    4343represented by `PredTy (EqPred T1 T2)`. 
    4444 
    45 === Kind subtyping === 
     45== Kind subtyping == 
    4646 
    4747There is a small amount of sub-typing in kinds.  Suppose you see `(t1 -> t2)`.  What kind must `t1` and `t2` have?  It could be `*` or `#`.  So we have a single kind `OpenKind`, which is a super-kind of both, with this simple lattice: