Shen OS Kernel 34.5

Added

• assert and retract functions restored.

Shen OS Kernel 34.3

Fixed

• Bug in destroy function caused by duplicate unassoc definition.

Shen OS Kernel 34.2

Added

• Support for polymorphic types in YACC functions.

Shen OS Kernel 34.1

Fixed

• Correctness bug in the typechecker.

Shen OS Kernel 34.0

Added

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

Fixed

• Bug in compilation of shadowed pattern match variables.

Shen OS Kernel 33.1.2

Changed

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

Shen OS Kernel 33.1.1

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).

Shen OS Kernel 33.1

Added

• foreign form for marking native platform functions.

Fixed

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

Shen OS Kernel 32.3

Fixed

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

Shen OS Kernel 32.1

Fixed

• Function overapplication.