Skip to content

Conversation

@JaroslavTulach
Copy link
Member

@JaroslavTulach JaroslavTulach commented Jan 3, 2026

Pull Request Description

Important Notes

Checklist

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

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • 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.
  • Unit tests have been written where possible.
  • If meaningful changes were made to logic or tests affecting Enso Cloud integration in the libraries,
    or the Snowflake database integration, a run of the Extra Tests has been scheduled.
    • If applicable, it is suggested to paste a link to a successful run of the Extra Tests.

@JaroslavTulach JaroslavTulach self-assigned this Jan 3, 2026
@JaroslavTulach JaroslavTulach added -compiler -libs Libraries: New libraries to be implemented labels Jan 3, 2026
Copy link
Member

@jdunkerley jdunkerley left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems a reasonable approach - should we maybe make it explicit.
I.e. add an optional argument flush_caches:Boolean=False

@github-actions github-actions bot added the -libs-API-change-Base Marks a PR that changes the public API of Standard.Base label Jan 5, 2026
@JaroslavTulach
Copy link
Member Author

make it explicit. I.e. add an optional argument flush_caches:Boolean=False

  • done in 349b713
  • making it explicit is certainly more compatible change

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

-compiler -libs Libraries: New libraries to be implemented -libs-API-change-Base Marks a PR that changes the public API of Standard.Base

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants