[Python-ideas] "old" values in postconditions

[James Lu]

Hi Marko,

> If the documentation is clear, I'd expect the user to be able to distinguish the two. The first approach is shorter, and uses magic, but fails in some rare situations. The other method is more verbose, but always works.
I like this idea. 

James Lu
> On Sep 29, 2018, at 1:36 AM, Marko Ristin-Kaufmann <marko.ristin at gmail.com> wrote:
> 
> If the documentation is clear, I'd expect the user to be able to distinguish the two. The first approach is shorter, and uses magic, but fails in some rare situations. The other method is more verbose, but always works.