Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ucla-cs!sdcrdcf!burdvax!eric
From: eric@burdvax.PRC.Unisys.COM (Eric Marshall)
Newsgroups: comp.lang.ada
Subject: Re: Constrained Boolean
Message-ID: <3283@burdvax.PRC.Unisys.COM>
Date: Sat, 18-Apr-87 07:38:34 EST
Article-I.D.: burdvax.3283
Posted: Sat Apr 18 07:38:34 1987
Date-Received: Sun, 19-Apr-87 17:54:05 EST
References: <3280@burdvax.PRC.Unisys.COM>
Sender: news@burdvax.PRC.Unisys.COM
Organization: Unisys/Paoli Research Center, Paoli, PA
Lines: 14

last night I wrote:
> 
>   The elaboration of 'a' below will not raise CONSTRAINT_ERROR.
> 
>   subtype bool is boolean range true..true;
>   a : bool := true xor false;

	This is a poor example, although my point is correct, XOR
will not always raise CONSTRAINT_ERROR. Below is a more appropriate
example:

		subtype bool is boolean range false..false;
		a, b : bool := false;
		c : bool := a xor b;