Re: hoogling GHC

2011-03-14 Thread Ranjit Jhala
Hi Neil -- Is there a command line option that allows one to change the default prefix for the URL returned by searches? For example, I managed to get a local hoogle server to index over ghc.foo but a query dfun returned the (dead) link

Re: hoogling GHC

2011-03-14 Thread Neil Mitchell
Hi Ranjit, Is there a command line option that allows one to change the default prefix for the URL returned by searches? No command line option, but you can change the .txt file itself by doing: @url http://www.haskell.org/ghc/docs/7.0.1/html/libraries/ghc-7.0.1/ @package ghc That should

Re: hoogling GHC

2011-03-09 Thread Neil Mitchell
Hi Ranjit, It sounds like you've got quite far. Sadly the manual is a bit out of date with respect to generating databases, but generally you need to produce ghc.txt on your own (using tools such as GHC's make system), then you can do: hoogle convert ghc.txt default.hoo Then you can run the

Re: hoogling GHC

2011-03-09 Thread Ranjit Jhala
Hi Neil -- thanks, this is perfect!! Ranjit. On Mar 9, 2011, at 1:59 PM, Neil Mitchell wrote: Hi Ranjit, It sounds like you've got quite far. Sadly the manual is a bit out of date with respect to generating databases, but generally you need to produce ghc.txt on your own (using tools such

Re: hoogling GHC

2011-03-05 Thread Malcolm Wallace
Ranjit, I'd like to build a hoogle database that indexes the GHC source. Can anyone point me to how I might do that? (Or better, to a preexisting database?) The author of Hoogle, Neil Mitchell, is currently on holiday, but I'm sure he will have some good advice for you when he returns.

Re: hoogling GHC

2011-03-05 Thread Ranjit Jhala
Hi Malcolm, thanks! I'd managed, thanks to the tutorials/blog managed to get to the point where make haddock generated ghc.txt which I converted to the database ghc.hoo After some more fiddling (namely copying the above into the relevant .cabal/share/hoogle/... directory), and

Re: hoogling GHC

2011-03-05 Thread Malcolm Wallace
The final stumbling block is getting the local webserver (hoogle server) to also search the above database. I'm sure there must be some simple way I can pass the name of the database as an argument when I boot up the server, but I can't seem to find it... Have you found the various

hoogling GHC

2011-03-04 Thread Ranjit Jhala
Hi all, I'd like to build a hoogle database that indexes the GHC source. Can anyone point me to how I might do that? (Or better, to a preexisting database?) (I've noticed that make haddock generates a bunch of .txt files. Is there some easy way to scour the directories and build a single