Skip to content

Replace (most of) custom set library by Skylib's sets.bzl#1834

Merged
evertedsphere merged 2 commits intomasterfrom
es/skylib-set
Nov 29, 2022
Merged

Replace (most of) custom set library by Skylib's sets.bzl#1834
evertedsphere merged 2 commits intomasterfrom
es/skylib-set

Conversation

@evertedsphere
Copy link
Copy Markdown
Contributor

@evertedsphere evertedsphere commented Nov 25, 2022

See #1799.

bazelbuild/bazel-skylib#415 tracks the addition of mutable_{union,difference} to Skylib, but Skylib's merge process isn't the fastest. For the moment, I've left our implementations in, in the interest of getting this merged quickly. I'll remove those in a future PR, which will allow us to close the issue linked above.

@dpulls
Copy link
Copy Markdown

dpulls bot commented Nov 25, 2022

⚠️ Dpulls not installed on repository bazelbuild/bazel-skylib. Checkout our quickstart for how to install.

@dpulls
Copy link
Copy Markdown

dpulls bot commented Nov 25, 2022

⚠️ Dpulls not installed on repository bazelbuild/bazel-skylib. Checkout our quickstart for how to install.

1 similar comment
@dpulls
Copy link
Copy Markdown

dpulls bot commented Nov 29, 2022

⚠️ Dpulls not installed on repository bazelbuild/bazel-skylib. Checkout our quickstart for how to install.

@evertedsphere evertedsphere changed the title Draft: Replace custom set library by Skylib's sets Replace (most of) custom set library by Skylib's sets.bzl Nov 29, 2022
@dpulls
Copy link
Copy Markdown

dpulls bot commented Nov 29, 2022

⚠️ Dpulls not installed on repository bazelbuild/bazel-skylib. Checkout our quickstart for how to install.

@evertedsphere evertedsphere requested review from aherrmann and googleson78 and removed request for googleson78 November 29, 2022 16:05
Comment thread .gitignore
Comment thread haskell/private/set.bzl Outdated
Comment thread haskell/private/path_utils.bzl Outdated
Comment thread haskell/repl.bzl Outdated
Copy link
Copy Markdown
Contributor

@googleson78 googleson78 left a comment

Choose a reason for hiding this comment

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

I've left some very minor comments that could be addressed.

@evertedsphere evertedsphere merged commit 0518262 into master Nov 29, 2022
@evertedsphere evertedsphere deleted the es/skylib-set branch November 29, 2022 21:51
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.

2 participants