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
Failure to report short paths with intervening packages #1643
Comments
I don't think this is an issue with Since |
But |
But has base actually been loaded? |
Ah -- I didn't realize that. I edited the file to be
which would seem to force loading of |
In my attempt I was able to get the short paths by doing:
|
That doesn't surprise me. But I would expect not to need to |
To expand a bit: My understanding of |
Suppose I have
and ask for the type of the
_
(with-short-paths
). I getBase.string -> Base.string
, instead of the desiredstring -> string
. This seems like a bug.My testing setup: a dune project, with this dune file:
After building, this invocation shows the
Base.string -> Base.string
type:The text was updated successfully, but these errors were encountered: