Closed ocharles closed 4 years ago
Is this for Tagged instance?
On 10. Apr 2020, at 22.53, Ollie Charles notifications@github.com wrote: You can view, comment on, or merge this pull request online at: https://github.com/ekmett/distributive/pull/55 Commit Summary Enable PolyKinds in Data.Distributive File Changes M src/Data/Distributive.hs (4) Patch Links: https://github.com/ekmett/distributive/pull/55.patch https://github.com/ekmett/distributive/pull/55.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.
On 10. Apr 2020, at 22.53, Ollie Charles notifications@github.com wrote:
You can view, comment on, or merge this pull request online at:
https://github.com/ekmett/distributive/pull/55
Commit Summary
Enable PolyKinds in Data.Distributive File Changes
M src/Data/Distributive.hs (4) Patch Links:
https://github.com/ekmett/distributive/pull/55.patch https://github.com/ekmett/distributive/pull/55.diff — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.
Indeed—see ekmett/adjunctions#68 for the full context.
This LGTM, so I'll merge it, add a changelog entry, and make a new release soon.
Thank you for sorting this so quickly!
Is this for Tagged instance?