[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9567: curious match bug (?)
From: |
Andy Wingo |
Subject: |
bug#9567: curious match bug (?) |
Date: |
Wed, 21 Sep 2011 05:34:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) |
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
(($ <let-values> src exp
($ <lambda-case> src2 req #f #f #f () gensyms body #f))
#t)
(_
#f))
=> #t
(match foo
(($ <let-values> src foo ;; <- rename "exp" to "foo"
($ <lambda-case> 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/
- bug#9567: curious match bug (?),
Andy Wingo <=