Changes between Version 12 and Version 13 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Oct 18, 2011 8:42:07 AM (3 years ago)
Author:
dreixel
Comment:

Add a subkinding diagram

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v12 v13  
    9595}}} 
    9696where `liftedTypeKindTyCon` is a built-in `PrimTyCon`.  The arrow type 
    97 constructor is used as the arrow kind constructor, e.g. the kind `* ->*`  
     97constructor is used as the arrow kind constructor, e.g. the kind `* -> *`  
    9898is represented internally as 
    9999{{{ 
     
    108108classify coercion evidence).  The coercion kind, `T1 :=: T2`, is 
    109109represented by `PredTy (EqPred T1 T2)`. 
     110 
     111=== Kind subtyping === 
     112 
     113[[Image(https://docs.google.com/drawings/pub?id=1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM&w=359&h=229)]] 
     114 
     115(You can edit this picture [https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB here].) 
     116 
    110117 
    111118== Type variables ==