| ... | ... | @@ -17,4 +17,4 @@ When existentials appear in the contravarient position such as above, they can b |
|
|
|
## Support
|
|
|
|
|
|
|
|
|
|
|
|
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. |
