[m-rev.] For post commit review: fix a problem with error_util.print_anything

[Zoltan Somogyi]

On 31-Jul-2007, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> +:- instance error_util.print_anything(write_indented_goal) where [
> +
> +    ( print_anything(write_indented_goal(Goal, ModuleInfo, VarSet), !IO) :-
> +        io.write_string("\t\t", !IO),
> +        hlds_out.write_goal(Goal, ModuleInfo, VarSet, no, 2, ".\n", !IO)
> +    )
> +
> +].

I would prefer if this were an explicitly named predicate instead of inline
code, but otherwise, the change is fine.

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