From: "Nick Roberts" <Nick.Roberts@dial.pipex.com>
Subject: Re: Fixed point multiplication ambiguity
Date: 1999/01/29
Date: 1999-01-29T00:00:00+00:00 [thread overview]
Message-ID: <78sojm$crk$1@plug.news.pipex.net> (raw)
In-Reply-To: F6AwFx.76y.0.-s@inmet.camb.inmet.com
I am much chuffed by your time and effort in replying Tuck. Big big thanks.
The wording I was missing out on was "For a complete context" (RM 8.6 [31],
the 'context' being defined by RM 8.6 [4]). Now it all fits into place (and
you can actually _see_ the steam coming off the top of my head ;-).
What this means is that a compiler _deeply searches_ a complete context for
a single, unambiguous, interpretation: in this case, the one with all
Durations. I was simply assuming that Ada wouldn't be designed this way (I
wouldn't have :-).
Why? Because it means that the search space could, theoretically, end up
getting rather big. But, of course, in practice, it's very unlikely to get
_too_ big (especially considering the big search spaces modern compilers
cover in the name of optimisation). It also means that sometimes an
interpretation will be 'non-obvious' to someone reading the code. But that's
the way it is. Maybe a change needed for Ada 200X?
Okay, I'm a cheeky so-and-so (you may have noticed), so my next question is:
do you recommend I try developing 'tree pruning' techniques to cut down the
search space (searching for interpretations), or just search it all 'brute
force'?
Again, thanks.
-------------------------------------------
Nick Roberts
-------------------------------------------
next prev parent reply other threads:[~1999-01-29 0:00 UTC|newest]
Thread overview: 59+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-14 0:00 Fixed point multiplication ambiguity Marc A. Criley
1999-01-14 0:00 ` bob
1999-01-14 0:00 ` David C. Hoos, Sr.
1999-01-14 0:00 ` Matthew Heaney
1999-01-14 0:00 ` Tucker Taft
1999-01-15 0:00 ` robert_dewar
1999-01-28 0:00 ` Nick Roberts
1999-01-28 0:00 ` Tucker Taft
1999-01-28 0:00 ` robert_dewar
1999-01-29 0:00 ` Nick Roberts
1999-01-29 0:00 ` Tucker Taft
1999-01-29 0:00 ` Nick Roberts [this message]
1999-01-29 0:00 ` Tucker Taft
1999-02-01 0:00 ` Robert I. Eachus
1999-02-02 0:00 ` Building a compiler (was: Fixed point multiplication ambiguity) Nick Roberts
1999-02-03 0:00 ` dennison
1999-02-03 0:00 ` Chris Morgan
1999-02-04 0:00 ` robert_dewar
1999-02-04 0:00 ` Garbage collection - was " news.oxy.com
1999-02-04 0:00 ` robert_dewar
1999-02-05 0:00 ` David Botton
1999-02-05 0:00 ` Tom Moran
1999-02-18 0:00 ` news.oxy.com
1999-02-18 0:00 ` Garbage collection - was Re: Building a compiler Samuel Mize
1999-02-19 0:00 ` Samuel Mize
1999-02-18 0:00 ` Garbage collection - was Re: Building a compiler (was: Fixed point multiplication ambiguity) David Botton
1999-02-18 0:00 ` dewar
1999-02-18 0:00 ` AdaHag
1999-02-19 0:00 ` Steven Hovater
1999-02-20 0:00 ` A Modest Defense of ACT (though they are big boys and can take care of themselves) Steve Quinlan
1999-02-21 0:00 ` dewar
1999-02-22 0:00 ` Matthew Heaney
1999-02-21 0:00 ` bill
1999-02-22 0:00 ` Larry Kilgallen
1999-02-22 0:00 ` dennison
1999-02-22 0:00 ` dennison
1999-02-24 0:00 ` Steve Quinlan
1999-02-25 0:00 ` dewar
1999-02-25 0:00 ` Steve Quinlan
1999-02-25 0:00 ` robert_dewar
1999-02-25 0:00 ` dennison
1999-02-26 0:00 ` Steve Quinlan
1999-02-26 0:00 ` dennison
1999-02-27 0:00 ` Simon Wright
1999-02-27 0:00 ` Dave Taylor
1999-02-28 0:00 ` dewar
1999-02-05 0:00 ` GC+HC for GNAT/GCC (was: Building a compiler) Nick Roberts
[not found] ` <m33e4jvs1n.fsf@muc.de>
1999-02-06 0:00 ` GC+FSD for GNAT/GCC Nick Roberts
1999-02-07 0:00 ` robert_dewar
1999-02-05 0:00 ` Building a compiler Nick Roberts
1999-02-05 0:00 ` Tucker Taft
1999-02-06 0:00 ` Nick Roberts
1999-01-30 0:00 ` Fixed point multiplication ambiguity robert_dewar
1999-02-02 0:00 ` Building a compiler (was: Fixed point multiplication ambiguity) Nick Roberts
1999-02-03 0:00 ` Tucker Taft
1999-02-03 0:00 ` robert_dewar
1999-01-28 0:00 ` Fixed point multiplication ambiguity robert_dewar
1999-01-14 0:00 ` Tom Moran
1999-01-14 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox