From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: bug#9567: curious match bug (?) Date: Wed, 21 Sep 2011 05:34:36 +0200 Message-ID: <87fwjqin5f.fsf@pobox.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1316576159 20216 80.91.229.12 (21 Sep 2011 03:35:59 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 21 Sep 2011 03:35:59 +0000 (UTC) To: 9567@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Sep 21 05:35:55 2011 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1R6DbH-0007QY-1P for guile-bugs@m.gmane.org; Wed, 21 Sep 2011 05:35:55 +0200 Original-Received: from localhost ([::1]:39820 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6DbF-0003c7-Lt for guile-bugs@m.gmane.org; Tue, 20 Sep 2011 23:35:53 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:53199) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6DbD-0003bf-1o for bug-guile@gnu.org; Tue, 20 Sep 2011 23:35:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1R6DbB-0003un-Ik for bug-guile@gnu.org; Tue, 20 Sep 2011 23:35:51 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:46837) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6DbB-0003ui-Fh for bug-guile@gnu.org; Tue, 20 Sep 2011 23:35:49 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1R6DbN-0003o0-S8 for bug-guile@gnu.org; Tue, 20 Sep 2011 23:36:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andy Wingo Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 21 Sep 2011 03:36:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 9567 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile Original-Received: via spool by submit@debbugs.gnu.org id=B.131657610414558 (code B ref -1); Wed, 21 Sep 2011 03:36:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 21 Sep 2011 03:35:04 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1R6DaR-0003mk-DI for submit@debbugs.gnu.org; Tue, 20 Sep 2011 23:35:04 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1R6DaO-0003mL-MI for submit@debbugs.gnu.org; Tue, 20 Sep 2011 23:35:01 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1R6DaA-0003bI-VV for submit@debbugs.gnu.org; Tue, 20 Sep 2011 23:34:47 -0400 Original-Received: from lists.gnu.org ([140.186.70.17]:54673) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6DaA-0003bC-Tx for submit@debbugs.gnu.org; Tue, 20 Sep 2011 23:34:46 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:52516) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6Da9-0003Uv-Bq for bug-guile@gnu.org; Tue, 20 Sep 2011 23:34:46 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1R6Da8-0003aZ-0D for bug-guile@gnu.org; Tue, 20 Sep 2011 23:34:45 -0400 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:54896 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R6Da7-0003a2-RE for bug-guile@gnu.org; Tue, 20 Sep 2011 23:34:43 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 0F1457FC9 for ; Tue, 20 Sep 2011 23:34:42 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to :subject:date:message-id:mime-version:content-type; s=sasl; bh=u bpUpeOEXtumGTAh9Q7g2NXw11g=; b=dGSYdme+nufN7KCqV+N+wb/mdQNXT9Mip kv/wu7fxmHyLflBBcSzyrgA5P5mT3iRMLS2VaokJbG+oFNSJDJJrt/R4WfnMujKd HxXxAYX86ehHYXMKpoj3jXb0kHn6A0OTs7qpIHNOAHd9Q8GyGnNnIdVsgNo9/lV1 DK7g3s8WwE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:subject :date:message-id:mime-version:content-type; q=dns; s=sasl; b=iuZ aMiQ7p6eAvuERm/VXa5kDAgRrkBBC/YMYNbkzUpYJnJkvcq21/o7l0FcsB71jOG2 D+qBBDbkQ0ipQekt5VtCwa4Xxrr5qt48K9gORmnThX29128dsDOIpzcMkane4WzB d2HgGPTa4yLsekHwRCqXl1GclHoDCmACpcE1PPVA= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 084277FC8 for ; Tue, 20 Sep 2011 23:34:42 -0400 (EDT) Original-Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id EF35A7FC7 for ; Tue, 20 Sep 2011 23:34:40 -0400 (EDT) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: A3DB2EC0-E402-11E0-A47E-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Tue, 20 Sep 2011 23:36:01 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:5841 Archived-At: Hi, Try this: (use-modules (language tree-il) (ice-9 match)) (define foo (parse-tree-il '(let-values (apply (lambda () (lambda-case ((() #f #f #f () ()) (apply (primitive values) (const 1) (const 2)))))) (lambda-case (((a b) #f #f #f () (#{a 134390}# #{b 134391}#)) (apply (primitive list) (lexical a #{a 134390}#) (lexical b #{b 134391}#))))))) (match foo (($ src exp ($ src2 req #f #f #f () gensyms body #f)) #t) (_ #f)) => #t (match foo (($ src foo ;; <- rename "exp" to "foo" ($ src2 req #f #f #f () gensyms body #f)) #t) (_ #f)) => #f I tried to reduce this case a bit, but didn't succeed directly, and I need to move on. But what is the deal here? Andy -- http://wingolog.org/