From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e507e3d80b7abf1e X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Fun with WebAda/GNAT Date: 1996/08/19 Message-ID: #1/1 X-Deja-AN: 175277130 references: <32120233.484C@lmtas.lmco.com> <4uv6bs$ffd@dfw.dfw.net> <3215B8EC.932@lmtas.lmco.com> <32181E12.7427@lmtas.lmco.com> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-08-19T00:00:00+00:00 List-Id: Ken explained about the lack of delete function in Web Ada causing trouble ... Ah, yes, I see what you mean! Yes, indeed the delete is fundamental in a case like this. Note that it can also arise if you do the following steps: a) compile a package spec called x.ads that does not need a body b) compile subsequently a procedure body called x.adb that either needs no spec or a corresponding procedure spec. The RM specifically says that the procedure body overrides the spec in this case, but GNAT insists that the dubious file be removed. Note that if you have no delete, then there is no solution AT ALL to the problem I outline above other than supplying a dummy procedure spec. Worse still, the new 3.07 version of GNAT has a new check that there is no junk body file around. Now imagine: a) compile a procedure body x.adb b) compile a generic instantiation x.ads GNAT will now insist that you removed the junk x.adb file before proceeding, and if you have no delete file, then you are *really* stuck, since there is no corresponding dummy body that can be supplied. So I agree, a delete file functionality is fundamental to the source based model that GNAT uses, since in some cases removing things from the environment requires the deletion of the correspoinding source files. Note: the ACVC requires that these deletions occcur automatically, so for the ACVC, we use a special script that actually deletes the junk files silently, but it is hard to believe that anyone would want this to be a normal mode of operation.