[m-dev.] for review: `:- assertion' to `:- promise'

[Fergus Henderson]

On 12-Nov-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> 
> This change will require bootstraping, when I delete all the code which
> handles `:- assertion' declarations.
> 
> Is this the correct process?
>     1. Wait for this change to install on all the machines over the
>        weekend.
>     2. Add a sticky tag bootstrap_YYYYMMDD_<short_description_of_change>,
>        to the compiler directory.
>     3. Delete the code which handles `:- assertion', marked with `XXX
>        assertion bootstrap'.
>     4. Do all the other stuff (configure, int assertions to promises).
>     5. Check in my new version of the compiler.

Yes, that looks correct to me.

> Change from `:- assertion' to `:- promise'.
> 
> compiler/assertion.m:
> compiler/error_util.m:
> compiler/hlds_data.m:
> compiler/hlds_out.m:
> compiler/make_hlds.m:
> compiler/mercury_to_goedel.m:
> compiler/mercury_to_mercury.m:
> compiler/prog_io.m:
> compiler/notes/glossary.html:
> doc/transition_guide.texi:
> library/ops.m:
>     Change all externally visible references to promise from assertion.

That diff looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------