<div dir="ltr">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.<div>
<br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Aug 25, 2014 at 5:15 AM, Mateusz Kowalczyk <span dir="ltr"><<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I was running Agda over the categories library and watching htop and<br>
noticed that Agda only uses a single core throughout: the whole run<br>
looks like it does at [1].<br>
<br>
I didn't see a --jobs or anything of the sort in --help. Is there any<br>
real challenge of making Agda take advantage of multiple cores?<br>
Considering it's written in Haskell it seems like it would be fairly<br>
easy to do so. Of course it's hard to do so well but at least some<br>
should be easy.<br>
<br>
[1]: <a href="http://fuuzetsu.co.uk/images/1408936268.png" target="_blank">http://fuuzetsu.co.uk/images/1408936268.png</a><br>
<span class="HOEnZb"><font color="#888888">--<br>
Mateusz K.<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</font></span></blockquote></div><br></div>