[Agda] --jobs?

Ulf Norell ulf.norell at gmail.com
Mon Aug 25 08:14:39 CEST 2014


In principle there's no problem (at least if you limit the parallelism to
one thread per module, like ghc). In practice we need some non-trivial
refactoring of the import chasing code. It's on the todo list.

/ Ulf


On Mon, Aug 25, 2014 at 5:15 AM, Mateusz Kowalczyk <fuuzetsu at fuuzetsu.co.uk>
wrote:

> Hi,
>
> I was running Agda over the categories library and watching htop and
> noticed that Agda only uses a single core throughout: the whole run
> looks like it does at [1].
>
> I didn't see a --jobs or anything of the sort in --help. Is there any
> real challenge of making Agda take advantage of multiple cores?
> Considering it's written in Haskell it seems like it would be fairly
> easy to do so. Of course it's hard to do so well but at least some
> should be easy.
>
> [1]: http://fuuzetsu.co.uk/images/1408936268.png
> --
> Mateusz K.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140825/8446a2c1/attachment.html


More information about the Agda mailing list