Re: newbie problem - how to

[Dana Holland <dana@nav.cc.tx.us>]

Chris Morgan wrote:

> buftask.ali is the Ada Library Information file (.ali) for buftask -
> an Ada unit you must have a mention of somewhere in your source
> code. Have you compiled every source file? You should be able to just
> do gnatmake main if main happens to be the name of the main unit.
>

Well, I tried that, and came up with this error:

+===========================GNAT BUG DETECTED==============================+
| Error detected at buftask.adb:23:28                                      |
| Please submit bug report by email to report@gnat.com                     |
| Use a subject line meaningful to you and us to track the bug             |
| Include full sources in ASCII in a format compatible with gnatchop       |
| First line of sources must be marked by an Ada -- comment line           |
| Last line of sources must be last line of email message (no signature!)  |
| See gnatinfo.txt file for more info on procedure for submitting bugs     |
| 3.10p (970814) (powerpc-ibm-aix4.1.4.0) Gigi abort, Code=999             |
+==========================================================================+
compilation abandoned
gnatmake: "buftask.adb" compilation error


I was about to send in a bug report, and then saw in the archives of this
newsgroup that it wouldn't do any good (other people's opinions, not mine).
Does this truly mean that something is wrong with GNAT, or does it mean that
I've keyed something in wrong?  The section of code looks like this, with
Line 23 marked:

task body WriteChar is
c : character;
i : integer;
begin
loop
select
when not Buffer.full=>
accept Write(ch : in character) do
c := ch;
end Write;
i := (Buffer.rear + 1) mod 10;               <-------   Line 23
delay 0.01;
Buffer.rear := i;
Buffer.empty := false;
Buffer.List(Buffer.rear) := c;
i := Buffer.count + 1;
delay 0.1;
Buffer.count := i;
if (Buffer.count = 10) then
Buffer.full := true;
end if;
or
delay 0.1;
end select;
end loop;
end WriteChar;