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
core sublibrary clashes with core alternate standard library #19
Comments
Thanks for flagging this! 👍🏼 I'll look at how to hide those libs, this stuff should be contained in the |
Incoming fix! 🚀 This should fix it: 329b093 – could you pin it locally and let me know if it solves your issue? |
@roddyyaga did this fix it for you? |
I get this with riot 0.0.8
|
As per @anmonteiro's suggestion we should try using |
Hey, I'm running into problems using this in a project that also depends on https://github.com/janestreet/core (
inconsistent assumptions over interface for Core__Ref
). Changing the riot files to referenceriot.core
doesn't fix this.Could this be renamed to
riot_core
or something? That's how I fixed it locally. Possibly this is a bug in dune (I vaguely thought this was supposed to work), but even if it is I guess the fix for that will take a while, so it would be nice to fix it in riot.The text was updated successfully, but these errors were encountered: