Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Also, take the opportunity to clean up the logic class interface. Should solve #200
Note that even with this patch, in order to parse stdin using alt-ergo's native format, one need to use the new
parse_all
function, because theparse_input
function will still raise. That being said the parsing pipe (in theloop
sub-library) will adequately switch modes as needed and should allow full stdin parsing for all languages (as long as there is an end of input from stdin).cc @bclement-ocp