I did compile with -threaded.<br><br><div class="gmail_quote">On Sun, Dec 20, 2009 at 5:42 PM, Maciej Piechotka <span dir="ltr"><<a href="mailto:uzytkownik2@gmail.com">uzytkownik2@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="h5">On Sun, 2009-12-20 at 17:25 -0500, Jamie Morgenstern wrote:<br>
><br>
><br>
> Hello;<br>
><br>
><br>
> I am writing a parallel theorem prover using Haskell, and I am trying<br>
> to do several things. As a first cut, I want to try using the par<br>
> construct<br>
> to attempt right and left rules simultaneously, and to evaluate both<br>
> branches of an and clause in parallel. My code (attached) does not<br>
> seem<br>
> to generate sparks, however. When I run<br>
><br>
> ./proposition +RTS -N2 -sstderr<br>
><br>
> I get that no sparks are created. What am I doing wrong?<br>
><br>
><br>
> Also, I was wondering if something akin to a "parallel or" exists. By<br>
> this, I mean I am looking for a function which, given x : a , y : a,<br>
> returns<br>
> either, whichever computation returns first. Can I use strategies to<br>
> code up something like this?<br>
> I suppose this doesn't play nicely with the idea of determinism, but<br>
> thought it might be worth asking<br>
> anyway.<br>
><br>
> Thanks,<br>
> -Jamie<br>
><br>
><br>
</div></div>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br>
-threaded?<br>
<br>
Regards<br>
<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>