Re: What do you think about this?

[Anh Vo <anhvofrcaus@gmail.com>]

On Wednesday, June 24, 2015 at 2:06:05 PM UTC-7, Laurent wrote:
> On Wednesday, 24 June 2015 07:57:51 UTC+2, Anh Vo  wrote:
>  
> > In addition, "pragma Assertion_Policy (Check);" should be added at the top of the package. This >pragma has the same effect as switch -gnata under GNAT. Of course, all compiler must comply with >pragma Assertion_Policy.
> 
> Ah ok now I can see a difference. At least now I get additional info where the problem comes from. Instead of "Oops error"

That is exactly the intention. Here is another beauty. With GNAT, add the following exception handler to your main procedure. Make sure to pass switch -E to your build option. Thus, debugger is rarely needed.

with Gnat.Traceback.Symbolic; use Gnat;
--...
exception
   when Err : others =>
      Put_Line ("Houston we have a problem: " &
                                        Exceptions.Exception_Information(Err));
      Put_Line (Traceback.Symbolic.Symbolic_Traceback(Err));

 
> Thanks.

You are quite welcome.