Fix two history-related bugs:
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sun, 11 Aug 1991 15:24:37 +0000 (15:24 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sun, 11 Aug 1991 15:24:37 +0000 (15:24 +0000)
commit6d0493d51d0250afbc2a70bb119084bfbd8b23df
tree8c41e61a0866cf5c0d8917e7a8a49474d0c2547b
parent6eb13d686485e40543806e4b07ec79adba0d155d
Fix two history-related bugs:

- previous-history-offsets were being incorrectly computed in
make-intermediate-state.

- make-control-point was adding a new (join-stacklets) frame even when
there was one, therefore invalidating all previous-history-offsets
contained in the stream.  This latter bug was "fixed" by changing
control-point/element-stream to not include the last (join-stacklets)
frame.
v7/src/runtime/conpar.scm
v7/src/runtime/cpoint.scm
v7/src/runtime/version.scm
v8/src/runtime/conpar.scm