What is a type error?

[Chris Smith]

David Hopwood <david.nospam.hopwood at blueyonder.co.uk> 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