id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1351	syntax-rules has difficulty handling ellipsis in some cases?	sjamaan	sjamaan	"As [http://lists.nongnu.org/archive/html/chicken-users/2017-03/msg00003.html reported by Sascha Ziemann], this macro application fails while it ought to succeed:

{{{
(define-syntax define-facts
  (syntax-rules ()
    ((_ (name a0 a1 ...) ((v00 v01 ...) (v10 v11 ...) ...))
     '(define (name a0 a1 ...)
        (conde
          ((== a0 v00) (== a1 v01) ...)
          ((== a0 v10) (== a1 v11) ...)
          ...)))))
}}}

The failing application:

{{{
(define-facts (fathero f c)
  ((""Abraham"" ""Ismael"")
   (""Abraham"" ""Isaac"")
   (""Isaac""   ""Jacob"")
   (""Jacob""   ""Benjamin"")))
}}}

A few other Schemes have difficulty with it, notably Chibi, Gauche, Scheme48 and Gambit (the former two returning the wrong result and the latter two giving an error).  Racket, MIT, Ikarus and Guile work fine."	defect	new	major	someday	expander	4.12.0		syntax-rules		hard