Re: A suggestion for resource management

[Florian Weimer <fw@deneb.enyo.de>]

> I don't quite why this needs an extra pragma -- your example is, 
> apparently, easy to handle by current Ada's capacities:
>
>           procedure New_Test_External_Formats is
>              ...
>              COBOL_File : File_Type;
>
>              procedure Close_Cobol_File is
>              begin
>                 Close(COBOL_FILE);
>              end Close_Cobol_File;
>
>              Finisher: Finish_Package.Finisher;
>                -- The type Finish_Package.Finisher is derived from 
>                -- Ada.Finalization.Limited_Controlled. 
>              ...

Or even this:

       COBOL_File : File_Type;
       package Finisher_COBOL_File is
         new Finisher (File_Type, COBOL_File, Close);

That's actually quite nice, and can be implemented in Ada 2005.
Unfortunately, GNAT still generates horrible code for this case, but
that can be fixed.  (One trivial improvement is to use your Finisher
type in the implementation of the Finisher package; further
improvements need some compiler work.)