From: mockturtle <framefritti@gmail.com>
Subject: Re: Primitive subprogram for a subtype?
Date: Mon, 21 Aug 2017 00:36:54 -0700 (PDT)
Date: 2017-08-21T00:36:54-07:00 [thread overview]
Message-ID: <802302b1-afef-42d0-97a3-00287e0073ab@googlegroups.com> (raw)
In-Reply-To: <ond3ek$1brt$1@gioia.aioe.org>
On Monday, August 21, 2017 at 12:45:44 AM UTC+2, Victor Porton wrote:
> Is it possible to define a primitive subprogram for a subtype rather than
> the base type?
>
> --
> Victor Porton - http://portonvictor.org
As I understand (but I am no language lawyer) a subtype is actually the base type, but just with a restriction on the set of possible values. Therefore, it seems to me that it does not make sense to have type and subtype with different primitive subprograms.
prev parent reply other threads:[~2017-08-21 7:36 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-20 22:45 Primitive subprogram for a subtype? Victor Porton
2017-08-21 7:08 ` Dmitry A. Kazakov
2017-08-21 12:32 ` Victor Porton
2017-08-21 12:42 ` Egil H H
2017-08-21 12:50 ` Dmitry A. Kazakov
2017-08-21 14:00 ` J-P. Rosen
2017-08-21 7:36 ` mockturtle [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox