From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,12527b153c400dab
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-08-30 07:32:02 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!feedeast.aleron.net!aleron.net!nntp.flash.net!prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr12.news.prodigy.com.POSTED!not-for-mail
From: "Pat Rogers" <progers@classwide.com>
Newsgroups: comp.lang.ada
References: <akkq54$kcq$1@clnews.edf.fr>
Subject: Re: Tagged types (beginner's question) !
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Message-ID: <llLb9.3803$mB5.1039567026@newssvr12.news.prodigy.com>
NNTP-Posting-Host: 208.191.182.164
X-Complaints-To: abuse@prodigy.net
X-Trace: newssvr12.news.prodigy.com 1030717905 ST000 208.191.182.164 (Fri,
 30 Aug 2002 10:31:45 EDT)
NNTP-Posting-Date: Fri, 30 Aug 2002 10:31:45 EDT
Organization: Prodigy Internet http://www.prodigy.com
X-UserInfo1: 
 TSU[@I_A\S@USVT^ORHL_IXBUSXHQD\MNPWZKB]MPXHZUSAANVUEAE[YETZPIWWI[FCIZA^NBFXZ_D[BFNTCNVPDTNTKHWXKB@X^B_OCJLPZ@ET_O[G\XSG@E\G[ZKVLBL^CJINM@I_KVIOR\T_M_AW_M[_BWU_HFA_]@A_A^SGFAUDE_DFTMQPFWVW[QPJN
Date: Fri, 30 Aug 2002 14:31:45 GMT
Xref: archiver1.google.com comp.lang.ada:28594
Date: 2002-08-30T14:31:45+00:00
List-Id: <comp.lang.ada>

> First Question :
>     Can I override the primitive operation "Adjust" of the
controlled
> type with the following :
>         procedure Adjust (F : in out Fraction'Class);
>     instead of :
>         procedure Adjust( F : in out Fraction);

No.  That would be a different procedure and not an overriding.

> Second question :
>     How can Adjust (F : in out Fraction'Class) return an object of
type
> Entier instead of Fraction ?
>     I tried something like
>         F := E; --(with E : Entier)
>     and many other more complicated things but I always have the
same
> error message from GNAT :
>         "Dynamiclly tagged expression required".

Better deal with the problem above first.