From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 6 Sep 93 14:06:29 GMT
From: rational.com!geneo@uunet.uu.net  (Gene Ouye)
Subject: Re: Bug in AdaEd???
Message-ID: <1993Sep6.140629.12405@rational.com>
List-Id: <comp.lang.ada>

Zoltan Sugar (omega@fsz.bme.hu) wrote:
: 	I wrote a liitle test program in Ada with AdaEd translator. 


: 	declare

: 		subtype t is boolean range true .. true;

: 		a: t;

: 	begin

: 		a:= true;
: 		a:= not a;

: 	end;

: 	And this program didn't cause constraint error exception;
: 	A have a question. It is correct or not???

This SHOULD have raised CONSTRAINT_ERROR.  Just out of curiosity, were
you able to print the value of A after the negation and see FALSE?
Eg,	Text_Io.Put_Line ("Value of a => " & Boolean'Image (A));

: 	If a wrote this program with integer type (range 1 .. 1, and using abs 
instead 
: 	of not) there was constraint error exception. I don't understand it.

To the best of my understanding of abs, this SHOULD NOT have raised an
exception.  If this is what is really happening, these sound like bugs
to me.

: 					Zoltan Sugar

: 					omega@fix.fsz.bme.hu		

--
Gene Ouye (geneo@rational.com)   Rational, Bethesda, MD, USA
(301) 897-4014