From: Daniel <danielnorberto@gmail.com>
Subject: Simple 4 lines hang code using Ravenscar. Its this a Gnat bug?
Date: Fri, 22 Feb 2019 00:56:00 -0800 (PST)
Date: 2019-02-22T00:56:00-08:00 [thread overview]
Message-ID: <87222ca9-1b35-467c-9560-f44bd59e3e55@googlegroups.com> (raw)
Hello,
I found something strange using Ravenscar with Gnat. The code hangs without any explanation when i try to declare a task type...¡even if i dont use any variable of this type!!. If i quit the Ravenscar pragma it works well. This is the code:
--MAIN PROCEDURE
with tmr;
with ada.Text_IO; use ada.Text_IO;
procedure main is
begin
put_line("Let's hang..");
end main;
--- TMR.ADS FILE
pragma Profile (Ravenscar);
package Tmr is
task type K_Timer is
end K_Timer;
end Tmr;
-- TMR.ADB FILE
package body Tmr is
task body K_Timer is
begin
null;
end K_Timer;
end Tmr;
Im using GNAT GPL 2017 for windows.
Thank you and best regards.
next reply other threads:[~2019-02-22 8:56 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-22 8:56 Daniel [this message]
2019-02-22 10:01 ` Simple 4 lines hang code using Ravenscar. Its this a Gnat bug? Niklas Holsti
2019-02-22 12:48 ` Daniel
2019-02-22 10:17 ` AdaMagica
2019-02-22 12:55 ` Simon Wright
2019-02-22 12:55 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox