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