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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uwm.edu!cs.utexas.edu!uunet!seas.gwu.edu!mfeldman From: mfeldman@seas.gwu.edu (Michael Feldman) Newsgroups: comp.lang.ada Subject: Re: "silly" (?) Ada semantics Message-ID: <1936@sparko.gwu.edu> Date: 6 Jun 90 16:09:42 GMT References: <1919@sparko.gwu.edu> <644579683.25696@minster.york.ac.uk> Reply-To: mfeldman@seas.gwu.edu () Organization: The George Washington University, Washington D.C. List-Id: In article <644579683.25696@minster.york.ac.uk> ken@SoftEng.UUCP (ken) writes: >In article <1919@sparko.gwu.edu> mfeldman@seas.gwu.edu (Michael Feldman) writes: >>constraint_error would be raised at execution time. What is the point >>about the "silly" semantics: that the compiler should treat it as fatal? >>Well, OK, maybe it should. As a teacher of compiler construction, I know >>well that the question of what to treat as a fatal error is really a >>matter of taste. Let's not turn this into a religious thing, OK? > >It's not a matter of taste for the _compiler vendor_. They _must_ >compile it because it is legal Ada! It's not the fact that the compiler >spotted it - all Ada compilers I've seen spotted it! They all have to >generate code, which always generates a constrant error. > You make a very good point! I think the group would benefit from hearing from an authoritative voice on this issue. A vendor? An ARG member? Does the current interpretation of the LRM indeed _require_ that a compilation be completed in case of a guaranteed exception that the compiler detects? If so, I'm sure there must be a good motivation for it, but it escapes me. Would some important principle be violated if the compiler were to treat a sure-to-be-raised exception as a fatal error (at least optionally?) --------------------------------------------------------------------------- Prof. Michael Feldman Department of Electrical Engineering and Computer Science The George Washington University Washington, DC 20052 +1-202-994-5253 mfeldman@seas.gwu.edu ---------------------------------------------------------------------------