Shen Sources Versions Save

Fixed

• Bug in destroy function caused by duplicate unassoc definition.

Added

• Support for polymorphic types in YACC functions.

Fixed

• Correctness bug in the typechecker.

Added

• assert and retract: https://shenlanguage.org/TBoS/assert&retract.html

Fixed

• Bug in compilation of shadowed pattern match variables.

Changed

• Made pvar?, tuple? and vector? more optimizable by backends (like in the pre-S-kernel versions).

Changed

• When factorising defun definitions, abstract evaluation of branch functions in a shen.eval-factorised-branch function that ports can override to customize behavior.

Removed

• shen.*platform-native-call-check* variable for customizing the check for native calls got removed (not needed anymore with the addition of foreign).

Added

• foreign form for marking native platform functions.

Fixed

• Support for % and ! in the REPL in platforms that don't normalize line-endings.

Fixed

• Fixed bug in the compilation of mode forms in sequent calculus.
• Fixed compilation of lambda forms in Shen prolog code.

Fixed

• Function overapplication.

Changed

• Integrated changes from the new S-kernel series.