Pierre-Marie de Rodat 642f17e237 File readers: allow both diagnostics and contents in a result ...

It may be interesting for file readers to return both decoded contents
and also diagonstics, for example when doing error recovery while
transcoding the source buffer.

The Read primitives currently does not allow this: Contents is
considered uninitialized when Diagnostics is not empty. Always expect
Contents to be initialized instead to support this case.

TN: VA17-001

2022-11-02 09:12:53 +00:00

..

expected_concrete_syntax.lkt

dsl_unparse: remove spurious line break in grammars

2022-05-17 11:52:36 +02:00

main.py

Testsuite: use "ascii" for non-ASCII test outputs

2021-09-27 14:46:45 +02:00

test.out

File readers: allow both diagnostics and contents in a result

2022-11-02 09:12:53 +00:00

test.py

Testsuite: add types_from_lkt=True wherever possible

2020-06-11 14:37:13 +02:00

test.yaml

Python API: accept unicode source buffers in get_from_buffer/reparse

2019-12-18 15:28:19 +01:00