[m-dev.] term_io bug fix
Thomas Charles Conway
conway at cs.mu.OZ.AU
Thu Nov 12 08:39:16 AEDT 1998
On Wed, Nov 11, 1998 at 03:30:18PM EST, Fergus Henderson wrote:
> Tom, the diff below should fix the term_io bug that you reported.
> I've checked that it compiles, but I haven't tested it. Would you mind
> testing it, adding a regression test and committing this change for me?
>
Will do.
> +:- pred term_io__write_arg_term(term, varset, int, varset, int,
> + io__state, io__state).
> +:- mode term_io__write_arg_term(in, in, in, out, out, di, uo) is det.
> +
> +term_io__write_arg_term(Term, VarSet0, N0, VarSet, N) -->
> + { ArgPriority = 1000 },
> + term_io__write_term_3(Term, ArgPriority - 1, VarSet0, N0, VarSet, N).
> +
Nice magic number :-)
A comment at least would be helpful. Is 1000 the priority of `,' or
something?
Thomas
--
Thomas Conway <conway at cs.mu.oz.au> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton
More information about the developers
mailing list