naming conventions

[Fergus Henderson]

Hi all,

In the case where there are two versions of a predicate,
one of which handles errors by failing, and the other of
handles errors by aborting, our current naming convention
is to call them `foo' and `det_foo'.  For example, we
have `map__insert' and `map__det_insert'.

The problem is that this naming convention only works
well in the case that the first version is `semidet'.
If the first version is `nondet' or `cc_nondet', then
it would be silly to name the second version `det_foo'.
Instead, I suppose it should be called `multi_foo' or
`cc_multi_foo', to match its actual determinism.
The only problem with that is that IMHO it is not a very
elegant naming convention anymore.

Comments?  Suggestions?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.