Add kind information to type declarations in FlatCurry (!32) · Merge requests · curry / curry-frontend · GitLab

Fredrik Wieczerkowski requested to merge typedecl-kinds into master Oct 17, 2020

Based on !31 (merged) and dependent on curry-base!19 (merged)

This updates the IL and FlatCurry representation of type declarations to include kinds for all type variables.

Edited Oct 21, 2020 by Finn Teegen