Re: Proposal: pragma Assumption

["Santiago Urueña" <suruena@gmail.com>]

> I used Portability for one of many things that proves Ada is a
> better language. And conditional compiling help to destoys that.
>
Nobody is discussing that

>    -------------------
>    -- Unimplemented; --
>    -------------------
>
>    procedure Unimplemented is
>    begin
>       Ada.Exceptions.Raise_Exception
>         (Program_Error'Identity, "interrupts/signals not implemented");
>       raise Program_Error;
>    end Unimplemented;
>
> Then call "Unimplemented;"  where needed. and remove the call when
> routine is corrected.
>
I also considered this approach (but of course the procedure was
called "Asumption" and it received a boolean parameter :-), but when
compiling the final binary you are again at risk of forgetting to
search for any remaining calls to that procedure or to remove its body
(people make that kind of mistakes all the time). Instead, with pragma
Assumption the compiler will warn you, anyway it is common practice to
have different compilations options for each development phase, and
unless that option is explicitly added the compiler will reject any
occurrence of that pragma.

> --
> -- Specification Package: TODO
> --
> package ToDo is
>
>   --
>   -- List of functions and procedures specification that need to
>   -- be written.
>   --
>
> end ToDo ;
>
I didn't considered that, but has the same problems as the procedure
Unimplemented

> Check the list of rejected Ada 2005 updates.
>
I did, and I was unable to find any related proposal

Cheers,

--
Santiago Urueña-Pascual
Technical University of Madrid (UPM)