Changes between Version 2 and Version 3 of ExistentialQuantifier


Ignore:
Timestamp:
Feb 15, 2006 3:51:30 AM (8 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.