Path: utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!POLYA.STANFORD.EDU!shap
From: shap@POLYA.STANFORD.EDU (Jonathan S. Shapiro)
Newsgroups: comp.lang.scheme
Subject: Question with binding
Message-ID: <8904171910.AA26688@polya.Stanford.EDU>
Date: 17 Apr 89 19:10:33 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 13

I have been thinking about compiling scheme, and am confused about the
following possibility:

	(define foo (lambda (x) (+ x 2)))
	(define + (lambda (x y) something))
	(foo)

If this is legal, I don't understand how a compiler can validly inline
primitives.  Is there some provision in R3RS or R4RS that resolves
this problem, or is it really a problem?  If the latter, how do
compilers deal with it?

Jon