* Track the line number of the current buffer position, so that error
authorChris Hanson <org/chris-hanson/cph>
Fri, 29 Jun 2001 05:17:21 +0000 (05:17 +0000)
committerChris Hanson <org/chris-hanson/cph>
Fri, 29 Jun 2001 05:17:21 +0000 (05:17 +0000)
commitbea30bd7c251219835f4f4fb32dc3992e8a59cfc
tree3dac14ec1c7a49e3305651387eb73caff546d3b3
parent68ba832658e25007c80f44e944455dd81d0973c3
* 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