Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site gitpyr.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxj!houxm!whuxlm!akgua!gatech!gitpyr!robert
From: robert@gitpyr.UUCP (Robert Viduya)
Newsgroups: net.lang
Subject: Re: Pascal typing
Message-ID: <68@gitpyr.UUCP>
Date: Fri, 25-Jan-85 08:47:02 EST
Article-I.D.: gitpyr.68
Posted: Fri Jan 25 08:47:02 1985
Date-Received: Sun, 27-Jan-85 07:28:17 EST
References: <2340@hplabsc.UUCP> <4948@utzoo.UUCP> <6292@boring.UUCP> <354@topaz.ARPA> <256@gumby.UUCP> <20081@lanl.ARPA>
Organization: Georgia Tech, Atlanta
Lines: 24

> <
> 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 (I believe they even discuss this in the Pascal
> 'User Manual and Report').  Ada corrects this problem by requiring only the
> specification of a proceedure to be present in the proceedure that uses it.
> 

It's been a while since I checked, but doesn't the ISO standard for Pascal
support the 'extern' or 'external' keyword?  Being able to declare a procedure
or function as external is just about all you need for seperate compilation.

Granted, STANDARD Pascal doesn't support it.

				robert
-- 
Robert Viduya
    Office of Computing Services
    Georgia Institute of Technology, Atlanta GA 30332
    Phone:  (404) 894-4669

...!{akgua,allegra,amd,hplabs,ihnp4,masscomp,ut-ngp}!gatech!gitpyr!robert
...!{rlgvax,sb1,uf-cgrl,unmvax,ut-sally}!gatech!gitpyr!robert