comp.lang.ada
 help / color / mirror / Atom feed
From: Jere <jhb.chat@gmail.com>
Subject: Re: Importance of GNAT.Source_Info
Date: Sat, 11 Jan 2020 07:02:45 -0800 (PST)
Date: 2020-01-11T07:02:45-08:00	[thread overview]
Message-ID: <ebca5a78-060c-448b-970e-c8827a8bc36e@googlegroups.com> (raw)
In-Reply-To: <lya76x29a5.fsf@pushface.org>

On Wednesday, January 8, 2020 at 11:38:28 AM UTC-5, Simon Wright wrote:
> 
> 
> > I'm working on a baremetal RTS and while looking at
> > https://wiki.osdev.org/Ada_Bare_bones, one of the files it suggests is
> > part of the minimum set of RTS files is g-souinf.ads which contains
> > the package GNAT.Source_Info.
> >
> > Does anyone know what part of the compiler requires this?  So far I
> > haven't had GNAT barf at me for not having it while compiling the
> > files I do have, but I don't want to leave it out if it is indeed
> > necessary for something.  I didn't see any info on why it is
> > necessary.  It's definitely useful in that it gives a lot of compile
> > time values, but not sure why it would be a "required" file.  I'm
> > assuming something will break without it, but don't know what.
> 
> I wouldn't have thought it'd be "required" either. If you want what it
> provides, great, but there's no cost for actually 'with'ing it, because
> it's preelaborated & (as someone has pointed out) all the subprograms
> are intrinsic.

I might still include it.  My OCD doesn't want to put too much
GNAT specific stuff in if I don't need to, but then, I have to 
use GNAT specific stuff because it is an RTS for GNAT, so I am
probably just being silly here and I shouldn't worry about it and
just add it in too.


  reply	other threads:[~2020-01-11 15:02 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-01-06 22:03 Importance of GNAT.Source_Info Jere
2020-01-07  2:29 ` Optikos
2020-01-07  6:12   ` Niklas Holsti
2020-01-11 15:01     ` Jere
2020-01-08 16:38 ` Simon Wright
2020-01-11 15:02   ` Jere [this message]
2020-01-10 10:54 ` charlet
2020-01-11 15:03   ` Jere
replies disabled

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