Tyson wrote: > This change implements `:- pragma no_inline'. I've had to make a few > related changes along the way in the handling of markers and creation of > new predicates. That all looks fine to me. Simon.