From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>
Subject: Re: Files and controlled types
Date: Sun, 09 Mar 2008 03:12:33 GMT
Date: 2008-03-09T03:12:33+00:00 [thread overview]
Message-ID: <BAIAj.14527$TT4.474@attbi_s22> (raw)
In-Reply-To: <3bd96475-530b-46a7-9b07-11ea49105b2c@e31g2000hse.googlegroups.com>
Maciej Sobczak wrote:
>
> File types are not Controlled.
> What is the rationale for this?
What makes you think they're not controlled. The ARM only gives the public view,
which is limited private; there's nothing to prevent the full view from being
controlled. In addition, the descriptions of Ada.Sequential_IO, Ada.Direct_IO,
and Ada.Text_IO all include the language "The type File_Type needs finalization
(see 7.6)".
--
Jeff Carter
"No one is to stone anyone until I blow this whistle,
do you understand? Even--and I want to make this
absolutely clear--even if they do say, 'Jehovah.'"
Monty Python's Life of Brian
74
next prev parent reply other threads:[~2008-03-09 3:12 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-08 21:22 Files and controlled types Maciej Sobczak
2008-03-08 21:56 ` gpriv
2008-03-09 3:12 ` Jeffrey R. Carter [this message]
2008-03-09 13:27 ` Maciej Sobczak
2008-03-10 15:37 ` Adam Beneschan
2008-03-10 21:45 ` Maciej Sobczak
2008-03-09 16:39 ` gpriv
2008-03-10 15:28 ` Eric Hughes
2008-03-10 22:45 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox