This is the mail archive of the kawa@sourceware.org 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] | |
I have a similar hang up with THE as I do with DECLARE, how does one modify the remaining extent of a binding. I suppose it's possible to rewrite into the case of using a separate variable, but that seems to be missing your point. I'm also not completely clear on why we need THE at this time, other than as a nicer way of using a separate variable.
With (THE value-type form), VALUE-TYPE is not evaluated, but FORM is. This seems to imply I should be extending Syntax rather than Procedure, but I'm not sure how to emit code for runtime from a syntax rewriter, which seems to be necessary in order to modify the extent as required.
At a first approximation, you can think of CL's (the type form) as equivalent to Scheme's (as type form). At least that was my assumption. At least this will help implemnt run-time functions using Common Lisp. -- --Per Bothner per@bothner.com http://per.bothner.com/
| Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
|---|---|---|
| Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |