Skip to content

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