Can someone please try to fix the haddock errors :(
Thank you much
---------- Původní zpráva ----------
Od: Andreas Abel <email@example.com>
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, firstname.lastname@example.org wrote:
> 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
> http://holumbus.fh-wedel.de/hayoo/hayoo.html 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,
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY