TextEdit with custom IdMap - Githubissues

enso-org / enso

Hybrid visual and textual functional programming.

https://enso.org

Apache License 2.0

7.31k stars 317 forks source link

TextEdit with custom IdMap #10283

Closed 4e6 closed 2 weeks ago

4e6 commented 2 weeks ago

Pull Request Description

close #10182

Changelog:

add: IdMap parameter to the text/applyEdit request
add: IdMap to the runtime module
update: set IdMap during the interactive compilation
update: set the IR identifiers in the TreeToIR parsing step

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

[x] The documentation has been updated, if necessary.
[x] All code follows the Scala, Java, TypeScript, and Rust style guides. In case you are using a language not listed above, follow the Rust style guide.
[x] Unit tests have been written where possible.

4e6 commented 2 weeks ago

Currently, the IdMap in the file is replaced and not updated. In the future we can add a parameter that will only include the updated values