Path: utzoo!attcan!uunet!cs.utexas.edu!yale!cmcl2!lanl!jlg
From: jlg@lanl.gov (Jim Giles)
Newsgroups: comp.lang.misc
Subject: Re: Answers, Chapter 1: TeX
Message-ID: <5077@lanl.gov>
Date: 6 Nov 90 19:49:19 GMT
References: <2047:Nov607:10:1690@kramden.acf.nyu.edu>
Organization: Los Alamos Natl Lab, Los Alamos, N.M.
Lines: 16

From article <2047:Nov607:10:1690@kramden.acf.nyu.edu>, by brnstnd@kramden.acf.nyu.edu (Dan Bernstein):
> In article <4349@lanl.gov> jlg@lanl.gov (Jim Giles) writes:
> [...]
> The .h-.c (package spec-package body) model is sufficient to detect
> procedure call interface errors at compile time.

Not if the information in the .h file _doesn't_match_ the definition
of the corresponding routines in the .c file.  This is the kind of
check that I have _always_ recommended for the loader to do.  The
loader need know _nothing_ about the language to perform these
tests, since it only makes sure that they match.  The compiler must
provide sufficient information to tell the loader which constraints
must be promoted across the call-tree - but this information can
exist in a language independent form.

J. Giles