Exiting from a function or procedure

["Andres Tarallo" <atarallo@chasque.apc.org.NOSPAM>]

        I'm currently learning ADA, my compiler is GNAT 3.12 for Windows and
my sources are an old translation of  a book from Henry Ledgard (Dated 1983)
and the tutorials and articles I've downloaded from "The Brave ADA
Programmers Site".

        I'm currently working in a small program to handle polinomials, in
this program i have a procedure that must do something if it's parameters
meet a certain condition; otherwhise it must exit.

        What I want to do expressed i pseudo-C lenguage is something like
this:

        int sum(A, B){

                if (A == B)
                        /* Do something usefull with this  */
                else
                        exit(0);   /* something went wrong  */
                endif;
     }

    From my readings i learned that i have to do this via exceptions; the
way
to do this I achieved is:

function "+"(izq, der: in term) return term is
      aux: term;
      error_suma: exception;
      begin
         if (izq.exponente = der.exponente) then
            aux.coeficiente:= (izq.coeficiente + der.coeficiente);
            aux.exponente:= izq.exponente;
            return aux;
         else
               raise error_suma;
         end if;
         exception
                       when error_suma => Put(" ERROR !!!");
      end;


            When I compile this it compiles fine, however i get a warning
telling me that this could raise an exception during runtime.

            I'm still not very familiar with exceptions and it's handling,
Am I doing things in the right way? After displaying the message may program
will terminate?

            Thanks in advance, apologize me for my grammar and vocabulary;
english is not my mother tongue

                                        Andres Tarallo
(atarallo@chasque.apc.org)