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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Diamond diagram for 'with'
Date: Thu, 22 Feb 2018 17:29:19 -0600
Organization: JSA Research & Innovation
Message-ID: <p6njog$k0b$1@franka.jacob-sparre.dk>
References: <p6k68f$9li$1@gioia.aioe.org>
 <p6l6ug$lst$1@franka.jacob-sparre.dk> <p6lv8i$lbo$1@gioia.aioe.org>
 <p6m2e3$4bj$1@dont-email.me>
Injection-Date: Thu, 22 Feb 2018 23:29:20 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="20491"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50575
Date: 2018-02-22T17:29:19-06:00
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> wrote in message 
news:p6m2e3$4bj$1@dont-email.me...
> Le 22/02/2018 à 09:33, Dmitry A. Kazakov a écrit :
>> I am keeping on avoiding "limited with", and the only time I lowered my
>> guard, it bite me! (:-))
> Yes, limited with is a bit of a hack, but remember that the ARG had to
> solve the issue of mutual dependency, and 6 other non-working solutions
> were considered before this one, not very clean, but that worked!

At least two of those other solutions would have worked, but they were 
considered even more of a hack. (I know the "external incomplete type" 
solution would have worked, because it's basically the same semantically, 
but there were concerns about having (weak) dependencies not exposed in the 
context clause. We fixed that with a context clause declaration, but then it 
really looked like a hack.)

                            Randy.