comp.lang.ada
 help / color / mirror / Atom feed
From: "Jerry" <lanceboyle@qwest.net>
Subject: Re: Why does this work? (overloads)
Date: 7 Feb 2007 13:13:30 -0800
Date: 2007-02-07T13:13:30-08:00	[thread overview]
Message-ID: <1170882810.007117.42730@m58g2000cwm.googlegroups.com> (raw)
In-Reply-To: <5upyh.336354$FQ1.1334@attbi_s71>

Jeffrey R. Carter wrote:
> Grein, Christoph (Fa. ESG) wrote:
> > For a problematic example, consider X := A*B*C; where all four are
> > vectors.
>
> > Is it (A*B) inner product * C resulting in vector or
> >       (A*B) vector        * C resulting in vector.
> > The compiler can't tell and will reject the code.
>
> You can tell the compiler, though:
>
> Long_Float'(A * B) * C
> Vector'(A * B)     * C
> Matrix'(A * B)     * C
>
Pretty cool. What is this feature called so that I can study it?
Jerry




  reply	other threads:[~2007-02-07 21:13 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-02-07  4:39 Why does this work? (overloads) Jerry
2007-02-07  6:45 ` AW: " Grein, Christoph (Fa. ESG)
2007-02-07  7:07   ` Jerry
2007-02-07  7:26     ` AW: " Grein, Christoph (Fa. ESG)
2007-02-07 20:43       ` Jerry
2007-02-07 19:09   ` AW: " Jeffrey R. Carter
2007-02-07 21:13     ` Jerry [this message]
2007-02-07 21:33       ` Ludovic Brenta
2007-02-07 21:36       ` Randy Brukardt
2007-02-07 19:02 ` Jeffrey R. Carter
2007-02-07 19:21   ` Adam Beneschan
2007-02-07 19:25     ` Adam Beneschan
2007-02-08  0:51       ` Jeffrey R. Carter
2007-02-07 23:12     ` Robert A Duff
2007-02-08  0:49     ` Jeffrey R. Carter
2007-02-07 20:53   ` Jerry
2007-02-08  0:53     ` Jeffrey R. Carter
2007-02-08 10:40       ` Jerry
2007-02-08 11:34         ` Georg Bauhaus
2007-02-08 12:05         ` AW: " Grein, Christoph (Fa. ESG)
2007-02-08 18:52         ` Jeffrey R. Carter
2007-02-09  0:56         ` Jerry
2007-02-09  1:27         ` tmoran
replies disabled

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