ndmitchell / ndmitchell/hoogle

Combining databases

Open
#288 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Haskell
Stars
803
Forks
152
PR merge metrics
No merged PRs in 30d

Description

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

hoogle generate --local=. --database local.hoo

to construct a database of my stuff, and I can do

hoogle generate --local --database deps.hoo

to construct a database of my dependencies, but I can't figure out how to do one call to get both. Calling --local without arguments is a special case in the command line argument parsing, so doing:

hoogle generate --local --local=.

fails with the error

Starting generate
hoogle: : getDirectoryContents:openDirStream: does not exist (No such file or directory)

(Note the bonus colon there -- it's trying to find the directory named "".)

Searching online for help reveals that there used to be a combine feature, 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!

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reproducing the two hoogle generate commands and the failing repeated --local invocation described in the issue. Trace the command-line parsing and database-generation entry points to determine whether combining dependency and local databases is supported; done means a working documented path or a clearly scoped implementation plan.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
cli
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
32/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.