comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: RFC:  Generic Fixed-Point IIR Filter
Date: Thu, 26 Mar 2015 13:39:24 -0700
Date: 2015-03-26T13:39:24-07:00	[thread overview]
Message-ID: <mf1qo9$dqb$3@dont-email.me> (raw)
In-Reply-To: <mf1qgd$2hu$1@loke.gir.dk>

On 03/26/2015 01:34 PM, Randy Brukardt wrote:
> 
> A result of universal-fixed always has to be converted immediately to 
> another type. It's not legal to use it directly. Specifically, 4.5.5(19.1/2) 
> says: "The above two fixed-fixed multiplying operators shall not be used in 
> a context where the expected type for the result is itself universal_fixed 
> ".

So there's always an expected subtype? I thought in a string of operations in an
expression, there was no expected type until the conversion of the result to the
expected subtype of the entire expression.

-- 
Jeff Carter
"Since I strongly believe that overpopulation is by
far the greatest problem in the world, this [Soylent
Green] would be my only message movie."
Charleton Heston
123


  reply	other threads:[~2015-03-26 20:39 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-03-26 16:25 RFC: Generic Fixed-Point IIR Filter Patrick Noffke
2015-03-26 17:05 ` Dmitry A. Kazakov
2015-03-26 17:41 ` Jeffrey Carter
2015-03-26 19:44   ` Patrick Noffke
2015-03-26 20:34     ` Randy Brukardt
2015-03-26 20:39       ` Jeffrey Carter [this message]
2015-03-26 21:12         ` Randy Brukardt
2015-03-26 21:30           ` Patrick Noffke
2015-03-26 22:02           ` Jeffrey Carter
2015-03-27 12:17           ` G.B.
2015-03-26 21:17       ` Patrick Noffke
2015-03-26 20:37     ` Jeffrey Carter
2015-03-27 11:37 ` Brian Drummond
replies disabled

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