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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,cb90b009d6b31cab,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!f13g2000vbm.googlegroups.com!not-for-mail
From: Alexandre K <alexandre.nospam@gmail.com>
Newsgroups: comp.lang.ada
Subject: Spark, pragma
Date: Fri, 28 May 2010 00:34:48 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <7987b9a7-b5ad-4e09-af7e-92734e551c48@f13g2000vbm.googlegroups.com>
NNTP-Posting-Host: 82.229.198.39
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1275032088 6805 127.0.0.1 (28 May 2010 07:34:48
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 28 May 2010 07:34:48 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f13g2000vbm.googlegroups.com; posting-host=82.229.198.39;
	posting-account=TcezFQoAAAAjIIx-1YP3Hv74ICh_b8qk
User-Agent: G2/1.0
X-HTTP-UserAgent: Opera/9.80 (Macintosh; Intel Mac OS X; U; fr) Presto/2.2.15
	Version/10.10,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:12106
Date: 2010-05-28T00:34:48-07:00
List-Id: <comp.lang.ada>

Hi,
I am having trouble with Spark and pragma. If I am not wrong, Spark
accepts all pragmas and generate warning when we run the examiner. In
order than the examiner succeeds, we can tell in the warning control
file that we want to accept some or all pragma, with "pragma all".
Basically, I added a pragma Style_Checks ("-s", Off) in the beginning
of the package body.
When I run the examiner without warning control, it results a warning
about this pragma and another as a consequence :

Warning 430 - SLI generation abandoned owing to syntax or semantic
errors or multiple units in a single source file.

If run the examiner with the warning control, the warning message is
resumed, but the warning

Warning 430 - SLI generation abandoned owing to syntax or semantic
errors or multiple units in a single source file.

still exists and there is no other warning or error.
I can't understand why.

Any idea ?
Thanks