* Track the line number of the current buffer position, so that error
authorChris Hanson <org/chris-hanson/cph>
Fri, 29 Jun 2001 05:18:19 +0000 (05:18 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 29 Jun 2001 05:18:19 +0000 (05:18 +0000)
commit0767b6a8c74b072269f74ad9ca74353a09b41356
treea2daa59bc3f72254ddf494fb955b05edb801e4d1
parentbea30bd7c251219835f4f4fb32dc3992e8a59cfc
* Track the line number of the current buffer position, so that error
  messages can refer to the line.  Change representation of buffer
  pointers to include the line number.  Add operation to generate a
  string that shows the line number and character number of either a
  given pointer or the current position.

* Eliminate DECREMENT-PARSER-BUFFER-POINTER, which was unused and
  makes implementing the line number more difficult.

* Add -NO-ADVANCE versions of procedures that match single characters.

* Change terminology: the index of the current character in the buffer
  is called a "position".  The word "pointer" is reserved to refer to
  pointer objects that are handed to the users, which themselves refer
  to positions.
v7/src/star-parser/buffer.scm
v7/src/star-parser/parser.pkg