Path: utzoo!mnetor!uunet!husc6!mit-eddie!bbn!rochester!PT.CS.CMU.EDU!sei!sei.cmu.edu!firth
From: firth@sei.cmu.edu (Robert Firth)
Newsgroups: comp.lang.misc
Subject: Re: Var scoping in Wirth-type languages
Message-ID: <4555@aw.sei.cmu.edu>
Date: 14 Mar 88 14:58:49 GMT
References: <3949@ihlpf.ATT.COM> <170500016@uiucdcsb>
Sender: netnews@sei.cmu.edu
Reply-To: firth@bd.sei.cmu.edu.UUCP (Robert Firth)
Organization: Carnegie-Mellon University, SEI, Pgh, Pa
Lines: 17

In article <170500016@uiucdcsb> robison@uiucdcsb.cs.uiuc.edu writes:
>
>For languages without "upward funargs" (e.g. Pascal), a global display
>is sufficient, and furthermore requires only one extra push/pop per
>procedure call. 

Sigh!  The erroneous display implementations seem to be
repeatedly rediscovered.  One more time: this fails in
a language with any one of

	parametric procedures
	procedure variables
	parametric labels
	label variables
	jumps out of procedures

It therefore fails in ISO Pascal, under the fifth case.