[m-dev.] proposed breakup of std_util.m

[Julien Fischer]

On Wed, 22 Mar 2006, Julien Fischer wrote:

> * Move semidet_succeed/0, semidet_fail/0, cc_multi_equal/2 and dynamic_cast/2
>   into builtin.m.  They're arguably more useful there than in std_util.m.

A slightly related issue: I think we should introduce semidet_true and
semidet_false as synonyms for semidet_succeed and semidet_fail.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------