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

[Peter Ross]

On 12-Nov-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> Hi,
> 
> 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.
> 
I asked Tys about this and he said I have the correct order.
So I will commit this in the next 1/2 hour.

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