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,744136b4fae1ff3e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-03-12 10:49:21 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newsfeed.news2me.com!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!kibo.news.demon.net!news.demon.co.uk!demon!diphi.demon.co.uk!jpt From: JP Thornley Newsgroups: comp.lang.ada Subject: Re: [Spark] Converting Arrays Date: Wed, 12 Mar 2003 18:46:36 +0000 Message-ID: References: <3e6ef2ad$1@baen1673807.greenlnk.net> NNTP-Posting-Host: diphi.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain;charset=us-ascii;format=flowed X-Trace: news.demon.co.uk 1047494960 24687 158.152.212.133 (12 Mar 2003 18:49:20 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Wed, 12 Mar 2003 18:49:20 +0000 (UTC) User-Agent: Turnpike/6.01-S () Xref: archiver1.google.com comp.lang.ada:35259 Date: 2003-03-12T18:46:36+00:00 List-Id: In article , Lutz Donnerhacke writes >main_rules(100): test__length_of_dest may_be_replaced_by test_it__dest__last - test_it__dest__first + 1. >main_rules(101): test__length_of_dest may_be_replaced_by my__last - my__first + 1. Note that here you have given two different replacements for the same item. It is not obvious what the Simplifier will do with these. The restriction that an out mode parameter can't be referenced in a precondition seems to be the major cause of the difficulty, and I have (reluctantly) come to the conclusion that the way to avoid explicit rules for each instance of the output parameter is to pass the length as an additional parameter, as Rod suggests. Cheers, Phil -- JP Thornley