Revert higher rank polymorphism for now (!31) · Merge requests · curry / curry-frontend

Fredrik Wieczerkowski requested to merge revert-higher-rank-polymorphism into master Jul 13, 2020

This branch removes support for RankNTypes and depends on curry-base!18 (merged).

The idea here is to defer support for higher-rank polymorphism due to longer-standing issues in the frontend (see #77) and focus on having a stable main version of the frontend again.

A future merge request could re-revert these changes to include higher-rank-polymorphism support again.

Edited Jul 18, 2020 by Fredrik Wieczerkowski

Revert higher rank polymorphism for now

Merge request reports