[m-rev.] for review: untupling transformation

[Zoltan Somogyi]

On 01-Feb-2005, Peter Wang <wangp at students.cs.mu.OZ.AU> wrote:
> I'm not sure why.  I was reading cse_detection.m (for example) and it seemed
> that conjunctions were specifically flattened, whereas parallel conjunctions
> were not.

Cse needs to find all deconstructions executed unconditionally before a call,
and earlier compiler passes can create conjunctions, so cse must look inside
conjunctions. Since earlier compiler passes never create par_conjs, cse
doesn't need to look inside them. In any case, to a first approximation,
par_conjs don't exist.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------