* re: GNAT probem (should have been on chat@gnat)
1999-10-12 0:00 GNAT probem (should have been on chat@gnat) Ehud Lamm
@ 1999-10-12 0:00 ` Ehud Lamm
0 siblings, 0 replies; 2+ messages in thread
From: Ehud Lamm @ 1999-10-12 0:00 UTC (permalink / raw)
Apperantly I jumped too soon. The code works when I use gnatbind -p
so it seems it is not an elaboration problem after all.
But who knows...
--
Ehud Lamm mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm
Check it out and subscribe to the E-List
Sent via Deja.com http://www.deja.com/
Before you buy.
^ permalink raw reply [flat|nested] 2+ messages in thread
* re: GNAT probem (should have been on chat@gnat)
@ 1999-10-12 0:00 Ehud Lamm
1999-10-12 0:00 ` Ehud Lamm
0 siblings, 1 reply; 2+ messages in thread
From: Ehud Lamm @ 1999-10-12 0:00 UTC (permalink / raw)
I'd venture a gues about my problem.
I think it was the result of an elaboration order problem. I didn't see
any discussion of this in the docs, but I don't see any reason why the
result of gnatmake -f will produce the same elab order as a gnatmake with
no -f. So perhpas this is the cause. I added a pragma...
Wheter this really solved the problem the original problem I don't know
(since the code is evolving rapidly) but I guess I will use -gnatwl next
time I have a similiar problem.
By the way: I really enjoyed the output of gnatbind -e. Is it a feature or
a bug that it goes to stderr (only the header goes to stdout)? I caught it
with >& in DOS. (GNAT3.11)
Nice tool
Ehud Lamm mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <== My home on the web
Check it out and subscribe to the E-List- for interesting essays and more!
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1999-10-12 0:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-10-12 0:00 GNAT probem (should have been on chat@gnat) Ehud Lamm
1999-10-12 0:00 ` Ehud Lamm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox