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

switch to ppxlib #30

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

switch to ppxlib #30

wants to merge 2 commits into from

Conversation

pveber
Copy link

@pveber pveber commented Sep 13, 2020

This is a proposal for basing the ppx extension on ppxlib, as ppx_tools_versioned is going to be deprecated. This new version passes all tests performed by a dune runtest invocation.

@pveber
Copy link
Author

pveber commented Oct 23, 2020

@vbrankov is there any way I can help you review this PR?

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

Successfully merging this pull request may close these issues.

1 participant