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,e1bb9627c57b7d5b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-16 01:00:25 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!skynet.be!skynet.be!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: U : Unbounded_String := "bla bla bla"; (was: Is the Writing...) Date: Thu, 16 Oct 2003 10:01:00 +0200 Message-ID: <7sisov47v5q37u5fls9p7bp6o17lm10jrv@4ax.com> References: NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1066291223 25120284 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:950 Date: 2003-10-16T10:01:00+02:00 List-Id: On Wed, 15 Oct 2003 20:59:00 +0400 (MSD), "Alexandre E. Kopilovitch" wrote: >My concern is quite opposite: I'd like have a control for blocking such >overloadings (thus denying an opportunity for multiple literal types for a given >type), including those that may emerge within a derivation of a new type; >I don't know whether it is possible - to control that overloading - and it >worries me slightly. You can't. Formally a literal of type T and a parameterless function returning T are indistinguishable. So if you derive you inherit all of them. However, if these functions were considered primitive operations (so be a subject of overriding, not overloading) AND disallowing were allowed, then one could do something with that. --- Regards, Dmitry Kazakov www.dmitry-kazakov.de