Use records and add parameter for specifying path to frontend executable (!2) · Merge requests · curry-packages / frontend-exec · GitLab

Snippets Groups Projects

Merged Fredrik Wieczerkowski requested to merge improve-params into libs_refactor 4 years ago

Dec 14, 2020
- Add 'frontendPath' parameter · e51c16ab
  Fredrik Wieczerkowski authored 4 years ago
  
  This lets consumers specify a custom path to the frontend executable (the default is still the frontend of the running Curry system).
  e51c16ab
- Export all parameter accessors · ea28b4ef
  Fredrik Wieczerkowski authored 4 years ago
  
  ea28b4ef
- Define default params with record syntax · 25765829
  Fredrik Wieczerkowski authored 4 years ago
  
  25765829
- Define param setters using record update syntax · 50c2b7cc
  Fredrik Wieczerkowski authored 4 years ago
  
  This also makes these functions more robust w.r.t new params.
  50c2b7cc
- Turn FrontendParams into a record · 2c54bd7f
  Fredrik Wieczerkowski authored 4 years ago
  
  This not only makes it more extensible, it also eliminates a lot of boilerplate that would traditionally be required to declare the accessors.
  2c54bd7f