[comp.lang.ada] Overloading resolution

rds@moss.ATT.COM (08/11/88)

I stand corrected.

According to LRM 4.10(6) the expression -15 alone in the previous letter 
is universal_integer. Its context implies it is whatever [legal] type 
shares the relational operator, and is evaluated as an INTEGER in the
expression "left < -15".

Thanks goes to Hannu-Matti Jarvinen and Robert Snyder for the
correction and the LRM reference.

Rich DeSimine