Changes between Version 1 and Version 2 of ExistentialQuantifier


Ignore:
Timestamp:
Feb 14, 2006 11:57:37 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantifier

    v1 v2  
    1  
    21= Existential Quantifier = 
    32 
     
    98sameType :: Any -> Any -> Bool 
    109sameType x y = typeOf x == typeOf y 
     10 
    1111}}} 
     12 
     13When existentials appear in the contravarient position such as above, they can be desugared into rank-n types with foralls. if existentials are allowed in the covarient position, then support for FirstClassExistentials is needed. 
     14 
     15 
     16== Support == 
     17 
     18Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position.