[m-dev.] for review: document the MLDS back-end

[Fergus Henderson]

On 22-May-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> compiler/options.m:
> doc/user_guide.texi:
> 	Document the --high-level-code option and its associated `hlc'
> 	grade.

I forgot to also document the `-H' option.
Also I forgot to update the documentation in
scripts/init_grade_options.sh-subr.
The relative diff for those changes is trivial
(but is enclosed below).

I'll go ahead and commit this now.

----------

doc/user_guide.texi:
- at item @code{--high-level-code} (grades: hlc)
+ at item @code{-H}, @code{--high-level-code} (grades: hlc)

doc/options.m:
-               "--high-level-code\t\t\t(grades: hlc)",
+               "-H, --high-level-code\t\t\t(grades: hlc)",

Index: scripts/init_grade_options.sh-subr
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/init_grade_options.sh-subr,v
retrieving revision 1.10
diff -u -d -u -r1.10 init_grade_options.sh-subr
--- scripts/init_grade_options.sh-subr	1999/12/21 09:56:45	1.10
+++ scripts/init_grade_options.sh-subr	2000/05/24 04:59:22
@@ -26,6 +26,7 @@
 	--asm-labels
 	--gcc-non-local-gotos
 	--gcc-global-registers
+	-H, --high-level-code
 	--parallel
 	--gc {conservative, accurate, none}
 	-p, --profiling
@@ -41,7 +42,6 @@
 		of the Mercury User's Guide."
 
 # --profile-deep is not yet documented because it is not yet implemented
-# --high-level-code is not yet documented because it is not yet stable
 # --gcc-nested-functions is not yet documented because it is not yet stable
 # --high-level-data is not yet documented because it is not yet implemented
 # --high-level is not yet documented because --high-level-data is

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