Visible changes in addition to the usual bug fixes:
Compiler-plugin:
- First release with automatic generation for 'shifted variants' of high-order functions. It is possible when the ho function does not store functional arguments in variables but only invokes (as in
map). This is the work of Olena Kravchenko during her GSoC-2023 project. More details can be found in Olena-s presentation: https://docs.google.com/presentation/d/1H5rIQlqeektpZAnC547YnlPoXChrH99UOLMy4kY-pRQ/edit?usp=sharing and GitHub discussion: #79 - Added compile-time checks for attempts to use direct syntax when the compiler plugin is not enabled. It is possible to freely mix code compiled with and without a plugin, if you accidentally forget the plugin, you will receive a compile-time error.
Logic module:
- Extend API, add a few examples in tests, and an implementation of CpsLogicMonad over LazyList.