[m-rev.] diff: remove user visible documentation for mdb's fail command

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Address bug #24.  The debugger help message referred to the `fail' command,
even though the documentation for it is commented out in the user's guide.
The command had been left out of the table of commands in
the trace directory, so the debugger didn't respond to it anyway.

Since the command doesn't work properly, which is why the documentation
in the user's guide is commented out, remove all other user visible
documentation that refers to it.

Add the `fail' command to the debugger's internal table of commands so
that developers can use it.

doc/mdb_categories:
 	Delete `fail' from the forward execution commands.  It doesn't
 	work properly yet.  (See the comments in doc/user_guide.texi.)

trace/mercury_trace_internal.c:
 	Add the `fail' command to the table of debugger commands.

Julien.

Index: doc/mdb_categories
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/mdb_categories,v
retrieving revision 1.37
diff -u -r1.37 mdb_categories
--- doc/mdb_categories	29 May 2007 08:18:25 -0000	1.37
+++ doc/mdb_categories	31 Oct 2007 06:29:45 -0000
@@ -15,7 +15,7 @@
  document_category 200 forward
  forward    - Commands that move execution forward.
               The forward commands are `step', `goto', `next', `finish',
-             `fail', `exception', `return', `user, `forward',
+             `exception', `return', `user, `forward',
  	     `mindepth', `maxdepth' and `continue'.

  end
Index: trace/mercury_trace_internal.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/trace/mercury_trace_internal.c,v
retrieving revision 1.238
diff -u -r1.238 mercury_trace_internal.c
--- trace/mercury_trace_internal.c	2 Oct 2007 03:37:28 -0000	1.238
+++ trace/mercury_trace_internal.c	31 Oct 2007 06:29:45 -0000
@@ -1538,6 +1538,8 @@
          MR_trace_movement_cmd_args, MR_trace_null_completer },
      { "forward", "finish", MR_trace_cmd_finish,
          MR_trace_movement_cmd_args, MR_trace_null_completer },
+    { "forward", "fail", MR_trace_cmd_fail,
+        MR_trace_movement_cmd_args, MR_trace_null_completer },
      { "forward", "exception", MR_trace_cmd_exception,
          MR_trace_movement_cmd_args, MR_trace_null_completer },
      { "forward", "return", MR_trace_cmd_return,

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------