[m-dev.] for review: maybe_int option

[Andrew Bromage]

G'day.

Tyson Dowd wrote:

> Can I suggest that in the log message (and the NEWS) just add a
> phrase such as
> 	Add a new kind of option: maybe_int, *to allow optional
> 	arguments with an integer values*.

I copied the above message from the log file entry for maybe_string
option. :-)

But it's not a bad idea.  Thanks, Tyson.

The new NEWS entry looks like this:

<<
Index: NEWS
===================================================================
RCS file: /home/staff/zs/imp/mercury/NEWS,v
retrieving revision 1.90
diff -u -r1.90 NEWS
--- NEWS        1997/12/09 04:09:27     1.90
+++ NEWS        1997/12/19 02:49:56
@@ -227,6 +227,11 @@
   `MGNUCFLAGS=-DML_OMIT_ARRAY_BOUNDS_CHECKS' in your Mmake file). 
   [XXX we also need to fix problems with intermodule inlining heuristics.]
 
+* We've added a new type of option data: maybe_int(maybe(int)), to
+  allow optional arguments with integer values.  There is also a new
+  corresponding lookup predicate, getopt__lookup_maybe_string_option/3.
+  See library/getopt.m for details.
+
 * The support for debugging using Prolog now includes support for
   detailed control over how terms are printed out during debugging.
>>

Similar changes have beed made to the log file.

Cheers,
Andrew Bromage