Replace WITH-CURRENT-POINTER and NO-POINTERS with new procedure
authorChris Hanson <org/chris-hanson/cph>
Mon, 2 Jul 2001 12:14:35 +0000 (12:14 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 2 Jul 2001 12:14:35 +0000 (12:14 +0000)
commitd0a5ca637bb58007a00db91af6e810b02fed8ba0
tree28faf168913e8d6e03fbb88179dcc76e165df08c
parent00bdcd81e9fe8464440755267b7b6f49d104d5ed
Replace WITH-CURRENT-POINTER and NO-POINTERS with new procedure
CALL-WITH-UNKNOWN-POINTER.  Change all references from "pointers" to
"pointer", since it's better to think of this as a single pointer.
(The delayed backtracking feature is an implementation detail, so it
shouldn't be reflected in the name.)  Rename NEW-BACKTRACK-POINTER to
BACKTRACK-TO.  Rename CURRENT-POINTER to POINTER-REFERENCE.
v7/src/star-parser/matcher.scm
v7/src/star-parser/parser.scm
v7/src/star-parser/shared.scm