This change builds a source-error:file object immediately when Coalton is passed control of an input stream, so that any activity against that stream can be wrapped in a handler that rethrows lower-level reader errors as parser-errors.
source-error:file is made abstract, and the error printer reads source text from a newly opened stream when printing. This allows file objects to be attached directly to and dumped along with coalton objects to support runtime navigation to symbols, as #1194
jbouwman
commented
3 weeks ago
This change builds a source-error:file object immediately when Coalton is passed control of an input stream, so that any activity against that stream can be wrapped in a handler that rethrows lower-level reader errors as parser-errors.
source-error:file is made abstract, and the error printer reads source text from a newly opened stream when printing. This allows
fileobjects to be attached directly to and dumped along with coalton objects to support runtime navigation to symbols, as #1194Closes #1206