[Types-sig] Type Inference I

[Paul Prescod]

If you find that a restriction like this practically allows interesting
type inference then I would propose a rule similar to the following:

"If a Python compiler can determine that there is a code path through
the program that raises TypeError it may reject the program. If it does
not reject the program then it must report the TypeError at runtime by
throwing an exception."
-- 
 Paul Prescod  - ISOGEN Consulting Engineer speaking for himself
Three things see no end: A loop with exit code done wrong
A semaphore untested, and the change that comes along
http://www.geezjan.org/humor/computers/threes.html