[m-rev.] for review: generalize the specialization of compare/3 predicates

Zoltan Somogyi zs at cs.mu.OZ.AU
Thu Feb 7 16:15:31 AEDT 2002


On 05-Feb-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> -	{ map__init(Empty) },
> -	{ Goal = disj(Cases, Empty) - GoalInfo },
> +	{ disj_list_to_goal(Cases, GoalInfo, Goal) },

OK, that's convinced me.

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