Re: Ok sorry, it is just a book gives no feedback.

[Laurent Guerby <guerby@acm.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:
> Indeed, that is why pragma Pure is so hard to use in practice: because
> you can't instrument or otherwise debug code controlled by it. About all
> you can do is remove the pragma, but that often makes the clients of the
> package illegal. Thus debugging these things can be horrible.

The trick is to use pragma Import in Pure units to import "unpure"
debugging stuff without withing it.

package body Of_Pure_Unit
   procedure Dbg (Msg : in String);
   pragma Import (Ada, Dbg); 
   -- May need compiler tweaking with link names, plus of course
   -- a matching Export somewhere in the code.

   function Not_That_Pure return Integer is
   begin
      Dbg ("hello!");
      return 0;
   end Not_That_Pure;

end Of_Pure_Unit;

-- 
Laurent Guerby <guerby@acm.org>