Editor mode config option #7541
Merged
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.
This sets up an
-editor-mode
flag forbsc
. The intention is that the editor tooling can set this as it callsbsc
for the incremental compilation that powers the continuous feedback without saving in the editor.It's mostly a placeholder for now, but it does set some configuration that's good for the editor tooling already:
ignore_parse_errors
lets the compiler continue even if it finds parse errors.cmi_only
stops after type checking, so it never runs the JS generation related optimizations and the generation itself. This is because the generated JS is not interesting to the editor tooling, only the type checking (and type artifacts) are. Should in theory speed things up a little sincebsc
will do less work.But mostly, this is a mode that we can use as we do more stuff in the compiler intended for the editor tooling.