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,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: Erik Magnuson Subject: Re: Separation of IF and Imp: process issue? Date: 1997/09/08 Message-ID: #1/1 X-Deja-AN: 270761159 Sender: erik@madcow.fl.ensco.com X-Nntp-Posting-Host: madcow.fl.ensco.com.41.240.204.in-addr.arpa References: <33E9ADE9.4709@flash.net> Organization: ENSCO, INC. Newsgroups: comp.lang.ada Date: 1997-09-08T00:00:00+00:00 List-Id: dewar@merv.cs.nyu.edu (Robert Dewar) writes: > You could certainly imagine a trivial preprocessor for Ada that would > allow the spec and body to be (let's use our nice new word) conflated. Would this mythical beast be called "pohctang"? ;-) > But I never heard of anyone building or expressing a desire for such > a tool, it would be completely useless, and indeed worse, definitely > negative in its utility. Ancient history: I recall one old Ada83 compiler that wanted generic specs and bodies in the same file. And a "denesting" tool (one that could inline an "is separate" body) was in the old Rational Delta. Actually it provided both "make separate" and "make inline". This was sometime used as an "optimization" when the target compiler generated noticably worse code (extra instructions) for separate units. -- Erik