Re: The Red Language

["Dean F. Sutherland" <dfsuther@ux4.sp.cs.cmu.edu>]

> How does this differ from a function with a pragma Inline, and a
> compiler that does inlining?
> 

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.

The second difference is the name binding.  Arguments were evaluated on
each reference in the routine, rather than just once at the call site. 
Note that name binding was a choice you could make, it was not required.
(Looking at my old Gnal manual, I find:

nam	This primary binding mode is permitted only for formals of
	inline functions and abbreviations.  Each reference to the 	formal
results in a reevaluation of the actual object
	expression.

Extracted from section 6.3, binding rules)
Other choices for binding were val, ref, any, and repval. 

Dean