[m-dev.] problems with unique modes

[Andrew Bromage]

G'day.

> 2.  We will need to be able to handle is code of the form
> 
> 	( uniq_array__insert(Array0, Key, Value, Array1) ->
> 		Array = Array1
> 	;
> 		Array = Array0
> 	)

As a matter of interest, why can't we oblige people to write this?

	( uniq_array__bounds_check(Array0, Key, Value) ->
		uniq_array__insert(Array0, Key, Value, Array)
	;
		Array = Array0
	)

Or perhaps:

	uniq_array__try_insert(Array0, Key, Value, Array1),
	( Array1 = yes(Array)
	; Array1 = no(Array)
	)

Cheers,
Andrew Bromage