Re: Constrained Boolean

[eric@burdvax.PRC.Unisys.COM (Eric Marshall)]

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;