comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Unreferenced parameters
Date: Thu, 04 Feb 2021 10:48:51 +0000	[thread overview]
Message-ID: <ly8s84glbg.fsf@pushface.org> (raw)
In-Reply-To: rvetig$epr$1@gioia.aioe.org

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> I recently discovered yet another reason. When building an
> encapsulated library, shoveling implementations inside the
> specification breaks the library interface because implementation
> packages must with-ed there. When with-ed from the bodies, as it
> should be, the library interface includes only what it really must.

This applies to any standalone library, I think.

Now you've pointed it out, I'll certainly avoid using an expression
function in a spec that requires me to 'with' (or 'private with')
another package that I wasn't going to 'with' anyway.

  reply	other threads:[~2021-02-04 10:48 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-02-03 18:20 Unreferenced parameters Simon Wright
2021-02-03 18:50 ` Egil H H
2021-02-03 18:53   ` Egil H H
2021-02-03 19:29     ` Dmitry A. Kazakov
2021-02-04 10:48       ` Simon Wright [this message]
2021-02-03 19:32     ` Simon Wright
2021-02-03 22:27       ` Shark8
2021-02-04  3:12 ` Randy Brukardt
2021-02-04 10:27   ` Simon Wright
2021-02-09 11:16     ` Egil H H
2021-02-09 18:54       ` Stephen Leake
2021-02-09 21:20         ` Simon Wright
2021-02-11  3:20         ` Randy Brukardt
2021-02-11 20:18           ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox