Changes between Version 15 and Version 16 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 2:51:33 PM (9 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