Copilot-Language
`copilot-theorem`: Bump version bounds on `what4`. Refs #611.
description
should close https://github.com/commercialhaskell/stackage/issues/7725; tested locally that this compiles as expected (although I haven't run the test suite yet to verify that they all pass).
Thanks, @jkachmar . I'd think this would be part of #611.
EDIT: I've created a dedicate issue to track this because the other issue related to dependencies is currently blocked.
Also, for any contributions to Copilot we need contributors to sign one of these two forms (whichever applies to their situation): https://github.com/Copilot-Language/copilot-discussion/tree/master/CLAs. Is that something you could do (don't post it here; I'll give you an email address to send it to).
@jkachmar I've created a dedicated ticket to track this problem in #611 . Please see my prior comment in this PR and let me know if you are OK to proceed.
@jkachmar Just following up on this. I'd love to merge this; we just need to comply with our process.
If I don't hear back in a couple of days or so, I'll close the PR so that we can push a solution.
Thanks!
mea culpa, looks like my email routing sinkholed some GitHub notifications. I'll sign the CLA today and send it over if you can provide me with an email address :)