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

Make an enum for different input sources #1560

Merged
merged 4 commits into from
Sep 1, 2023
Merged

Make an enum for different input sources #1560

merged 4 commits into from
Sep 1, 2023

Conversation

jneem
Copy link
Member

@jneem jneem commented Aug 31, 2023

As discussed on #1550, this is a more principled approach to tracking sources that aren't just files.

I took the opportunity to remove a couple of panics from nls, but other than that this is just a refactor with (hopefully) no changes to functionality.

@jneem jneem requested a review from vkleen August 31, 2023 18:37
@github-actions github-actions bot temporarily deployed to pull request August 31, 2023 18:41 Inactive
@github-actions github-actions bot temporarily deployed to pull request August 31, 2023 19:11 Inactive
lsp/nls/src/files.rs Outdated Show resolved Hide resolved
core/src/cache.rs Show resolved Hide resolved
core/src/cache.rs Outdated Show resolved Hide resolved
@github-actions github-actions bot temporarily deployed to pull request September 1, 2023 16:34 Inactive
@jneem jneem enabled auto-merge September 1, 2023 17:05
@github-actions github-actions bot temporarily deployed to pull request September 1, 2023 17:09 Inactive
@jneem jneem added this pull request to the merge queue Sep 1, 2023
Merged via the queue into master with commit 8f2def6 Sep 1, 2023
4 checks passed
@jneem jneem deleted the source-enum branch September 1, 2023 17:49
suimong pushed a commit to suimong/nickel that referenced this pull request Sep 17, 2023
* Make an enum for different input sources

* Fix doc link

* Review comments

* Add a comment
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants