bug#76544: quasi-quote "ooo" pattern not work

Jinn Suu <[email protected]> Tue, 25 Feb 2025 05:50:11 +0000
Newsgroups gmane.lisp.guile.bugs
Message-ID <DS7PR12MB5837554692071FD73F088E4CF9C32@DS7PR12MB5837.namprd12.prod.outlook.com>
Hello,

I encountered some errors with pattern matching:


  1.
For quasi-quote, the "ooo" pattern including "..." does not work. I looked at source code match-upstream.scm and perhaps it has not been implemented for quasi-quote cases??

(use-modules (ice-9 match))
(match '(1 2 3)
  (`(,a ,b ...) b)
  )



  1.
There are some conflicts within ice-9 modules themselves. For example occam-channel.scm causes predicate match to fail:

(use-modules (ice-9 match))
(match 9 ((? odd? a) a)) => 9
(use-modules (ice-9 match) (ice-9 occam-channel))
(match 9 ((? odd? a) a)) => conflict with occam-channel library


Please primarily focus on question 1.

Thanks!