Sergio Antoy wrote:
> I am attaching a test that works as one would expect from a
> parallel implementation.
Some more questions on the example, Sergio, if I may:
Is map defined here in one of the ways Sebastian proposed?
Would test4/test5/test6 behave the same if g was defined as follows?
g (x,y) = nf (f x,f y)
nf (Loop,Fail) = (Loop,Fail)
nf (Fail,Loop) = (Fail,Loop)
nf (Loop,Stop) = (Loop,Stop)
To put the question another way: is only the implicit normal form
parallelized or also the pattern matching where possible?
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Mär 14 2008 - 10:37:01 CET