diff: hlds_out.m

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Feb 3 18:57:42 AEDT 1998


On 03-Feb-1998, Erwan JAHIER <jahier at cs.mu.OZ.AU> wrote:
> I don't really know what's happened with my previous diff on hlds_out.m
> file but it wasn't the one I had tested ! Sorry about that. 
> 
> Estimated hours taken: 8
> 
> 
> compiler/hlds_out.m
>     This diff  make a few things that were dumped in any
>     hlds-stage optional. They can be recovered using the following
>     field of -D output compiling option:
>     'T' for type and typeclasses information.
>     'M' for modes and instantiation information.
>     'C' for predicates information.
>     'U' for '__unify__' predicates.

That should be 'C' for clause information,
or 'P' for predicate information.

Hmm, I just noticed that Zoltan previously added 'P' to print out
"goal paths" without updating the documentation.  So I guess
it had better be 'C' for clause information.  Or maybe 'A'
for "additional information about predicates".

Please document 'P' while you're at it.

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