search

arthuraa / deriving

Class instances for Coq inductive types with little boilerplate
MIT License
24 stars 9 forks source link

Adapt w.r.t. coq/coq#16004. #19

Closed ppedrot closed 2 years ago

ppedrot commented 2 years ago

The 8.11 CI seems to die from an unrelated OOM now, in theory it should compile fine I think.

ppedrot commented 2 years ago

@arthuraa ping

arthuraa commented 2 years ago

Thanks for this! Sorry for the delay, it's a holiday weekend here. I'll take care of it ASAP.

On Mon, Jul 4, 2022, 06:59 Pierre-Marie Pédrot @.***> wrote:

@arthuraa https://github.com/arthuraa ping

— Reply to this email directly, view it on GitHub https://github.com/arthuraa/deriving/pull/19#issuecomment-1173678413, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACDB2YEBYREF4Y4ES5YTRTVSK72NANCNFSM52IYFI2A . You are receiving this because you were mentioned.Message ID: @.***>

ppedrot commented 2 years ago

Thanks!