Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Any PPX extension? #4

Open
Kakadu opened this issue Jan 6, 2025 · 1 comment
Open

Any PPX extension? #4

Kakadu opened this issue Jan 6, 2025 · 1 comment

Comments

@Kakadu
Copy link

Kakadu commented Jan 6, 2025

I just saw you package in the list of opam-repository/pulls. Do you have any plans for PPX extension? Maybe you are using a one somewhere internally?

I have an attempt to remove 100500 heavy dependencies from Janestreet's ppx_expect. But I'm not sure if anybody will want this, and how JS will behave if I will try to push the fork.

CC @gildor478

@gildor478
Copy link
Owner

No plan for a PPX extension. I am about to add a note to the README.md to explain that this package is maintained but won't have signficant features added.

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

No branches or pull requests

2 participants