Can someone please try to fix the haddock errors :(

Thank you much


---------- Původní zpráva ----------
Od: Andreas Abel <>
Datum: 13. 11. 2012
Předmět: Re: [Haskell-cafe] hackageDB haddock errors

I found that for the recently uploaded Agda-2.3.2 there is no
haddockumentation. Stumbling over the build protocol by chance

I searched for whether haddock had been executed and found, yes, but
also, it failed:

40% ( 2 / 5) in 'Agda.Syntax.Abstract.Pretty'

haddock: internal error: /tmp/ghc17357_0/ghc17357_126.s: hPutBuf:
resource exhausted (No space left on device)

Q: Could this build be run again, with sufficient disk space?

For gtk-0.12.4 there is another explanation: it has build failures:

On 13.11.2012 16:41, wrote:
> Hello,
> There are several packages without haddock documentation on hackage.
> The one that bugs me right now, is the latest version of gtk2hs:
> I've been told that this may be due to hackage updating docs with an
> infrequent cron job, so that new packages don't get their docs for a
> long time. Whatever is causing it, the fact that hayoo
> always uses the most
> frequent docs, means that I cannot currently search for anything gtk2hs
> related :(
> Can someone please look into prodding this cron job so it doesn't take
> days to run, or look into resolving any errors that might be causing
> this unfortunate behaviour?
> Thank you for your time,
> and happy hacking,
> Timothy

Andreas Abel <>< Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY