Make sure "if <deferred>:" is equivalent to the undeferred case by implementing __non...
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Tue, 19 Jul 2011 12:08:27 +0000 (14:08 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Tue, 19 Jul 2011 12:08:27 +0000 (14:08 +0200)
commit9e3b7006f19913ba0f3f0d0f79e331947b781156
treedcaeb427826c8eeae5aa5568a32f0ef71bb61fdd
parent28e5d78bcc2e44f7bbe7ae0a28e954cc3e42185b
Make sure "if <deferred>:" is equivalent to the undeferred case by implementing __nonzero__
src/nepi/util/defer.py