Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83 (MC840302); site boring.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!godot!harvard!seismo!mcvax!boring!steven
From: steven@boring.UUCP
Newsgroups: net.lang
Subject: Re: Pascal typing
Message-ID: <6297@boring.UUCP>
Date: Fri, 25-Jan-85 20:00:44 EST
Article-I.D.: boring.6297
Posted: Fri Jan 25 20:00:44 1985
Date-Received: Mon, 28-Jan-85 06:38:06 EST
References: <2340@hplabsc.UUCP> <4948@utzoo.UUCP> <6292@boring.UUCP> <354@topaz.ARPA> <256@gumby.UUCP> <20081@lanl.ARPA>
Reply-To: steven@boring.UUCP (Steven Pemberton)
Organization: CWI, Amsterdam
Lines: 19
Apparently-To: rnews@mcvax.LOCAL

In article <20081@lanl.ARPA> jlg@lanl.ARPA writes:
> Seperate compilation is restricted by Pascal since all proceedures used
> must be declared (and therefore present in their entirity) within the
> compilation unit that uses them.  This restriction was explicitly for the
> purposes of strong typing.
This is a property of the implementation, rather than the language. It is
perfectly possible, without altering the language, to separately compile
Pascal procedures, and to have libraries of procedures, without jeopardising
strong-typing.

> In Pascal all actual array parameters must have the same size as the
> formal array parameter was declared in the proceedure.  [...] ISO Pascal and
> Ada both have ways around this problem.
So, Pascal both does and doesn't have this problem! Presumably what is meant
is that it used to have this problem, but it's been fixed now (C used not to
have structures). Let's agree that whenever we talk about a language in
net.lang, we mean the most recent version.

Steven Pemberton, CWI, Amsterdam.