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