Skip to content

Frontend Pruning

Alistair O'Brienrequested to merge
ajob410/frontend-pruning-1 into dev

type:internal

This MR follows !2001 (merged) by removing passes 06-09 and the Ast_sugar stage. This MR combines them into a single pass 06-desugaring, which will eventually be removed.

History: !2045 (closed) was the original MR for these changes. However, implementing all the proposed changes at once turned out to be too ambitious and I'm now favoring a more incremental approach for the removal of sugar and improvements in Ligo_prim.

Future Work:

  • Removal of trivial desugaring passes (e.g. E_cond, E_seq, E_set, ...) to a later pass in the pipeline.
  • Removal of sugar for T_tuple and E_tuple
  • Improvements in Ligo_prim's Row, Let_in, Record, sp

Changelog details:

Remove dead passes and code from the frontend

Merge request reports