Re: darcs patch: Support for hoogle-database generation