Path: ...!weretis.net!feeder8.news.weretis.net!npeer.as286.net!npeer-ng0.as286.net!proxad.net!feeder1-1.proxad.net!cleanfeed2-a.proxad.net!nnrp1-1.free.fr!not-for-mail
From: Thomas <fantome.forums.tDeContes@free.fr.invalid>
Newsgroups: fr.comp.lang.ada
Mail-Copies-To: nobody
Subject: Re: Utiliser un access ou pas ?
References: <602be3f8$0$3273$426a74cc@news.free.fr> <s0lbg8$1f1p$1@gioia.aioe.org> <603a3027$0$27427$426a74cc@news.free.fr> <s1fruf$6ev$1@gioia.aioe.org> <6041f98b$0$6480$426a74cc@news.free.fr> <s1t0j0$8ri$1@dont-email.me> <604209cf$0$21604$426a34cc@news.free.fr> <s1td2r$v0p$1@dont-email.me> <60425637$0$21598$426a34cc@news.free.fr> <s1tqu2$66q$1@dont-email.me> <60427563$0$12713$426a34cc@news.free.fr> <s1v4t6$job$1@dont-email.me> <6043a011$0$19484$426a74cc@news.free.fr> <s20cs5$89b$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Date: Wed, 19 Jan 2022 04:23:17 +0100
Message-ID: <fantome.forums.tDeContes-3A6738.04231419012022@news.free.fr>
Lines: 26
Organization: Guest of ProXad - France
NNTP-Posting-Date: 19 Jan 2022 04:23:17 CET
NNTP-Posting-Host: 91.175.52.121
X-Trace: 1642562597 news-4.free.fr 20264 91.175.52.121:13374
X-Complaints-To: abuse@proxad.net
Bytes: 2503

In article <s20cs5$89b$1@dont-email.me>, "J-P. Rosen" <rosen@adalog.fr> 
wrote:

> Le 06/03/2021 à 16:30, DrPi a écrit :
> > Renommer le résultat d'une fonction, par exemple, permettrait 
> > d'outre-passer le type checking (si j'ai bien compris).

> 2) Le /type/ donné dans un rename doit correspondre au /type/ de ce qui 
> est renommé (on devrait dire surnommé en bon français). En revanche, il 
> n'y a pas de vérification que les /sous-types/ correspondent, donc pas 
> de Constraint_Error si la valeur surnommée n'est pas dans l'intervalle 
> du sous-type annoncé dans le rename.

si je te comprend bien,
- il n'y a pas d'outre-passement de (donc il y a) vérification du 
sous-type du résultat de la fonction,
- mais il n'y a pas de vérification du sous-type annoncé dans le rename ?

c'est dommage,
de même que l'interdiction du mot "constant", qui ne devrait pas 
forcément vérifier si l'objet pointé en est une, mais au moins que toute 
utilisation du surnom respecte ça.

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/