Re: Math on dimensioned quantities

[jsa@organon.com (Jon S Anthony)]

In article <DuB08H.2HI@world.std.com> bobduff@world.std.com (Robert A Duff) writes:

> W. Wesley Groleau (Wes) <wwgrol@PSESERV3.FW.HAC.COM> wrote:
> >writers listening?--how about a pragma similar to
> >
> >   pragma Disallow ( Operation => "*", For_Type => Inch );
> 
> How about:
> 
>     function "*"(X, Y: Inches) return Inches is <>;
                                                  ^^ abstract

> ?  Then this particular "*" is abstract and therefore can't be called,
> and this is checked at compile time.  You can still multiply
> inches*inches to get square-inches.  It's annoying that you might have
> to declare lots of "is <>" functions, but I think it does solve the
                     ^^^^^^^ abstract

Ooops!  Does this mean you favored the preliminary box notation?

/Jon
-- 
Jon Anthony
Organon Motives, Inc.
1 Williston Road, Suite 4
Belmont, MA 02178

617.484.3383
jsa@organon.com