Apply desugar-newtypes flag for PAKCS
Use -Odesugar-newtypes
when invoking the frontend in the Makefile for PAKCS. (See curry-frontend!36 (merged))
Use -Odesugar-newtypes
when invoking the frontend in the Makefile for PAKCS. (See curry-frontend!36 (merged))