From d431875b43e1d04f428a06689b4fa51d50e2942e Mon Sep 17 00:00:00 2001 From: John Clements Date: Mon, 13 Nov 2006 19:24:58 +0000 Subject: [PATCH] updated for v360 svn: r4839 --- doc/release-notes/stepper/DESIGN-NOTES | 11 +++++++++++ doc/release-notes/stepper/HISTORY | 21 +++++++++++++-------- 2 files changed, 24 insertions(+), 8 deletions(-) diff --git a/doc/release-notes/stepper/DESIGN-NOTES b/doc/release-notes/stepper/DESIGN-NOTES index 46b25610e8..e065e52d17 100644 --- a/doc/release-notes/stepper/DESIGN-NOTES +++ b/doc/release-notes/stepper/DESIGN-NOTES @@ -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 + diff --git a/doc/release-notes/stepper/HISTORY b/doc/release-notes/stepper/HISTORY index a2262ffccf..5aaf60baad 100644 --- a/doc/release-notes/stepper/HISTORY +++ b/doc/release-notes/stepper/HISTORY @@ -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.