7:57:46beachscymtym: In the Eclector documentation, for NOTE-SKIPPED-INPUT, I would like to be able to say something about the position of the stream when this function is called. Is it correct to say that when it is called, the stream is positioned immediately after the skipped input?
7:59:03beachscymtym: What I am working on is to replace the hacked reader in Second Climacs with Eclector. My plan was to kill two birds with one stone and see whether I could use only the documentation to understand what needs to be done.
8:18:07beachscymtym: OK, I wrote something in the documentation. You may want to check that I didn't lie.
10:41:25scymtymi'm checking my toy code and comparing to what you wrote
10:47:10scymtymbeach: while we still have to get the documentation for ECLECTOR.READER:NOTE-SKIPPED-INPUT right, note that there is higher-level protocol ECLECTOR.CONCRETE-SYNTAX-TREE:RECORD-SKIPPED-INPUT which constructs the source range for the client