From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada for Data Processing?
Date: 1996/10/11
Date: 1996-10-11T00:00:00+00:00 [thread overview]
Message-ID: <dewar.845038191@merv> (raw)
In-Reply-To: 325DF8CA.56A4@dynamite.com.au
Alan said
"Why? How is this different from any other checked conversion? I see your
point about Program_Error, but would hate to be the guy writing the
compiler code to produce this. But a Constraint_Error is reasonable; and
to write a compiler so as not to do such a check in this instance would
be more work than leaving the check in.
I don't have my LRM handy, but can you see how the wording re
Constraint_Error would not apply here? I can't."
Program_Error is always the more appropriate reaction to a case where
erroneous or bounded error execution is detected by the generated code.
prev parent reply other threads:[~1996-10-11 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-10-02 0:00 Ada for Data Processing? William Frye
1996-10-03 0:00 ` Alan Brain
1996-10-05 0:00 ` Keith Thompson
1996-10-11 0:00 ` Alan Brain
1996-10-11 0:00 ` Ken Garlington
1996-10-11 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox