[m-dev.] for review: merge HAL branch onto main branch

[Fergus Henderson]

On 13-Mar-2001, David Jeffery <dgj at cs.mu.OZ.AU> wrote:
options.:
> @@ -2055,6 +2058,12 @@
>                  "\tThis is necessary for interfacing with constraint solvers,",
>                  "\tor for backtrackable destructive update.",
>                  "\tThis option is not yet supported for the IL or Java back-ends.",
> +                "--reserve-tag\t\t\t(grade modifier: `.rt')",
> +                "\tReserve a tag in the data representation of the generated ",
> +                "\tcode. This tag is intended to be used to give an explicit",
> +                "\trepresentation to free variables.",
> +                "\tThis is necessary for a seamless Herbrand solver -",
> +                "\tfor use with HAL.",

I suggest s/solver/constraint solver/

>  @code{--debug}.
>  
> @@ -3650,6 +3656,12 @@
>  This is necessary for interfacing with constraint solvers,
>  or for backtrackable destructive update.
>  This option is not yet supported for the IL or Java back-ends.
> + at sp 1
> + at item @code{--reserve-tag} (grades: any grade containing @samp{.rt})
> +Reserve a tag in the data representation of the generated 
> +code. This tag is intended to be used to give an explicit
> +representation to free variables.
> +This is necessary for a seamless Herbrand solver - for use with HAL.

Likewise.  Also s/-/---/

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