Re: pointer in C & in Ada

[tmoran@acm.org]

>This essentially permits the compiler to avoid issuing a warning about a
>type mismatch in using functions where the programmer has decided the
>type doesn't matter.
  Sometimes it's useful to replace a single C function that uses void*
with two different Ada functions, with two different variable types,
both of which call the same C function (or even both of which are
simply "pragma import"s of the same C function).  In C you can say
"this parameter is this type, or it's any type", while in Ada you
could make specific different functions (overloading the same name)
to allow exactly the desired set of parameter types.