Re: Package Instances???

["Matthew Heaney" <mheaney@on2.com>]

"Hyman Rosen" <hyrosen@mail.com> wrote in message
news:3C78998A.10006@mail.com...
> Yes, that is exactly what I believe! I think it's Matthew Heaney
> who is arguing otherwise.

Well, if you say "implement it as a type in Ada," that also implies the use
of a package, because you can't declare library-level types, only packages.
Therefore I didn't think it was necessary to call out the use of a package
explicitly.

But if only say "implement it as a package in Ada," then that is ambiguous,
because someone (like me) will think you mean to use only a package, and not
an abstract data type too.

Perhaps the locution "implement as an abstract data type declared in a
package" is necessary to militate against any misunderstanding.