comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Stupid Question but it bothers me
Date: Tue, 20 Jan 2015 08:20:42 +0000
Date: 2015-01-20T08:20:42+00:00	[thread overview]
Message-ID: <lyppa9oobp.fsf@pushface.org> (raw)
In-Reply-To: m9kn3m$9a4$1@dont-email.me

Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:

> Also useful is ARM A.18.4(4/2): "The type Map needs finalization (see
> 7.6)."
>
> By ARM 7.6(9.3/3), your record type also needs finalization.

But it doesn't need to be controlled itself. "Needs finalization" is an
instruction to the compiler writer.

  reply	other threads:[~2015-01-20  8:20 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-19 23:58 Stupid Question but it bothers me Hubert
2015-01-20  0:24 ` sbelmont700
2015-01-20  1:24   ` Hubert
2015-01-20  2:58     ` David Botton
2015-01-20  4:27       ` Hubert
2015-01-20  4:54         ` David Botton
2015-01-20  4:55     ` Jeffrey Carter
2015-01-20  8:20       ` Simon Wright [this message]
2015-01-20  3:00 ` David Botton
2015-01-20  4:29   ` Hubert
2015-01-20  4:56     ` David Botton
2015-01-20  5:06       ` Hubert
replies disabled

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