Re: compiler bug: let with name clash

The example I sent earlier was a bit misleading, since the
problem does not have to do with let. Try this:

(dm mysum (_ . args)
     `(+ ,@args) )

(defun some-func (mysum)
   ((-idx1- (-double-)) mysum)
   (mysum 0))

(dhc-make () some-func)


The problem apparently is that the compiler goes through these
three stages when compiling a function (function dhc-generate-c):
1. macro-expansion in the function body
2. parsing and type-checking
3. c-code generation

Since it is not known yet in the first stage what bindings get
established in the scope of the function (formal parameters of the
function, symbols used in special forms like let, for, etc.), the
macro-expansion works blindly. It is only in the second stage that
the bindings are looked at and kept track of with "symbol tables".
To fix this the macro-expansion must be delayed until the bindings
are established.

Leon, it looks to me like you are the only one who can fix this in
a reasonable amount of time. Any hope that you'll take this on soon?
I'd be happy to help but would need pretty detailed advice.

Thanks,
Ralf





On Tue, 31 Jan 2006, Ralf Juengling wrote:

> Here is another incarnation of the problem:
>
> (dm mysum (_ . args)
>    `(+ ,@args) )
>
> (defun some-func (mysum)
>  ((-idx1- (-double-)) mysum)
>  (let ((s0 (mysum 0)))
>    ((-double-) s0)
>    ;; calculate
>    s0))
>
> (dhc-make () some-func)
>
> ? (some-func [1 2 3])
> = 0
>
>
> Could somebody please point me to the code that needs fixing?
>
> Thanks,
> Ralf
>
>
>
> On Sat, 03 Dec 2005, Ralf Juengling wrote:
>
>> Try to compile the code below. 'mysum' gets macro-expanded
>> by the compiler where it shouldn't.
>> 
>> ralf
>> 
>> 
>> (dm mysum (_ . args)
>>    `(+ ,@args) )
>> 
>> (defun some-func ()
>>    (let ((mysum 0))
>>      ((-double-) mysum)
>>      ;; calculate
>>      mysum))
>> 
>> (dhc-make ()
>>  	  some-func)
>> 
>
>
> -------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
> for problems?  Stop!  Download the new AJAX search engine that makes
> searching your log files as easy as surfing the  web.  DOWNLOAD SPLUNK!
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642
> _______________________________________________
> Lush-devel mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/lush-devel
>


-------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
for problems?  Stop!  Download the new AJAX search engine that makes
searching your log files as easy as surfing the  web.  DOWNLOAD SPLUNK!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642