Changes between Version 15 and Version 16 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:51:33 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v15 v16  
    118118 
    119119Coercions are type-level terms which act as evidence for type 
    120 equalities and are classified by a new sort of kind (with the form {{{T1 
    121 :=: T2}}}).  Most of the coercion construction and manipulation functions 
     120equalities and are classified by a new sort of kind (with the form  
     121{{{T1 :=: T2}}}).  Most of the coercion construction and manipulation functions 
    122122are found in the Coercion module. 
    123123 
     
    129129coercions and types also overlaps a lot.  A normal type is evidence 
    130130for the reflexive coercion, i.e., 
    131  
    132       {{{Int :: Int :=: Int}}} 
    133  
     131{{{ 
     132Int :: Int :=: Int 
     133}}} 
    134134Coercion variables are 
    135135used to abstract over evidence of type equality, as in