[mercury-users] infinite recursion

[Michael Day]

:- pred a.
:- mode a is semidet.

a :- a.

Operationally, this is an infinite loop, which the compiler is kind enough
to warn about. Logically, should a/0 fail? Would it be possible for the
compiler to make a/0 fail, or does that border on termination analysis in
the general case?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------