CHICKEN Scheme

Summary

merging rest-parameter in combination with inlining fails

Metadata

Id: b782e9f08ee6663bcbdaae5b6ba789455fe93e37
Trac id: 571
Type: defect
Reporter: felix
Owner: felix
Cc:
Status: closed
Component: compiler
Estimated difficulty:
Resolution: fixed
Priority: critical
Milestone: 4.9.0
Version: 4.6.x
Changetime: 2012-09-24 21:47:48 UTC
Created: 2011-05-01 02:11:29 UTC
Keywords:

The following code causes a compile-time error. Somehow the calls to `fail` are incorrectly modified for rest-parameter merging. The output should be "UNBOUND VARIABLE: (foo)", but it is "UNBOUND VARIABLE: foo". This happens with "-O1 -inline".

 (define (lisp-eval x a bt)
   (fail bt "UNBOUND VARIABLE" x))
 
 (define (lisp-apply fun args a bt)
   (let ((hd (car fun)))
     (case hd
       ((label)
        (if (= (length fun) 3)
 	   (let ((fo (caddr fun)))
 	     (lisp-apply fo args (cons (cons (cadr fun) fo) a) bt))
 	   (fail bt "INVALID LABEL FORM" fun)))
       (else (lisp-apply (lisp-eval fun a bt) args a bt)))))
 
 (define (error-hook bt msg args)
   (error msg args))
 
 (define (fail bt msg . args)
   (error-hook bt msg args))
 
 (lisp-eval 'foo '() '())