2009/4/9 Miles <semanticist at gmail.com>: > Clearly, any comparison with a boolean literal should be illegal. ;) Hey, we could have strict type checking at compile time of /all/ operations, couldn't we? Anybody care to join me over at the Ada list? ;-) -- Tim Rowe