Skip to content

Use desugar-newtypes flag with frontend

Fredrik Wieczerkowski requested to merge desugar-newtypes into master

Use -Odesugar-newtypes when invoking the frontend. (See curry-frontend!36 (merged))

Merge request reports