elpi icon indicating copy to clipboard operation
elpi copied to clipboard

ppxopt breaking change

Open Tragicus opened this issue 6 months ago • 0 comments

I just tried compiling elpi with ppxopt 0.36.0 and it fails because Pexp_fun does not exist anymore. Switching to ppxopt 0.35.0 works.

Tragicus avatar Jun 24 '25 09:06 Tragicus