comp.lang.ada
 help / color / mirror / Atom feed
From: "Ekkehard Morgenstern" <ekkehard.morgenstern@onlinehome.de>
Subject: Re: [announcement] SYSAPI and SYSSVC for Windows
Date: Mon, 22 Dec 2003 16:31:26 +0100
Date: 2003-12-22T16:31:26+01:00	[thread overview]
Message-ID: <bs72oh$qkv$1@online.de> (raw)
In-Reply-To: 1072105705.142888@master.nyc.kbcfp.com


"Hyman Rosen" <hyrosen@mail.com> wrote:
> One of the evolutionary aspects of GNAT is its ability to provide
> clear and coherent error messages that direct the programmer's
> attention to the most likely problem in an incorrect program. This
> has come about through years of feedback, where users of GNAT report
> messages which are less than what they would like to see, and GNAT
> is augmented to handle those cases.

This a very good aspect of GNAT that I already realized when using
it. Before I can make a decision whether to port GNAT and the GCC,
I will have to take a look at its source. I will do that soon.

As I understand the GCC bootstrapping phase, I will have to write
a minimal C compiler that conforms to some rules, and then I can
compile with it the first stage of GCC, and with that the second,
and so on. And then I just need to recompile the GNU libraries
and the GNAT compiler.

However, I haven't looked at the GCC source for some years, so I
have to update myself on that first.

My only concern is, that I won't need all the stuff that comes
with the GCC, the GNU libraries and GNAT. 

The whole concept also makes assumptions about storage of source
files. I want to store all code and sources into a database
and read them from there. Since my database supports versioning,
the scope of file names is inappropriate. My compiler shall work
without files, since I want to use it to write the base of an
operating system. Since many of the GNU projects are file-based,
this might present a problem.

> Without examining GNAT's code, and without access to its test suite,
> you will not have the benefit of those feedbacks, and your error
> messages will be of low quality.

This might indeed be a problem. Perhaps my Ada compiler will only
be for writing the base code that can boot and run the operating
system, and then I can use a POSIX layer to support the GNU stuff,
including GNAT. So on my OS, you would still be able to use GNAT,
if you want to.

I'm using my own compiler-generation tools, and I will write new
ones for Ada, but the automated translation approach that I've 
chosen leaves little possibility for good error messages. In the
horrible first version of my compiler-generator, the source text
would just be accepted or rejected, resulting in a single error
message! ;)  -- of course I cannot uphold that for compilers that
are used by the general public. I will think of a better concept
for my compiler-creation tools that will allow better checks. :)





  reply	other threads:[~2003-12-22 15:31 UTC|newest]

Thread overview: 67+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-12-17 19:17 [announcement] SYSAPI and SYSSVC for Windows amado.alves
2003-12-17 19:56 ` Georg Bauhaus
2003-12-18  9:08 ` Dmitry A. Kazakov
2003-12-18 12:14   ` Ekkehard Morgenstern
2003-12-18 13:31     ` Georg Bauhaus
2003-12-19 10:45       ` Ekkehard Morgenstern
2003-12-19 17:12         ` Georg Bauhaus
2003-12-19 17:22           ` Vinzent 'Gadget' Hoefler
2003-12-20  0:21           ` Ekkehard Morgenstern
2003-12-20  2:18             ` Georg Bauhaus
2003-12-20  4:40               ` Ekkehard Morgenstern
2003-12-21  3:45                 ` Georg Bauhaus
2003-12-21 19:01                   ` Piracy was " Robert I. Eachus
2003-12-18 14:32     ` Dmitry A. Kazakov
2003-12-19 11:11       ` Ekkehard Morgenstern
2003-12-19 15:15         ` Hyman Rosen
2003-12-19 15:50           ` Ekkehard Morgenstern
2003-12-19 16:48             ` Hyman Rosen
2003-12-19 16:57               ` Hyman Rosen
2003-12-20  1:17               ` Ekkehard Morgenstern
2003-12-21  2:19                 ` Hyman Rosen
2003-12-21 10:34                   ` Ekkehard Morgenstern
2003-12-22  9:02                     ` Hyman Rosen
2003-12-22 15:17                       ` Ekkehard Morgenstern
2003-12-22 15:08                     ` Hyman Rosen
2003-12-22 15:31                       ` Ekkehard Morgenstern [this message]
2003-12-22 16:35                         ` Ekkehard Morgenstern
2003-12-23  1:47                           ` Hyman Rosen
2003-12-23  8:40                             ` Ekkehard Morgenstern
2003-12-23  9:05                               ` Stephen Leake
2003-12-19 17:06         ` Dmitry A. Kazakov
2003-12-20  1:49           ` Ekkehard Morgenstern
2003-12-20 11:13             ` Dmitry A. Kazakov
2003-12-20 13:40               ` Ekkehard Morgenstern
2003-12-20 17:21                 ` Dmitry A. Kazakov
2003-12-20 19:52                   ` Ekkehard Morgenstern
2003-12-21  4:24                     ` Georg Bauhaus
2003-12-21 13:42                     ` Dmitry A. Kazakov
2003-12-21 15:48                       ` Ekkehard Morgenstern
2003-12-21 17:46                         ` Michal Morawski
2003-12-21 18:05                           ` Ekkehard Morgenstern
2003-12-22  0:50                             ` Robert I. Eachus
2003-12-23 23:02                       ` Robert A Duff
2003-12-24 11:20                         ` Dmitry A. Kazakov
2003-12-24 16:57                           ` Robert A Duff
2003-12-25 14:00                             ` Dmitry A. Kazakov
2003-12-28  1:49                       ` Dave Thompson
  -- strict thread matches above, loose matches on Subject: below --
2003-12-15 14:18 Ekkehard Morgenstern
2003-12-15 15:10 ` Ekkehard Morgenstern
2003-12-15 17:10 ` Jeffrey Carter
2003-12-15 18:38   ` Ekkehard Morgenstern
2003-12-16  0:25     ` Stephen Leake
2003-12-16  0:56       ` Ekkehard Morgenstern
2003-12-16  2:47         ` Ludovic Brenta
2003-12-16 17:45           ` Ekkehard Morgenstern
2003-12-16 19:54             ` Ludovic Brenta
2003-12-16 22:09               ` Ekkehard Morgenstern
2003-12-17 15:24                 ` Ludovic Brenta
2003-12-17 23:23                   ` Ekkehard Morgenstern
2003-12-19 18:14                   ` Warren W. Gay VE3WWG
2003-12-16  5:36         ` tmoran
2003-12-16 17:30           ` Ekkehard Morgenstern
2003-12-15 20:44 ` David Marceau
2003-12-16  0:34   ` Ekkehard Morgenstern
2003-12-17 12:05 ` Dmitry A. Kazakov
2003-12-17 15:00   ` Ekkehard Morgenstern
2003-12-20 19:24 ` Ekkehard Morgenstern
replies disabled

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