Version 1 (modified by simonpj, 18 months ago) (diff)


Constant Applicative Forms (CAFs)

This pages summarises the state of play for CAFs

Main starting points


Use Keyword = CAFs to ensure that a ticket ends up on these lists.

Open Tickets:

Avoid TidyPgm predicting what CorePrep will do
Do not make CAFs from literal strings

Closed Tickets:

Refactor the plumbing of CafInfo to make it more robust