[m-rev.] diff: rename function symbols to reduce ambiguity

Zoltan Somogyi zs at csse.unimelb.edu.au
Mon Aug 21 13:37:42 AEST 2006


On 20-Aug-2006, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> However, the most important benefit is the increase in
> the readability of unfamiliar code; the reader won't have to emulate the
> compiler's type ambiguity resolution algorithm (which in many cases used to
> require distinguishing between f/14 and f/15 by counting the arguments,
> e.g. for "pred_or_func").

The actual arities involved used to be 12 and 13, but that's not much better.

The big rename takes the summary of the output of "ambiguity -f" from

	Total: 494 names used 1450 times, maximum 31, average: 2.94

to

	Total: 438 names used 1268 times, maximum 31, average: 2.89

i.e. it got rid of 182 ambiguities, and eliminated the ambiguity of 56
functions symbols altogether.

The function symbol that belongs to 31 types is "error"; "ok" belongs to 28.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list