From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b2df4819ac8b566a
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!diphi.demon.co.uk!jpt
From: JP Thornley <jpt@diphi.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: SPARK and Interfaces.C
Date: Sat, 21 May 2005 23:52:56 +0100
Message-ID: <4lZe9SBIv7jCJwn3@diphi.demon.co.uk>
References: <1116005688.002279.128010@g43g2000cwa.googlegroups.com>
 <kecpj3CVKQhCJwnA@diphi.demon.co.uk>
 <1116072937.506109.246460@g47g2000cwa.googlegroups.com>
 <1116327342.680775.205190@o13g2000cwo.googlegroups.com>
 <1116340818.264418.117280@g14g2000cwa.googlegroups.com>
 <1116492378.074823.321470@g43g2000cwa.googlegroups.com>
 <1116493274.004505.67590@g49g2000cwa.googlegroups.com>
 <1116498302.651121.297610@g49g2000cwa.googlegroups.com>
NNTP-Posting-Host: diphi.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain;charset=us-ascii
X-Trace: news.demon.co.uk 1116716187 13774 80.177.171.182 (21 May 2005
 22:56:27 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Sat, 21 May 2005 22:56:27 +0000 (UTC)
User-Agent: Turnpike/6.04-S (<57yliim1as8qyQFODvacArbnOv>)
Xref: g2news1.google.com comp.lang.ada:11115
Date: 2005-05-21T23:52:56+01:00
List-Id: <comp.lang.ada>

In article <1116498302.651121.297610@g49g2000cwa.googlegroups.com>,
ich_bin_elvis@hotmail.com writes
>Thanks got the sytem shadow to work when i used the hide an, with
>configuration file i still got an error.
>
>   4  type double is new Standard.Long_Float;
>                                            ^
>***        Syntax Error      : reserved word "WITH" expected.
>
>   6  type int is new Integer;
>                             ^
>***        Syntax Error      : reserved word "WITH" expected.
>
>           Examining the specification of package Adadll ...

That's because non-tagged derived types aren't in SPARK.

The obvious change is to change them to renaming subtype definitions:

   subtype double is Standard.Long_Float;

   subtype int is Integer;

which might trigger some "unnecessary type conversion" warnings, but you
can ignore these.

>
>The spesification file looks like this
>
>package interfaces.C is
>
>type double is new Standard.Long_Float;
>type unsigned_long  is mod 2 ** long'Size;
>type int is new Integer;
>
>end interfaces.C;
>
>and the Adadll.ads file looks like this, this one gets several errors
>like this
>  11     subtype BOOL      is Interfaces.C.int;
>                              ^
>***        Semantic Error    :754: The identifier Interfaces is either
>undeclared
>           or not visible at this point. This package must be both
>inherited
>           and withed to be visible here.
This is probably a result of the semantic errors in the specification.
Once you've got rid of those then this one will probably go away as
well.

Cheers,

Phil
-- 
JP Thornley