On Saturday 09 October 2010 03:09:30 Denis Koroskin wrote: > Given that pre-, post-conditions and invariants are all pure, it doesn't > really matter in what order they are executed.
In effect yes, but they aren't actually pure. If they were, you couldn't use stuff like writeln() in them. However, since they go away in release builds and aren't supposed to have any effect on the program (beyond throwing AssertErrors on failed assertions), they are in effect pure, so you're essentially correct. But still, they aren't actually pure. - Jonathan M Davis
