Re: Interfacing to C

[Ludovic Brenta <ludovic.brenta@insalien.org>]

You're writing a binding to the "marktime" function.  Fine.  There are
problems with your binding, however.

In your package spec, you declare a procedure Marktime, which you
import.  The import is a "completion" in Ada reference manual terms;
this means that the procedure "marktime" is completely known after the
pragma Import line.

Per ARM 3.1.11(7), "At most one completion is allowed for a given
declaration."  Thus, the compiler will not look for other completions;
the procedure does not need a body (and indeed, providing a body is
illegal).

Except for the dummy procedure, nothing in your package spec needs a
completion (i.e. everything is completely defined by the spec).
Therefore, your package spec does not need a package body.

Per ARM 7.2(4), "A library package_declaration [...] shall not have a
body unless it requires a body; pragma Elaborate_Body can be used to
require a library_unit_declaration to have a body, if it would not
otherwise require one."

Here, I think the underlying problem is that you are trying to provide
two completions for procedure Marktime: the pragma Import and the
body.  You must choose one and remove the other.

-- 
Ludovic Brenta.