[m-dev.] for review: improvements for record syntax

[Simon Taylor]

Ralph Becket: 
> By the way, I'm slightly unhappy about the name `elem'.  I'd prefer
> something like the following:
> 
> 	X = Map ^ value(Key)
> and	Map ^ value(Key) := Y

Here we go again.

How about:
	X = Map ^ entry(Key)
and	Map ^ entry(Key) := Y

I think `entry' is better than `value' because it
gives a stronger mental image of an item in a table.

`value' and `entry' are both better than `elem' because
they are not abbreviations. 

`element' is starting to get a bit too long.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------