updated for v360

svn: r4839
This commit is contained in:
John Clements 2006-11-13 19:24:58 +00:00
parent ed575e9e03
commit d431875b43
2 changed files with 24 additions and 8 deletions

View File

@ -892,3 +892,14 @@ Begin STILL isn't working. My last plan, to wrap each 'begin' body with a mark
indicates the source, is naturally broken because an inner mark can destroy that one.
The solution is (hopefully) easy; just eta-expand to prevent the mark from being lost.
Since it's a non-tail call, this doesn't destroy tail-calling.
**************
Okay, begin now works. I decided that one of my implicit invariants--that the source
expressions linked to by the marks always be actual parts of the source--was too
restrictive. I've now introduced a "fake-exp" which signals an artificially constructed
expression. This made all my problems go away, and now I'm a happy man. If only
begin0 worked, too...
2006-11-13

View File

@ -61,15 +61,16 @@ 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.
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.
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:
@ -79,4 +80,8 @@ 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.