From: 18k11tm001@sneakemail.com (Russ)
Subject: Re: user-defined type conversion
Date: 19 May 2002 20:25:22 -0700
Date: 2002-05-20T03:25:23+00:00 [thread overview]
Message-ID: <bebbba07.0205191925.548bea7a@posting.google.com> (raw)
In-Reply-To: 3CE81644.D3B7CE25@acm.org
Jeffrey Carter <jrcarter@acm.org> wrote in message news:<3CE81644.D3B7CE25@acm.org>...
> Russ wrote:
> >
> > type inches is new float;
> > type feet is new float;
> >
> > function inches ( arg: feet ) return inches is
> > begin
> > return inches ( 12.0 * float(feet) );
> > end inches;
>
> Assuming you meant Arg rather than Feet in the return statement, it
> appears that this function attempts infinite recursion. This confusion
> among the multiple meanings of "inches" might be part of why the
> language does not allow this.
Yes, I meant "arg" rather than "feet", and I don't think it's an
infinite resursion. The "inches" function takes a "feet" argument,
whereas the call of "inches" within it takes a "float" argument.
That's two different functions.
I still don't see why I shouldn't be able to make my own type/unit
conversion that has the same simple syntax as the built-in type
conversions. Until I do, I consider it a minor deficiency of the
language.
next prev parent reply other threads:[~2002-05-20 3:25 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-19 7:44 user-defined type conversion Russ
2002-05-19 8:54 ` martin.m.dowie
2002-05-19 10:44 ` David C. Hoos, Sr.
2002-05-19 18:29 ` Russ
2002-05-19 20:58 ` David C. Hoos, Sr.
2002-05-19 21:12 ` Jeffrey Carter
2002-05-21 9:18 ` Dmitry A. Kazakov
2002-05-19 19:01 ` sk
2002-05-20 3:33 ` Russ
2002-05-20 19:27 ` Randy Brukardt
2002-05-20 19:45 ` David C. Hoos
2002-05-19 21:17 ` Jeffrey Carter
2002-05-20 3:25 ` Russ [this message]
2002-05-20 6:21 ` Jeffrey Carter
2002-05-21 9:30 ` Dmitry A. Kazakov
[not found] ` <mailman.1021892102.6644.comp.lang.ada@ada.eu.org>
2002-05-20 19:26 ` Russ
2002-05-21 9:35 ` Dmitry A. Kazakov
2002-05-22 4:32 ` Russ
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox