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

Don't allow for private dependencies in public libraries #585

Closed
wants to merge 1 commit into from

Conversation

rgrinberg
Copy link
Member

When generating the META file, make sure all the requires fields point to public
dependencies. If not, then error out.

The main thing here that I'm not sure about is if this is the right time to throw this error. It seems like we can raise it much earlier.

Regardless, it would be really nice to properly address this with strict libraries.

When generating the META file, make sure all the requires fields point to public
dependencies. If not, then error out.
@rgrinberg rgrinberg requested a review from a user March 5, 2018 11:20
@ghost
Copy link

ghost commented Mar 5, 2018

I think it is indeed too late to throw the error and as a result we can't point the error to the right place in the jbuild file. I think we should instead implement this check in the resolve_*_deps functions, which is where we go from Loc.t * string to Lib.t

@rgrinberg
Copy link
Member Author

Fixed in #607

@rgrinberg rgrinberg closed this Mar 12, 2018
@rgrinberg rgrinberg deleted the no-private-deps-meta branch March 12, 2018 20:43
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