David Hopwood <[EMAIL PROTECTED]> wrote: > Maybe I'm not understanding what you mean by "complete". Of course any > type system of this expressive power will be incomplete (whether or not > it can express conditions 3 to 5), in the sense that it cannot prove all > true assertions about the types of expressions.
Ah. I meant complete enough to accomplish the goal in this subthread, which was to ensure that the compiler knows when a particular int variable is guaranteed to be greater than 18, and when it is not. -- Chris Smith - Lead Software Developer / Technical Trainer MindIQ Corporation -- http://mail.python.org/mailman/listinfo/python-list