Changes between Version 16 and Version 17 of IntermediateTypes


Ignore:
Timestamp:
Aug 4, 2006 3:05:09 PM (9 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IntermediateTypes

    v16 v17  
    134134Coercion variables are 
    135135used to abstract over evidence of type equality, as in 
    136  
    137     {{{(/\c::(a :=: Bool). \x::a. if (x `cast` c) then 0 else 1) :: (a :=: Bool) => a -> Int}}} 
     136{{{ 
     137(/\c::(a :=: Bool). \x::a. if (x `cast` c) then 0 else 1) :: (a :=: Bool) => a -> Int 
     138}}} 
    138139 
    139140There are also coercion constants that are introduced by the compiler