[m-dev.] pred_markers

[Andrew Bromage]

G'day all.

Thomas Charles Conway 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. Am I missing something, or should this information be associated
> with the proc_info rather than the pred_info? (ie is it not possible for
> one mode of a predicate to terminate, but another not?)

The Mercury trivial examples department proudly presents...

<<
:- mode baz(in(bound(foo))) is det.
:- mode baz(in(bound(bar))) is erroneous.

baz(foo).
baz(bar) :- baz(bar).
>>

Cheers,
Andrew Bromage