Skip to content

Remove support for existential quantified type variables in data type declarations

Jan-Hendrik Matthes requested to merge remove-exist-quant into master

This merge request removes support for existential quantified type variables in data type declarations.

Existential quantified type variables are currently not working correctly. So the support will be removed in favor of a cleaner compiler implementation and the upcoming support for arbitrary-rank types.

Depends on curry-base!11 (merged)

Closes #29 (closed)

Edited by Jan-Hendrik Matthes

Merge request reports