Combining databases #288
Comments
|
In Hoogle 5 there's no way to combine databases, and likely never will be - they throw away lots of the essential information during construction. The Hoogle flags for specifying what goes in the database are woefully incomplete. There are comments in https://github.com/ndmitchell/hoogle/blob/master/src/Action/Generate.hs#L40 about a potential design, but it never got finished. Likely as not, you can't merge local and remote information - which is very sad. The part of the code that probably needs changing is https://github.com/ndmitchell/hoogle/blob/master/src/Action/Generate.hs#L200-L203 - observe that the absence of any |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi,
I'm trying to set up a local hoogle database for code that I'm working on. I'd like it to include all my dependencies as well as my own code. I can do
to construct a database of my stuff, and I can do
to construct a database of my dependencies, but I can't figure out how to do one call to get both. Calling
--localwithout arguments is a special case in the command line argument parsing, so doing:fails with the error
(Note the bonus colon there -- it's trying to find the directory named "".)
Searching online for help reveals that there used to be a
combinefeature, but it looks like that was removed in Hoogle 5.Is there a Hoogle 5 way to combine databases? Or, is there a better way to generate a database like what I want?
Thanks!
The text was updated successfully, but these errors were encountered: