* arguments to expanded let now get proper procedure names so that

(let ((f (lambda (x) x))) f) prints as #<procedure f>.

src/ikarus.compiler.ss

@@ -156,6 +156,21 @@
         (error 'recordize "unbound ~s" x)))
   (define (lexical x) 
     (getprop x *cookie*))
+  (define (get-fmls x args) 
+    (define (matching? fmls args)
+      (cond
+        [(null? fmls) (null? args)]
+        [(pair? fmls) (and (pair? args) (matching? (cdr fmls) (cdr args)))]
+        [else #t]))
+    (cond
+      [(and (pair? x) (eq? (car x) 'case-lambda))
+       (let f ([cls* (cdr x)])
+         (cond
+           [(null? cls*) '()]
+           [(matching? (caar cls*) args) 
+            (caar cls*)]
+           [else (f (cdr cls*))]))]
+      [else '()]))
   (define (E x ctxt)
     (cond
       [(pair? x)
@@ -221,10 +236,17 @@
           (let ([var (cadr x)])
             (make-primref var))]
          [else
-           ;;; should annotate expanded let.
+          (let ([names (get-fmls (car x) (cdr x))])
             (make-funcall 
               (E (car x) #f) 
-            (map (lambda (x) (E x #f)) (cdr x)))])]
+              (let f ([arg* (cdr x)] [names names])
+                (cond
+                  [(pair? names)
+                   (cons 
+                     (E (car arg*) (car names))
+                     (f (cdr arg*) (cdr names)))]
+                  [else
+                   (map (lambda (x) (E x #f)) arg*)]))))])]
       [(symbol? x)
        (or (lexical x) 
            (make-funcall 

src/makefile.ss

@@ -935,8 +935,8 @@
     [find                                        i r ls]
     [fold-left                                   r ls]
     [fold-right                                  r ls]
-    [for-all                                     r ls]
+    [for-all                                     i r ls]
-    [exists                                      r ls]
+    [exists                                      i r ls]
     [member                                      i r ls se]
     [memp                                        i r ls]
     [memq                                        i r ls se]