ADA

What is a Contract? (was: Suffix _T for types found good)
Ray Blaak wrote: A type is a contract specifying behaviour and storage. In the context of Ada types, this use of the word "contract" is potentially eroding the very notion of contract. A type is not specific enough to be the same as a proper full contract: Behavior includes time. Most types don't say a... 20 Aug 2008 12:51

gnat cross compilation
any docs available on building gnat cross compiler? My goal is to target an embedded platform (MSP430 if possible but ARM primarily). I realize that adacore does have a PPC based embedded solution - but it is not clear they are GPL. any pointers appreciated. srini ... 20 Aug 2008 19:03

File output and buffering
It seems to me that the file output in standard Ada library is not buffered: 1. There is no buffer-related operation in the whole library. 2. The semantics of output operations is defined in terms of the effects on external file. 3. The performance of simple test is consistent with what can be obtained in equival... 23 Aug 2008 18:36

Ada.Text_IO.Fixed_IO - strange prefix in output
Consider: with Ada.Text_IO; with Ada.Calendar; procedure A is package Duration_IO is new Ada.Text_IO.Fixed_IO (Ada.Calendar.Day_Duration); D : Ada.Calendar.Day_Duration := 0.0; begin Duration_IO.Put (D); end A; The above program produces the following output: N = 1 0.0000000... 20 Aug 2008 08:43

Ada in Debian 5.0 "Lenny"
Debian 5.0 "Lenny" is due for release in September and has been frozen since the end of July[1] but, due to lack of time on my part, some Ada packages didn't make the deadline and are now in unstable. I requested[2] from the Debian release team an exception to the freeze so these packages can migrate to Lenny a... 19 Aug 2008 02:57

Call for SIGAda Award Nominations
Dear Members of the Ada Community: On Thursday, 30 October 2008, the 2008 SIGAda Awards will be presented in a special morning plenary session at the SIGAda 2008 conference in Portland, Oregon. (See http://www.acm.org/sigada/conf/sigada2008/ if you have somehow missed announcements of this year's annual SIGAda ... 18 Aug 2008 13:36

Opening a file vs. creating if not yet exists
Hi, The Open procedure for opening files expects the given external file to already exist (otherwise the Name_Error is signalled). The Create procedure truncates the file no matter what, even if the mode for opening a file is Append_File. I find this a bit annoying for example with log files, where the natu... 21 Aug 2008 17:35

File "form" and mainstream systems.
Hi, There is a Form parameter in file creation/open procedures (for example Ada.Sequential_IO.Create). The corresponding function allows to retrieve the "form" for the file object that is already open. Is there any use for the file "form" on POSIX or Windows? -- Maciej Sobczak * www.msobczak.com * www.insp... 22 Aug 2008 00:45

GNAT 4.2.3 Ubuntu reports weird compile error wrt Unchecked_Access
Jerry <lanceboyle(a)qwest.net> writes: On Aug 16, 3:26�am, Ludovic Brenta <ludo...(a)ludovic-brenta.org> wrote: Without more context I cannot tell for sure but I believe this is a compiler error in the sense that gnat-4.2 does not implement all the new (and more permissive) rules in Ada 2005 regarding anon... 17 Aug 2008 14:05

GTK Build from source
GPS 4.1.3 (20070913) hosted on pentium-mingw32msv GNAT GPL 2007 (20070405-41) All The above is my GPS environment on a Windows XP laptop. I downloaded the sources for gtkada today. I tried to build gtk with the gpr files provided. testgtk failed to build with the following error : --------------------- ... 22 Aug 2008 05:50