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