Don wrote:
Being marked as 'pure' is no guarantee that the function will terminate.

Right, and the compiler makes no attempt to check this, either.

Reply via email to