[Agda] --jobs?
Andreas Abel
abela at chalmers.se
Mon Aug 25 10:37:03 CEST 2014
I think the first step towards this would be to implement a stand-alone
import chaser. Currently new agda files are processed right when the
scope checker hits an import statement. A separate phase for import
resolution, yielding a dependency graph, would allow both simultaneous
processing of agda files (when --jobs) and progress reports like ghc does.
It would be nice if you could work on this.
Cheers,
Andreas
On 25.08.2014 05:15, Mateusz Kowalczyk 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
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list