Re: compiler confusion, overloading and "subtype mark required in this context"

["Randy Brukardt" <randy@rrsoftware.com>]

"Mehdi Saada" <00120260a@gmail.com> wrote in message 
news:4360fbab-d22f-4a21-bc9b-aebe6b3c1faan@googlegroups.com...
>> If I count corretctly, looks like a closing ) is missing at the end. Thus 
>> in the else part, you have
>> Rational*Integer.
> Ahhhh... I'm not used to these kinds of error messages ! I kinda 
> understand what happened later in functions then... just kind :-)
> Experiences makes good eyes... well I see myself getting better at it too.
>> Here you have Positive as a type name and as an enumeration literal.
> I saw, but it seemed to me the context was clear enough, I'm surprised 
> gnat doesn't agree with me.

Type names don't allow overloading. So if you have both an enumeration 
literal and a type name, you can only get one or the other (or neither in 
some cases). If you're using both, something has to be illegal. Only 
subprograms can be overloaded (enumeration literals are technically 
functions).

                               Randy.