------- Comment #2 from ludovic at ludovic-brenta dot org 2007-12-07 16:33
-------
(In reply to comment #1)
> On trunk:
>
> Compiling: pak5.ads (source file time stamp: 2007-12-07 15:48:22)
>
> 6. x2: integer := f(x1.all); -- line 5; column 19 is the opening paren
> |
> >>> expected type "t1'class" defined at pak4.ads:2
> >>> found type "t2'class" defined at pak4.ads:3
I think this error message is incorrect as T2'Class is a subset of T1'Class.
>
> 7. x3: float := x1.all;
> |
> >>> expected type "Standard.Float"
> >>> found type "t2'class" defined at pak4.ads:3
This is OK.
> 8. x4: boolean := pak4."="(x1.all, x1.all);
> |
> >>> "=" not declared in "pak4"
This is wrong. Pak4 declares T2 and and, implicitly, T2'Class and "=" since T2
is nonlimited.
--
Ludovic Brenta.
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |UNCONFIRMED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381
