| ... | ... | @@ -21,6 +21,6 @@ When existentials appear in the contravarient position such as above, they can b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position.
|
|
|
|
Jhc 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.
|
|
|
|
|
|
|
|
|
