commit | 89a39461bff04b80bb4857790350e1ab30ff2df9 | [log] [tgz] |
---|---|---|
author | Armin Rigo <arigo@tunes.org> | Thu Oct 28 16:32:00 2004 +0000 |
committer | Armin Rigo <arigo@tunes.org> | Thu Oct 28 16:32:00 2004 +0000 |
tree | 54bc00a9ad30e8e49849874cfbca8543de62fa58 | |
parent | 063e1e846dc5c3fe593cef5b14cc429369dcd2c2 [diff] |
Wrote down the invariants of some common objects whose structure is exposed in header files. Fixed a few comments in these headers. As we might have expected, writing down invariants systematically exposed a (minor) bug. In this case, function objects have a writeable func_code attribute, which could be set to code objects with the wrong number of free variables. Calling the resulting function segfaulted the interpreter. Added a corresponding test.