comp.lang.ada
 help / color / mirror / Atom feed
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.

             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