[m-dev.] pred_markers

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Jan 31 23:04:00 AEDT 1999


On 29-Jan-1999, Thomas Charles Conway <conway at hydra.cs.mu.oz.au> wrote:
> The type pred_marker is an abstract set of maker stored in the
> pred_info. Of the possible markers, terminates and does_not_terminate
> are two.

Yes.  These are used for `:- pragma terminates(foo/N).' declarations
and `:- pragma does_not_terminate(foo/N).' declarations.

> Am I missing something, or should this information be associated
> with the proc_info rather than the pred_info?

The pred_markers are in the pred_info rather than the proc_info
because the syntax in the pragma declaration specifies a pred
rather than a proc.

Arguably there should be syntax for saying that a particular
mode of a predicate terminates or doesn't, but currently there is
not.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.



More information about the developers mailing list