comp.lang.ada
 help / color / mirror / Atom feed
From: Bob Duff <bobduff@theworld.com>
Subject: Re: Fixed-point question
Date: Mon, 29 Jun 2015 10:13:03 -0400
Date: 2015-06-29T10:13:03-04:00	[thread overview]
Message-ID: <87y4j2r4b4.fsf@theworld.com> (raw)
In-Reply-To: a73b5d2c-5fb6-4374-bab0-fa885e3f43df@googlegroups.com

Patrick Noffke <patrick.noffke@gmail.com> writes:

> But for C2 why is the compiler implicitly converting N and D to universal_fixed
> before doing the division?  Isn't it just as valid to treat the constants as
> universal_real and use the root_real "/" operator first and then do the
> conversion?  I don't see this discussed in 8.6 (29).  There must be another
> rule for type conversion taking preference over division.

The "/" for root_real returns root_real, and there is no implicit
conversion from root_real to the fixed point type.  There is
an implicit conversion from universal_real (which is the type
of literals and named numbers) to any numeric type.

- Bob

  reply	other threads:[~2015-06-29 14:13 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-26 13:20 Fixed-point question Patrick Noffke
2015-06-26 16:56 ` Jeffrey R. Carter
2015-06-26 18:21   ` Patrick Noffke
2015-06-26 20:21     ` Anh Vo
2015-06-26 20:25     ` Jeffrey R. Carter
2015-06-27  2:55       ` Patrick Noffke
2015-06-26 23:14     ` Qun-Ying
2015-06-27  3:00       ` Patrick Noffke
2015-06-27  4:44         ` Jeffrey R. Carter
2015-06-27 17:59           ` Patrick Noffke
2015-06-27 18:38             ` Jeffrey R. Carter
2015-06-27 19:20               ` Bob Duff
2015-06-27 19:57                 ` Jeffrey R. Carter
2015-06-27 20:42                   ` Bob Duff
2015-06-28 11:39                     ` Brian Drummond
2015-06-29 13:28                     ` Patrick Noffke
2015-06-29 14:13                       ` Bob Duff [this message]
2015-06-27 23:41               ` Anh Vo
  -- strict thread matches above, loose matches on Subject: below --
1995-04-01  0:00 Garlington KE
1995-04-06  0:00 ` Robert Dewar
1995-04-07  0:00   ` Robert I. Eachus
1995-04-07  0:00     ` Robert Dewar
1995-04-07  0:00   ` Garlington KE
1995-04-07  0:00     ` Robert Dewar
replies disabled

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