diff: hlds_out.m
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Jan 30 11:06:27 AEDT 1998
On 29-Jan-1998, Erwan JAHIER <jahier at cs.mu.OZ.AU> wrote:
> Fergus Henderson wrote:
> >
> > On 29-Jan-1998, Erwan JAHIER <jahier at cs.mu.OZ.AU> wrote:
> > > compiler/hlds_out.m
> > > Add a new field 'T' to the -D output compiling option.
> > > When that field is on, a few items are not dumped
> > > anymore (types and '__unify__' predicates).
> >
> > The sense of this suboption is opposite to that of all the other -D suboptions:
> > when `T' is specified it prints less, whereas for all the others
> > if the suboption is specified, it prints more.
> >
> > I think you should reverse its sense, so that it is consistent
> > with the others. (You'll need to change the comments accordingly.)
> >
>
> But then the default would be the "ligth version" rigth ?
> Isn't that a problem ?
I don't think so.
> Morever, 'T' was for Tracing (that was not a very good reason to call it
> T but ...): so maybe I should use 'M' for more in that case ?
I guess so. Or perhaps it would be better to use different letters for
each different thing (`T' for types, `U' for unification preds, etc.).
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
More information about the developers
mailing list