[m-rev.] diff/for review: more library improvements for caribou

[Ralph Becket]

Zoltan Somogyi, Thursday,  6 January 2005:
> Add some library functions I discovered I needed while working on my scanner
> generator.
> 
> library/char.m:
> 	Add char__int_to_char, a more expressive name for the reverse mode
> 	of char__to_int, and a deterministic version, char__det_int_to_char.

You should also add a func version of the latter.

> library/map.m:
> 	Add a new predicate reverse_map, which turns a map(K, V) into
> 	a map(V, set(K)).

This should be a function.

Otherwise, that looks fine.

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