From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b284f3c6f5dea395
X-Google-Attributes: gid103376,public
From: adaworks@netcom.com (AdaWorks)
Subject: Re: Correction to previous post
Date: 1996/04/03
Message-ID: <adaworksDpB8CE.4F0@netcom.com>#1/1
X-Deja-AN: 145722855
sender: adaworks@netcom2.netcom.com
references: <dewar.828527000@schonberg>
organization: richard_riehle@adaworks.com
newsgroups: comp.lang.ada
Date: 1996-04-03T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert Dewar (dewar@cs.nyu.edu) wrote:

: Here is the example I meant to post:

: with Text_IO; use Text_IO;

: procedure S is
:    Sum : Integer;
: begin
:    for J in 1 .. 10 loop
:       Sum := Sum + J;
:    end loop;

:    Put_Line (Integer'Image (Sum));
: end;

  Or howabout the equivalent,

      with Text_IO;
      procedure S is
         J : Integer := 10;
      begin
       Text_IO.Put_Line(Integer'Image( (J * (J + 1)) / 2 ); 
      end S;

  Surely that is provable.  :-)    :-)  :-)

  Richard Riehle
  adaworks@netcom.com
-- 

richard@adaworks.com
AdaWorks Software Engineering
Suite 27
2555 Park Boulevard
Palo Alto, CA 94306
(415) 328-1815
FAX  328-1112