[mercury-users] Pred defns

[Peter Schachte]

On 30 Mar 1998, John Griffith wrote:

> Why not have a user interface that (optionally) shows you which hidden
> arguments occur in a clause?  Wouldn't this give you the best of both
> worlds?

My global variables implementation basically does this.  During compilation,
it prints out which global variables are needed by, and which are
meaningfully changed by, each predicate.  It could dump this info into a
file without any trouble, so it could be browsed at will.

Of course, if the source is changed without generating a new report, this
will be out of date.  Then again, if the source is changed, the pred
declarations in the source file may be out of date, too.


-Peter Schachte               | Mr. Spock succumbs to a powerful mating urge
mailto:pets at cs.mu.OZ.AU       | and nearly kills Captain Kirk. -- TV Guide,
http://www.cs.mu.oz.au/~pets/ | describing the Star Trek episode _Amok_Time_ 
PGP key available on request  |