From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Primitive subprogram for a subtype?
Date: Mon, 21 Aug 2017 16:00:53 +0200
Date: 2017-08-21T16:00:53+02:00 [thread overview]
Message-ID: <oneoql$1n8$1@dont-email.me> (raw)
In-Reply-To: <onejsp$1i5j$1@gioia.aioe.org>
Le 21/08/2017 à 14:32, Victor Porton a écrit :
> How is it related to having the same tag? I do NOT speak about defining a
> primitive subprogram for both the type and its subtype but for the subtype
> only.
A value (as opposed to a variable) has no subtype, just a type. Suppose
P is a primitive subprogram of some integer type, if you define another
P for some subtype of it, which one would you call for P(1) ?
Remember that the bounds of a subtype can be computed at runtime, but
that overload resolution happens at compile-time!
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2017-08-21 14:00 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 [this message]
2017-08-21 7:36 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox