[m-rev.] diff: check MLLIBS in Mercury.options

[Julien Fischer]

On Thu, 14 Dec 2006, Simon Taylor wrote:

> Index: tests/invalid/string_format_bad.m
> ===================================================================
> RCS file: /home/mercury1/repository/tests/invalid/string_format_bad.m,v
> retrieving revision 1.2
> diff -u -u -r1.2 string_format_bad.m
> --- tests/invalid/string_format_bad.m	9 Nov 2006 00:47:27 -0000	1.2
> +++ tests/invalid/string_format_bad.m	14 Dec 2006 04:03:26 -0000
> @@ -15,6 +15,7 @@
> :- import_module int.
> :- import_module list.
> :- import_module stream.
> +:- import_module stream.string_writer.
> :- import_module string.
>
> main(!IO) :-
> @@ -25,7 +26,7 @@
>     io.stdout_stream(OutputStream, !IO),
>     io.format("%d", [s("x3")], !IO),
>     io.format(OutputStream, "%d", [s("x4")], !IO),
> -    stream.format(OutputStream, "%d", [s("x4")], !IO),
> +    stream.string_writer.format(OutputStream, "%d", [s("x4")], !IO),
>     io.format("%w", [i(5)], !IO),
>     io.write_string(p(s("five")), !IO),
>     F6 = "%s %f",
> Index: tests/invalid/string_format_unknown.m
> ===================================================================
> RCS file: /home/mercury1/repository/tests/invalid/string_format_unknown.m,v
> retrieving revision 1.2
> diff -u -u -r1.2 string_format_unknown.m
> --- tests/invalid/string_format_unknown.m	9 Nov 2006 00:47:27 -0000	1.2
> +++ tests/invalid/string_format_unknown.m	14 Dec 2006 04:02:56 -0000
> @@ -15,6 +15,7 @@
> :- import_module int.
> :- import_module list.
> :- import_module stream.
> +:- import_module stream.string_writer.
> :- import_module string.
>
> main(!IO) :-
> @@ -37,7 +38,7 @@
>         V6 = [s("six"), V6A],
>         copy(V6, C6),
>         io.format(OutputStream, F6, C6, !IO),
> -        stream.format(OutputStream, F6, C6, !IO),
> +        stream.string_writer.format(OutputStream, F6, C6, !IO),
>         make_bool(7, T7),
>         F7 = "%d %s %d",
>         (
>

The above changes are not mentioned in the log message and don't
look correct anyway, there is no stream.string_writer in the stdlib.

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