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-Thread: 103376,89cb2d7ffc7421c9 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!attbi_s71.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Thunderbird 1.5.0.5 (Windows/20060719) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ripple effect References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 12.201.97.176 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s71 1157382905 12.201.97.176 (Mon, 04 Sep 2006 15:15:05 GMT) NNTP-Posting-Date: Mon, 04 Sep 2006 15:15:05 GMT Date: Mon, 04 Sep 2006 15:15:05 GMT Xref: g2news2.google.com comp.lang.ada:6449 Date: 2006-09-04T15:15:05+00:00 List-Id: Robert A Duff wrote: > > The "Nada" thing was a joke. I would not call a language "Nada", and > certainly not "Duff". ;-) Nada sounds like a great name for a language :) "What's so great about this language?" "Oh, Nada." You did indicate that you would probably name it after someone. > I think you mean there is no equivalent of "use type". IIRC, there is no equivalent of "use" or "use type". Of course, I may have misunderstood. > No, I think you misunderstand the "Ripple Effect". As I understand it, > the Ripple Effect means that adding/removing a with_clause can cause > compilation units that do not depend DIRECTLY on the modified thing to > become illegal. For example, suppose C with's B and B with's A. Can a > with_clause on A affect the legality of C? If so, there's a Ripple > Effect. I've just rechecked the answer in the FAQ at adapower.com, and I think we're both mistaken: 'In brief, the (undesirable) Ripple effect was related to whether the legality of a compilation unit could be affected by adding or removing an otherwise unneeded "with" clause on some compilation unit on which the unit depended, directly or indirectly.' (Tucker Taft) So it's not a with on C, as I thought, and can be a with on B, which you exclude. It also refers only to unneeded withs. So, if B withs A unnecessarily, that could cause a Ripple effect. > Anyway, to answer Jeff's question: I think with_clauses should be > transitive in the first place, so that the Ripple Effect is not an > issue. So you mean, in the example you give above, that because C withs B and B withs A, that C withs A? Is that how your language works? -- Jeff Carter "Now look, Col. Batguano, if that really is your name." Dr. Strangelove 31