Skip to content

Use records and add parameter for specifying path to frontend executable

Fredrik Wieczerkowski requested to merge improve-params into master

Fixes #1 (closed)

This branch cleans up the parameter definitions by using the record syntax and adds a new parameter frontendPath :: String that lets consumers of the package optionally specify a custom path to a frontend binary (see #1 (closed) for motivation). The default path has not been changed and still points to the frontend of the running Curry distribution.

Merge request reports