Skip to content

OLD: Update KiCS2 to compile with the new frontend

Fredrik Wieczerkowski requested to merge (removed):update-frontend into master

This (highly work-in-progress) branch updates KiCS2 to compile with newer versions of the frontend, specifically curry-frontend!31 (merged). Since the standard libraries have received quite a few changes since the last update to KiCS2, this branch also:

  • updates KiCS2 to use the new modules (e.g. Data.List instead of List)
  • updates the code generation, including
    • the generation of Curry contexts by using QuantifiedConstraints (thereby addressing issues like #28)
    • the generation of valid type applications by using PolyKinds (thereby fixing the type of C_Apply, possibly related to #24?)

Some notable issues to address:

  • Newtype generation is still broken (see #22), newtypes in the KiCS2 codebase have been (temporarily) replaced by data (this includes ContT, ExceptT, MaybeT and StateT)
Edited by Fredrik Wieczerkowski

Merge request reports