From: gpriv@axonx.com
Subject: Re: Files and controlled types
Date: Sun, 9 Mar 2008 09:39:35 -0700 (PDT)
Date: 2008-03-09T09:39:35-07:00 [thread overview]
Message-ID: <bac52834-6ab9-4683-ad35-666a904dd5d6@m3g2000hsc.googlegroups.com> (raw)
In-Reply-To: BAIAj.14527$TT4.474@attbi_s22
On Mar 8, 11:12 pm, "Jeffrey R. Carter"
<spam.jrcarter....@spam.acm.org> wrote:
> 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)".
Doesn't it mean that it's user responsibility to close the file?
George
>
> --
> 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 16:39 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
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 [this message]
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