Remove support for existential quantified type variables in data type declarations (!13) · Merge requests · curry / curry-frontend

Jan-Hendrik Matthes requested to merge remove-exist-quant into master Apr 27, 2019

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 May 13, 2019 by Jan-Hendrik Matthes

Remove support for existential quantified type variables in data type declarations

Merge request reports