Re: Bug in AdaEd???

[rational.com!geneo@uunet.uu.net (Gene Ouye)]

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