On Mon, 27 May 2013 18:26:31 +1000, Paul Bone <paul at bone.id.au> wrote: > +:- semipure pred pointer_equals(T::in, T::in) is semidet. > +:- pragma inline(pointer_equals/2). pointer_equals is pure. Peter