Skip to content
GitLab

Explicitly quantify free type variables of type signatures in FlatCurry

Closed Jan-Hendrik Matthes requested to merge fcy-closed-types into master

With this merge request the types of function definitions are now closed in the FlatCurry representation. This means that all type variables are explicitly universally quantified in the type.

Furthermore all types are now in prenex form.

Closes #67

Edited by Jan-Hendrik Matthes