Improve compatibility of Configurator.V1.write_flags #967
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.
I haven't checked in detail but I'm pretty sure the following is true:
s
Quoted_string s
in dune syntaxQuoited_string s'
wheres = s'
This is not true if we use
Atom (A s)
instead ofQuoted_string s
. With this in mind, this PR change the files produced byConfigurator.V1.write_flags
to make sure they produce only quoted strings.