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.

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

Allow resolving enso:// URIs in Data.read and other places #9225

Merged
merged 12 commits into from
Mar 2, 2024

Conversation

radeusgd
Copy link
Member

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,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

@radeusgd radeusgd self-assigned this Feb 29, 2024
@radeusgd radeusgd linked an issue Feb 29, 2024 that may be closed by this pull request
3 tasks
@radeusgd radeusgd force-pushed the wip/radeusgd/9048-resolve-enso-uri branch from 08e17c8 to 6ed6f6e Compare February 29, 2024 15:05
@radeusgd radeusgd mentioned this pull request Feb 29, 2024
5 tasks
@radeusgd radeusgd force-pushed the wip/radeusgd/9123-first-data-links branch from 637a2cc to 81f9e40 Compare February 29, 2024 15:25
@radeusgd radeusgd force-pushed the wip/radeusgd/9048-resolve-enso-uri branch from 6ed6f6e to 2063074 Compare February 29, 2024 15:26
@radeusgd
Copy link
Member Author

Sorry for pinging unrelated reviewers - GitHub did this automatically when changing PR's base branches.

@radeusgd radeusgd force-pushed the wip/radeusgd/9048-resolve-enso-uri branch 2 times, most recently from 6f4fc81 to ed937ca Compare February 29, 2024 23:55
Comment on lines +81 to +82
is_path = name.starts_with "enso://"
case is_path of
Copy link
Member

Choose a reason for hiding this comment

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

don't see point of not putting into case statement.

Copy link
Member

Choose a reason for hiding this comment

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

given how short the False branch is would probably have done if/then/else with the not condition but that is just stylistic.

Copy link
Member Author

Choose a reason for hiding this comment

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

don't see point of not putting into case statement.

the point was to give this expression a name - for documentation purposes

test/AWS_Tests/src/S3_Spec.enso Outdated Show resolved Hide resolved
Base automatically changed from wip/radeusgd/9123-first-data-links to develop March 1, 2024 15:33
@radeusgd radeusgd force-pushed the wip/radeusgd/9048-resolve-enso-uri branch from ed937ca to f4944e1 Compare March 1, 2024 15:57
@radeusgd radeusgd added the CI: Ready to merge This PR is eligible for automatic merge label Mar 1, 2024
@mergify mergify bot merged commit 39af372 into develop Mar 2, 2024
26 of 27 checks passed
@mergify mergify bot deleted the wip/radeusgd/9048-resolve-enso-uri branch March 2, 2024 16:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Resolve enso:// URIs in Data.read
4 participants