From: eric@burdvax.UUCP
Subject: Re: Constrained Boolean
Date: Fri, 17-Apr-87 20:46:17 EST [thread overview]
Date: Fri Apr 17 20:46:17 1987
Message-ID: <3280@burdvax.PRC.Unisys.COM> (raw)
In-Reply-To: 880@aw.sei.cmu.edu.sei.cmu.edu
in article <880@aw.sei.cmu.edu.sei.cmu.edu>, (Robert Firth) says:
>
> If somebody constrains a Boolean subtype
> to one value, then the following holds
>
> ...
>
> . NOT and XOR will always raise CONSTRAINT_ERROR
>
The elaboration of 'a' below will not raise CONSTRAINT_ERROR.
subtype bool is boolean range true..true;
a : bool := true xor false;
next prev parent reply other threads:[~1987-04-18 1:46 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1987-04-07 14:14 Constrained Boolean firth
1987-04-18 1:46 ` eric [this message]
1987-04-18 12:38 ` Eric Marshall
1987-04-20 14:01 ` Robert Firth
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox