diff options
author | Pascal Kuthe | 2023-03-13 18:22:39 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-03-16 06:46:08 +0000 |
commit | bbf480007d87631ef7b7f93cef170ec1af961406 (patch) | |
tree | 8f071c99f7c56a9ce002471ce80aa18a7798df43 /runtime/queries/sage | |
parent | 7bf168dce0da10d60507589f9ffce8f73657e1e8 (diff) |
always parse the entire snippet
Previously any remaining text of the snippet that could not be parsed
was ignored. This commit adds the `parse_all` function which reports
an error if any text was not consumed by the parser
Diffstat (limited to 'runtime/queries/sage')
0 files changed, 0 insertions, 0 deletions