[m-rev.] Bugfix in solver type variable initialisation

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Aug 4 15:49:32 AEST 2005


On 04-Aug-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> +        % A var/lambda unification, which can only be deterministic
> +        % if it's a construction.

s/it's/it is/

IIRC, a var/lambda unification is *always* a construction.

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
--------------------------------------------------------------------------



More information about the reviews mailing list