Update FlatCurry generation pipeline (!41) · Merge requests · curry / curry-frontend

Fredrik Wieczerkowski requested to merge generators into master Nov 24, 2020

This merge request aims to establish a cleaner code generation pipeline:

IL -> TypeAnnotatedFlatCurry --+-> TypedFlatCurry
                               |
                               +-> FlatCurry

Edited Nov 24, 2020 by Fredrik Wieczerkowski

Update FlatCurry generation pipeline