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,FREEMAIL_FROM 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!postnews.google.com!o13g2000cwo.googlegroups.com!not-for-mail From: ich_bin_elvis@hotmail.com Newsgroups: comp.lang.ada Subject: Re: SPARK and Interfaces.C Date: 17 May 2005 03:55:42 -0700 Organization: http://groups.google.com Message-ID: <1116327342.680775.205190@o13g2000cwo.googlegroups.com> References: <1116005688.002279.128010@g43g2000cwa.googlegroups.com> <1116072937.506109.246460@g47g2000cwa.googlegroups.com> NNTP-Posting-Host: 83.109.116.89 Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Trace: posting.google.com 1116327347 12768 127.0.0.1 (17 May 2005 10:55:47 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 17 May 2005 10:55:47 +0000 (UTC) In-Reply-To: <1116072937.506109.246460@g47g2000cwa.googlegroups.com> User-Agent: G2/0.2 Complaints-To: groups-abuse@google.com Injection-Info: o13g2000cwo.googlegroups.com; posting-host=83.109.116.89; posting-account=0aqxew0AAACkVywG-5LBKAoZkI4b4H_t Xref: g2news1.google.com comp.lang.ada:11063 Date: 2005-05-17T03:55:42-07:00 List-Id: Now I've made the index file as described above. I also made all the files interfaces.ads, interfaces-c.ads etc and made empty package spesifications on the parent packages. I run the spark command spark /i=adadll.idx adadll.ads,interfaces.ads,interfaces-c.ads,ada-numerics.ads,ada-numerics-elementary_functions.ads and I get the message. DATE : 17-MAY-2005 12:48:54.31 3 WITH Interfaces.C; ^ *** Syntax Error : No complete DOTTED_SIMPLE_NAME can be followe by ANNOTATION_END here. Generating listing file ADADLL.LST ... Examining the specification of package Interfaces ... Generating listing file INTERFACES.LST ... Examining the specification of package C ... Generating listing file INTERFACES-C.LST ... Examining the specification of package Numerics ... Generating listing file ADA-NUMERICS.LST ... Examining the specification of package Elementary_Functions ... Generating listing file ADA-NUMERICS-ELEMENTARY_FUNCTIONS.LST ... Generating report file ... -----------End of SPARK Examination-------------------------------- The start of the Adadll.ads file looks like this: with Ada.Numerics.Elementary_Functions; with Interfaces.C; with Win32; use type Win32.Bool; package body Adadll is ... What am I doing wrong??