This is the mail archive of the kawa@sources.redhat.com mailing list for the Kawa project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: kawa 1.6.99 and set!ing parameters

From: Per Bothner <per at bothner dot com>
To: Bruce Lewis <brlewis at ALUM dot MIT dot EDU>
Cc: Sven Hartrumpf <Sven dot Hartrumpf at FernUni-Hagen dot de>, kawa at sources dot redhat dot com
Date: Thu, 14 Nov 2002 12:26:59 -0800
Subject: Re: kawa 1.6.99 and set!ing parameters
References: <20021113.094829.59651792.Sven.Hartrumpf@FernUni-Hagen.de> <nm9vg2zx5g7.fsf@scrubbing-bubbles.mit.edu>

Bruce Lewis wrote:

I think the Kawa compiler is making the same mistake most humans would
make in reading your code, i.e. for
 (lambda (foo . pad) ...)
it's easy to mistakenly assume that bar is a list in the body of the
lambda.

Yes, but it should override that assumption if there is an assignment
(set!) to that parameter.  This may of course hurt performance, since
we would lose the type information associate with the parameter, unless
we have more sophisticated type inference.
--
	--Per Bothner
per@bothner.com   http://www.bothner.com/per/

References:
- kawa 1.6.99 and set!ing parameters
  - From: Sven Hartrumpf
- Re: kawa 1.6.99 and set!ing parameters
  - From: Bruce Lewis

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]