From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: ADA.IO_EXCEPTIONS.USE_ERROR thrown by Ada.Directories.More_Entries
Date: Thu, 28 Jul 2016 04:07:47 -0700 (PDT)
Date: 2016-07-28T04:07:47-07:00 [thread overview]
Message-ID: <6085c53e-ac7f-4fb1-b2df-fec6142ecfc4@googlegroups.com> (raw)
In-Reply-To: <df9ecd8b-10f1-4c1a-8b3d-5f12b5ac1cc6@googlegroups.com>
Looks like a GNAT bug. There is no exception mentioned in A.16(108/2).
Use_Error can be raised by Start_Search A.16(104/3).
prev parent reply other threads:[~2016-07-28 11:07 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-27 16:28 ADA.IO_EXCEPTIONS.USE_ERROR thrown by Ada.Directories.More_Entries WBull
2016-07-28 11:07 ` AdaMagica [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox