110 lines
2.2 KiB
Plaintext
110 lines
2.2 KiB
Plaintext
Stepper
|
|
-------
|
|
|
|
Changes for v101:
|
|
|
|
all steps scroll to bottom automatically.
|
|
constants like 'pi' are explicitly expanded in a step.
|
|
stepper uses fewer threads internally.
|
|
|
|
Changes for v102:
|
|
|
|
Stepper handles intermediate level.
|
|
UI redesigned to use "side-by-side" reduction.
|
|
|
|
Changes for v103:
|
|
|
|
PRs fixed: 1564, 1277, 1536, 1500, 1561, 1468, 1599, 1631
|
|
|
|
Changes for v200:
|
|
|
|
Total rewrite for new syntax. Addition of test suites.
|
|
Addition of somewhat more systematic macro unwinding.
|
|
Lots of bug fixes.
|
|
|
|
Changes for v201:
|
|
|
|
Minor bug fixes.
|
|
|
|
Changes for v203:
|
|
|
|
Much more systematic unwinding, intermediate almost ready, redesigned test suite
|
|
|
|
Changes for v204:
|
|
|
|
none.
|
|
|
|
Changes for v205:
|
|
|
|
v. minor bug fixes.
|
|
|
|
Changes for v206:
|
|
|
|
Stepper supports intermediate, minor bug fixes, major rewrite of interface
|
|
between reconstruct and display.
|
|
|
|
Changes for v206p1:
|
|
|
|
None.
|
|
|
|
Changes for v207:
|
|
|
|
None.
|
|
|
|
Changes for v208:
|
|
|
|
minor bug fixes.
|
|
|
|
Changes for v209:
|
|
|
|
None.
|
|
|
|
Changes for v300:
|
|
|
|
Major changes. The stepper now handles mutation, though it doesn't yet handle
|
|
'begin', so the advanced language is not defaultly steppable. Enable stepping
|
|
for the advanced language using the PLTSTEPPERUNSAFE environment variable.
|
|
|
|
This change has also prompted an interface change; rather than splitting the
|
|
stepper window into three panes, there is just one pane, with a simple
|
|
left-right split between before & after. The reason for this is that in the
|
|
presence of mutation, it's no longer the case that the "finished" expressions
|
|
never change, which means that they can't always be shared between the left and
|
|
right hand sides.
|
|
|
|
Changes for v350:
|
|
|
|
None.
|
|
|
|
Changes for v351:
|
|
|
|
Minor bug fixes
|
|
|
|
Changes for v360:
|
|
|
|
Stepper supports 'begin'. You'll never know it unless you use the
|
|
PLTSTEPPERUNSAFE environment variable, though.
|
|
|
|
Changes for v361:
|
|
|
|
Bug fix for test cases
|
|
|
|
Changes for v370:
|
|
|
|
Added "End" button to stepper interface.
|
|
|
|
Stepper supports "begin0". Again, you'll never know it unless you use
|
|
the PLTSTEPPERUNSAFE environment variable.
|
|
|
|
There's a known bug with expressions of the form (let <bindings> (begin
|
|
...)). (It's displayed as (let () X) rather than (begin X).
|
|
|
|
Changes for v371:
|
|
|
|
None.
|
|
|
|
Changes for v372: support for check-expect, check-within, and check-error
|
|
|
|
|
|
|