ADA

SIGAda coverage in GCN
Today's new issue of GCN (at http://www.gcn.com/print/27_8/46116-1.html) has some coverage of SIGAda, including a few words about Praxis, AdaCore, SPARK, and the iFACTS and Tokeneer projects. - Rod ... 22 Apr 2008 01:34

Question about circular elaboration order error (GNAT).
I'm using GNAT GPL 2007. Consider the following packages. The specifications and bodies are each in their own files, as usual. ----> parent.ads <---- package Parent is -- Needed so this package requires/allows a body. procedure Dummy; end Parent; ----> parent-child.ads <---- package Parent.Ch... 15 Apr 2008 03:22

Announcement: GNAT ported to LLVM
I made a mistake in the instructions for building llvm-gcc with Ada support (http://llvm.org/docs/GCCFEBuildInstrs.html): you need to use the 2005 GNAT GPL edition if you are building the LLVM 2.2 release, not the 2006 edition as originally stated [*]. I've tweaked the version of the Ada front-end in the LLVM sub... 11 Apr 2008 09:29

SPARK and static unit checking?
I have found a rather annoying (but in some ways very reasonable) rule in SPARK: You are not allowed to (re)declare operators for a type. This prevents me from using my standard trick for static unit type checking: type Length is private; function "+" (L, R : Length) return Length; -- not SPARK ... 14 Apr 2008 11:21

Lack of formal syntax undermines Ada
Ada does not have a formal syntax. The LRM provides "syntax rules" section by section, then collectively in Annex P. The resulting woolly grammar is well-known to be ambiguous (e.g. is X:=Y(Z) an assignment from a function call, array indexing or something else?). It mixes lexical and syntactical information. It ca... 17 Apr 2008 02:48

Another compiler problem related to multiple inheritance?
Consider the following: -- types.ads: generic type T is private; package Types is type Base is interface; function "=" (Left : Base; Right : Base) return Boolean is abstract; -- Note: diamond-shaped hierarchy: type Middle_1 is interface and Base; type Middle_2 is i... 11 Apr 2008 12:41

RFC: Ada-Belgium barbecue and Debian packaging workshop
The following message was posted recently to the Ada-Belgium members' mailing list. Even if you are not a member or live/work abroad, feel free to respond and provide your views and/or preferences. Dirk Craeynest, Ada-Belgium Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail) ------- F... 9 Apr 2008 17:07

Generic formals - meanings and Wikibook suggestion
The following table: http://en.wikibooks.org/wiki/Ada_Programming/Generics#Generic_formal_types is extremely useful with generics and provides invaluable help when writing or reading generic code. (another way of putting it is that the syntax for generics is just broken ;-) ) What is missing from this tab... 7 Apr 2008 06:29

problem linking with glu and win32ada
Hi, I'm using the following: GNAT GPL 2007-2 Windows 2000 win32ada When with'ing win32.glu, I get a Linker error: i:\progra~1\gnat\2007\lib\win32ada/libwin32ada.a(win32-glu.o):win32-glu.adb:(.text+0x7b): undefined reference to `gluErrorString@4' objdump tells me that there is indeed a call to gluErrorStri... 6 Apr 2008 19:21

delay until problem in Windows
Simplified code: task body Some_task is Time_For_Next_Frame : time; procedure Fetch_Frame is -- Here is where Time_For_Next_Frame is calculated begin Send_Frame; Time_For_Next_Frame := Clock + Desired_Delta_T; end Fetch_Frame; begin loop select ... 9 Apr 2008 11:20