Skip to content

Add parse-stream-file-index to (chibi parse) - #1143

Merged
ashinn merged 1 commit into
ashinn:masterfrom
cstawarz:parse-stream-file-index
Jul 19, 2026
Merged

Add parse-stream-file-index to (chibi parse)#1143
ashinn merged 1 commit into
ashinn:masterfrom
cstawarz:parse-stream-file-index

Conversation

@cstawarz

Copy link
Copy Markdown
Contributor

I've written a parser with (chibi parse), and I need its output to include detailed location information (source file name, line, and column) for various entities, to be used for error reporting when the parsed program executes. To do this, I need to be able to convert a local index in a specific parse stream to a global index in the source file. These changes enable this by adding a file-offset field to Parse-Stream and exporting a new procedure, parse-stream-file-index.

@ashinn

ashinn commented Jul 19, 2026

Copy link
Copy Markdown
Owner

Thanks! LGTM.

@ashinn
ashinn merged commit 706aba5 into ashinn:master Jul 19, 2026
5 of 6 checks passed
@cstawarz

Copy link
Copy Markdown
Contributor Author

Thanks!

@cstawarz
cstawarz deleted the parse-stream-file-index branch July 20, 2026 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants