Changes between Version 2 and Version 3 of ExistentialQuantifier

Show
Ignore:
Timestamp:
02/14/06 19:51:30 (7 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExistentialQuantifier

    v2 v3  
    1616== Support == 
    1717 
    18 Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position. 
     18Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position with the exception of when it is a component of a data type.