[m-rev.] for review: a step towards Mercury-level RTTI for Java and IL

[Ralph Becket]

Simon Taylor, Friday, 28 June 2002:
> On 27-Jun-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > On Thu, May 16, 2002 at 02:20:47AM +1000, Zoltan Somogyi wrote:
> > > +map__init_singleton(K, V) =
> > > +	map__det_insert(map__init, K, V).
> > 
> > This change is not mentioned in the log message.  The added predicate
> > should also be documented in the NEWS file.
> 
> Is adding that function to the library really worthwhile?
> 
> 	map__init_singleton(K, V)
> 	map__set(map__init, K, V)

Or the even more concise

	( map__init ^ elem(K) := V )

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