[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