Noob question: universal_integer type
Coronado's Ada tutorial - Chapt3 [quote] The constant 17 is of a very special type defined by Ada as type "universal_integer" which can be combined with any of the integer types without specific conversion. [/quote] Let me get this right... if I use an undeclared integer in an expression, Ada will "deem it"... 22 May 2010 23:37
Ada-bindings for 0mq.
Corrections the target for this hunt is 0MQ 1.0.7. On 05/20/2010 08:24 PM, Per Sandberg wrote: Finally the Ada-bindings <http://www.zeromq.org/bindings:ada> to 0MQ <http://www.zeromq.org/> are in a beta almost production state chasing the trunk of the core implementation. I will not release before the fi... 21 May 2010 17:12
[Ann] Ada-bindings for 0mq.
Finally the Ada-bindings <http://www.zeromq.org/bindings:ada> to 0MQ <http://www.zeromq.org/> are in a beta almost production state chasing the trunk of the core implementation. I will not release before the final 2.0.6 release since there are new features in the trunk not available in the 2.0.6-beta release. ... 20 May 2010 14:58
Installing MinGW and testing it out I have a problem.
I've installed MinGW on a WIn 7 machine. I have GPL GNAT already installed. But trying to compile a project which compiles ok under the GPS I get this error from the command line: d:/mingw/bin/../lib/gcc/ mingw32/4.5.0/../../../../mingw32/bin/ld.exe: cannot find -lgnarl-4.5 I looked at the GPL installation, it's ... 21 May 2010 08:23
Gnat cross compiler
Hi, I've spent some time trying to build a gcc Ada cross compiler for i686- elf target (well, a c,c++,ada compiler). I'm working on Windows with Cygwin 1.7 and gcc 4.3.4 binaries and sources. I'm following the procedure on: http://wiki.osdev.org/GCC_Cross-Compiler#Step_1_-_Bootstrap So far GCC and libgcc have ... 24 May 2010 12:19
Ada noob here! Is Ada widely used?
On Sat, 5 Jun 2010 20:41:47 +0000 (UTC), tmoran(a)acm.org wrote: The word "model" is key. It is meaningless to talk about whether something, software or hardware, *is* stochastic - but one can observe whether a stochastic *model* of the system is helpful or not. Hmm, I think a physicist would... 9 Jun 2010 13:04
Symbolic tracebacks on Debian (Was: About static libraries and Debian policy)
Björn Persson writes on comp.lang.ada: Ludovic Brenta wrote: Traceback is always available, either in symbolic or numeric form. To get the symbolic form, you need the -dbg package installed. Is that libgnat-4.3-dbg that needs to be installed (on Etch)? Yes. More precisely, libgnat-4.1-dbg on Et... 22 May 2010 09:25
SPARK reserved and predefined words : alternative choices
Hello, The topic I am coming with may looks a bit stupid at first sight, I hope not too much, as this may be worth to discuss. SPARK defines some reserved words as a kind of keywords -- in the first list -- and reserved words as FDL predefined identifiers -- in the second list. The ones from the first... 20 May 2010 12:45
Q: SPARK visibility rules and inherit annotations.
I'm working on a SPARK program. Right now I'm just doing design so my focus is on package specifications; there are no package bodies. I'm having some trouble with the following: with TMLib.Cryptographic_Services; --# inherit TMLib.Cryptographic_Services; package TMLib.Credentials is type Credential_Type i... 25 May 2010 17:57
Trying to use the "Code Statement" for a special project, by passing the ASM proc/func. So, can Gnat process a true "Code Statement" statement? When I compile the following example using gnat make temp.adb -gnatpg gcc -c -gnatpg temp.adb temp.adb:10:07: incorrect type for code statement gnatmake: "temp.adb"... 19 May 2010 07:07