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

Consider reducing the dependencies on JaneStreet libraries; especially, break-up ppx_jane #259

Closed
lukstafi opened this issue Apr 24, 2024 · 2 comments
Milestone

Comments

@lukstafi
Copy link
Collaborator

They put a load on the CI.

  • Highest priority: ppx_jane pulls in a lot of packages.
  • Medium priority: we don't use much from core.
  • Low priority: get rid of base, i.e. all except sexplib0.
@lukstafi lukstafi added this to the v1.0 milestone Sep 20, 2024
@lukstafi lukstafi modified the milestones: v1.0, v0.4.2 Oct 19, 2024
@lukstafi
Copy link
Collaborator Author

@nilsbecker: do you have any specific opinions on this?
Decision for now: keeping Base; Core seems trivial to remove; ppx_jane splitting will make it clearer what we're using.

@nilsbecker
Copy link

I don't have anything profound. It would be desirable if a user of the library would be free in choosing to use Base or not, in application code.

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