comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison<dennison@telepath.com>
Subject: Re: Type Conversion in an Assignment Statement
Date: Mon, 18 Jun 2001 13:28:03 GMT
Date: 2001-06-18T13:28:03+00:00	[thread overview]
Message-ID: <DlnX6.12894$pb1.468842@www.newsranger.com> (raw)
In-Reply-To: 3B2DB8B9.1A26F90F@informatik.uni-jena.de

In article <3B2DB8B9.1A26F90F@informatik.uni-jena.de>, Carsten Freining says...
>This is a correct program. I thought it would raise a constraint_error,

You shouldn't ever *count* on a constraint check for proper operation of your
code. They can be unexpectedly removed or moved around on the whim of the
compiler or user (via pragma suppress or a command-line parameter).

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
          home email - mailto:dennison@telepath.com



  parent reply	other threads:[~2001-06-18 13:28 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-06-18  8:15 Type Conversion in an Assignment Statement Carsten Freining
2001-06-18  9:27 ` [comp.lang.ada] " David C. Hoos, Sr.
2001-06-18 10:18   ` Carsten Freining
2001-06-18 10:18   ` Carsten Freining
2001-06-18 13:28 ` Ted Dennison [this message]
2001-06-19  5:23   ` Carsten Freining
2001-06-18 20:08 ` Robert A Duff
2001-06-19  5:41   ` Carsten Freining
2001-06-19 12:35     ` Underscore Usage (was: Type Conversion in an Assignment Statement) Wilhelm Spickermann
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox