[m-rev.] for review: I/O actions in the declarative debugger

[Mark Brown]

On 12-May-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> The type `map(int, io_action)' occurs in a number of places.
> IMHO it would be nicer to abstract this out as an equivalence type:
> 
> 	:- type io_action_map == map(io_seq_num, io_action).
> 	:- type io_seq_num == int.

I agree.

> BTW, shouldn't this be `map_cc' rather than `map'?

The difference between map_cc and map is that map_cc allows the _keys_
to be non-canonical, whereas map will abort if this is the case.  There
shouldn't be any problem in either case if the _values_ are non-canonical.
Here the keys are just integers, so using map should be fine.

Cheers,
Mark.

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