Skip to content

Add censor function to Capability.Writer #94

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

Merged
merged 1 commit into from
Jun 18, 2021
Merged

Conversation

byorgey
Copy link
Contributor

@byorgey byorgey commented Jun 16, 2021

This is a useful function, present in the corresponding mtl library,
that can be defined in terms of the existing pass primitive.
However, doing so is nontrivial (I spent quite a while banging my head
against proxies, ScopedTypeVariables, AllowAmbiguousTypes, and the
like) so it seems it would make sense to provide it directly
from the library. However, if there's some reason this function can't
or shouldn't be provided I'd be happy to be enlightened.

This is a useful function, present in the corresponding mtl library,
that can be defined in terms of the existing `pass` primitive.
However, doing so is nontrivial (I spent quite a while banging my head
against proxies, ScopedTypeVariables, AllowAmbiguousTypes, and the
like) so it seems it would make sense to provide it directly
from the library.  However, if there's some reason this function can't
or shouldn't be provided I'd be happy to be enlightened.
@aspiwack
Copy link
Member

Mmm… we still have a buildkite CI on this. I'll merge later today.

Thanks for the contribution!

@aspiwack aspiwack merged commit 1123f92 into tweag:master Jun 18, 2021
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