[bug #33854] tree-il->scheme does not translate to corrct case-lambda statement

[Stefan Israelsson Tampe]

URL:
  <http://savannah.gnu.org/bugs/?33854>

                 Summary: tree-il->scheme does not translate to corrct
case-lambda statement
                 Project: Guile
            Submitted by: tampe
            Submitted on: Mon 25 Jul 2011 10:58:10 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Problem
scheme@(guile-user)> (tree-il->scheme (macroexpand '(define f (case-lambda
((a) a) ((a b) b)))))

$1 = (define f (case-lambda 
                   ((#{a 1029}#)             #{a 1029}#) 
                    (#{a 1031}# #{b 1032}#)  #{b 1032}#))

The reason is that the last statement is translated to lambda
e.g. (lambda (a b) b) but code assumes (case-lambda ((a b) b)))
and then when splicing with (cdr tail-result) the wrong form will
appear. The solution is to write a custom "cdr" function that check to see if
the car is lambda lambda* case-lambda case-lambda*
and depending on lambda or case-lambda forms issue different cdr versions so
that the overall case-lambda will be well formed.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?33854>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/