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,8f8cea8602e61aba
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: The Red Language
Date: 1997/09/08
Message-ID: <EG7FzG.5Dx@world.std.com>#1/1
X-Deja-AN: 270789871
References: <340ED5D8.2DEF6D3@ux4.sp.cs.cmu.edu>
 <199709051335.PAA25952@basement.replay.com>
 <34102DF5.36D589F1@ux4.sp.cs.cmu.edu>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 1997-09-08T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <34102DF5.36D589F1@ux4.sp.cs.cmu.edu>,
Dean F. Sutherland <dfsuther@ux4.sp.cs.cmu.edu> wrote:
>The first significant difference that I recall is that Gnal required
>that the inlining must occur, even across compilation units.  As you
>know, Ada's pragma Inline is advisory; compilers may ignore it if they
>so choose.

How can a language definition *require* any such thing?  How could you
test whether the implementation did so?

- Bob