Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Simply create a new file when calling updateFile #3154

Open
wants to merge 2 commits into
base: v2
Choose a base branch
from
Open

Simply create a new file when calling updateFile #3154

wants to merge 2 commits into from

Commits on Jun 12, 2024

  1. Simply create a new file when calling updateFile. 

    Previously the code used TypeScript's `updateFile`, which performs an incremental parse;
however, if we don't expect the contents to be similar enough, this wastes a lot of work.
Reuse should still done for untouched files from old versions of the program.
    @DanielRosenwasser
    DanielRosenwasser committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    b785790 View commit details
    Browse the repository at this point in the history

  2. Rewrite imports, apply formatting.

    @DanielRosenwasser
    DanielRosenwasser committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    db7b005 View commit details
    Browse the repository at this point in the history