From: "Rod Chapman" <rod.chapman@praxis-his.com>
Subject: Re: SPARK and Interfaces.C
Date: 17 May 2005 07:40:18 -0700
Date: 2005-05-17T07:40:18-07:00 [thread overview]
Message-ID: <1116340818.264418.117280@g14g2000cwa.googlegroups.com> (raw)
In-Reply-To: 1116327342.680775.205190@o13g2000cwo.googlegroups.com
1) When you give an indedx file you shouldn't have to specify all the
other files on the command-line - that's the whole idea! just try
spark /i=adadll adadll.ads
and let the Examiner sort out all the dependencies for you.
2) Why do you have a package body in a file ending in ".ads" - this
looks wrong.
3) Does this package have an "inherit" annotation? If so, then it must
be a package specification not a body!
4) Are you seriously planning on shadowing the Win32 package for use
within SPARK? This could be very hard indeed.
- Rod, SPARK Team
next prev parent reply other threads:[~2005-05-17 14:40 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-05-13 17:34 SPARK and Interfaces.C ich_bin_elvis
2005-05-13 19:40 ` JP Thornley
2005-05-14 12:15 ` Rod Chapman
2005-05-14 13:31 ` Martin Dowie
2005-05-14 15:41 ` Rod Chapman
2005-05-17 10:55 ` ich_bin_elvis
2005-05-17 14:40 ` Rod Chapman [this message]
2005-05-19 8:12 ` ich_bin_elvis
2005-05-19 8:46 ` ich_bin_elvis
2005-05-19 9:01 ` Rod Chapman
2005-05-19 10:25 ` ich_bin_elvis
2005-05-21 22:52 ` JP Thornley
2005-05-23 9:48 ` ich_bin_elvis
2005-05-23 13:30 ` JP Thornley
2005-05-23 15:10 ` JP Thornley
2005-05-24 8:57 ` ich_bin_elvis
2005-05-24 10:36 ` JP Thornley
2005-05-24 20:34 ` ich_bin_elvis
2005-05-25 7:54 ` JP Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox