comp.lang.ada
 help / color / mirror / Atom feed
From: mockturtle <framefritti@gmail.com>
Subject: Re: specification file ads problem
Date: Sun, 5 Oct 2014 09:20:34 -0700 (PDT)
Date: 2014-10-05T09:20:34-07:00	[thread overview]
Message-ID: <b8309b51-0c1c-4b76-b1ea-b69c0989eb56@googlegroups.com> (raw)
In-Reply-To: <831a97d3-fa0b-49d9-980b-46e7eb12c1ee@googlegroups.com>


I see an easy error in your code, but I am not sure if it is an error introduced by doing cut'n'paste: the spec of your package  "MyPackage" ends with "end Neighbours" rather than with "end MyPackage."

Moreover, I think that you should put "N : Integer" before the 
definition of myType since when the compiler sees "type myType is..." does not know what N is.  

Moreover, I am not 100% sure that you can use N-1 as array boundary.  I know you cannot do that in a record declaration. Actually, I am quite confident that your usage is right, but I should check with a compiler.

Finally, you "with" your package, but you do not instantiate it.  This, however, should not cause any error, unless you try to "use" it.


  reply	other threads:[~2014-10-05 16:20 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-05 15:39 specification file ads problem Stribor40
2014-10-05 16:20 ` mockturtle [this message]
2014-10-06 21:34   ` Adam Beneschan
2014-10-05 16:29 ` AdaMagica
2014-10-05 16:32 ` Simon Wright
2014-10-05 17:06   ` Online conceptual/tutorial material for Ada, was: " Simon Clubley
2014-10-05 18:44     ` Niklas Holsti
2014-10-05 19:53     ` Peter Chapin
2014-10-06  7:55       ` Simon Wright
2014-10-06 11:08         ` Peter Chapin
2014-10-06 12:13           ` G.B.
2014-10-06 13:07             ` Peter Chapin
2014-10-06 13:40               ` J-P. Rosen
2014-10-06 22:30             ` Simon Clubley
2014-10-07 18:39               ` Peter Chapin
2014-10-06  8:12     ` Jacob Sparre Andersen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox