Make option `--extended` default
Since all actual Curry systems compiles programs with option --extended
, this should be the default as many Curry programs use these extensions. This has also the advantage that the Curry Language Server does not report errors on such programs.
Thus, the options FunctionalPatterns
and AnonFreeVars
should be always set and new options NoFunctionalPatterns
and NoAnonFreeVars
should be added to enable the old behavior. For compatibility reasons, the option --extended
should still be allowed.