bug-kawa
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-kawa] [bug #37317] Incorrect expansion of lambda


From: Christoffer Sawicki
Subject: [Bug-kawa] [bug #37317] Incorrect expansion of lambda
Date: Mon, 10 Sep 2012 19:30:35 +0000
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_7_4) AppleWebKit/537.1 (KHTML, like Gecko) Chrome/21.0.1180.82 Safari/537.1

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

                 Summary: Incorrect expansion of lambda
                 Project: Kawa
            Submitted by: qerub
            Submitted on: Mon 10 Sep 2012 07:30:34 PM GMT
                Category: Scheme language
                Severity: 3 - Normal
              Item Group: Unexpected result
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

(lambda (xs) xs)) and (lambda xs xs) wrongfully expand to the same code:


(equal?
  (expand '(lambda  xs  xs))
  (expand '(lambda (xs) xs))) ; => #t


This is obviously incorrect since there is a difference between the two:


(equal?
  ((lambda  xs  xs) 'arg)
  ((lambda (xs) xs) 'arg)) ; => #f





    _______________________________________________________

Reply to this item at:

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

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]