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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4c86cf2332cbe682 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-01-25 09:26:05 PST Path: nntp.gmd.de!newsserver.jvnc.net!howland.reston.ans.net!news.sprintlink.net!pipex!uunet!newsgate.watson.ibm.com!watnews.watson.ibm.com!ncohen From: ncohen@watson.ibm.com (Norman H. Cohen) Newsgroups: comp.lang.ada Subject: Re: Ada.strings.bounded problems? Date: 25 Jan 1995 17:26:05 GMT Organization: IBM T.J. Watson Research Center Distribution: world Message-ID: <3g61jd$t4t@watnews1.watson.ibm.com> References: <3f3rl7$kts@watnews1.watson.ibm.com> <3fduto$ta7@watnews1.watson.ibm.com> <3fj8gs$h9b@watnews1.watson.ibm.com> <1995Jan19.124412@lglsun.epfl.ch> <3fmnc1$rns@watnews1.watson.ibm.com> <3g3k5c$7bu@gnat.cs.nyu.edu> Reply-To: ncohen@watson.ibm.com NNTP-Posting-Host: rios8.watson.ibm.com Date: 1995-01-25T17:26:05+00:00 List-Id: In article <3g3k5c$7bu@gnat.cs.nyu.edu>, dewar@cs.nyu.edu (Robert Dewar) writes: |> Try the excercise if you like of stating a clean rule that forbids the |> "goodenough trick", and does not take away other useful functionality. Easy enough, if you want to do it. Add to the end of RM83 12.3.6(1): If the designator of the formal subprogram is "=", then the actual subprogram must be an equality operator. This plugs the loophole in RM83 6.7(5), which states that a renaming declaration for an equality operator can only rename another equality operator. Generic formal parameters are supposed to act like renamings of the corresponding generic actual parameters, but this property of renaming declarations was overlooked. ("Legitimate" users of generic formal functions named "=" would have to use names like Equal instead. I don't count that as a loss of useful functionality.) -- Norman H. Cohen ncohen@watson.ibm.com