Re: GNAT GPL is proving...educational

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 07/21/2013 08:50 PM, Alan Jump wrote:
>
> Tried it. Didn't work. GNAT responded "stacks.vector.ads language unknown".
> (Or something like that. I didn't write down the exact error message; I
> changed the filename and refactored the references from Stacks.Vector to
> Stacks_Vector and the problem went away. And yes, the Stacks interface
> package already existed.)

I would have to see what you have for each package, and the names of the files 
you have them in, to be sure what's going on. but I can assure you that GNAT 
will accept child packages; I've used them many times. One thing to note, given 
your mention of "stacks.vector.ads" is that the file name replaces dots in the 
Ada name with hypens; package Stacks.Vector should be in file "stacks-vector.ads".

> Here's another neophyte question, then...are specs and bodies considered
> separate compilation units? GNAT also complained when I tried to write a
> specification and body for a package in a single file. This may also have
> been me still learning GPS' options, and if they do have to be in separate
> files to keep GNAT happy without diving too deeply into options I don't need
> to be futzing with as a learner, so much the better. And like I pointed out,
> keeping them in separate files and generating a body stub from the
> specification does a lot in keeping me honest.

Yes, package specifications and bodies are separate compilation units.

-- 
Jeff Carter
"If a sperm is wasted, God gets quite irate."
Monty Python's the Meaning of Life
56