|
|
@ -29,9 +29,11 @@
|
|
|
|
(map syntax->list
|
|
|
|
(map syntax->list
|
|
|
|
(syntax->list (syntax (((bound ...) ...) ...)))))))))
|
|
|
|
(syntax->list (syntax (((bound ...) ...) ...)))))))))
|
|
|
|
(terms (get-term-list terms))
|
|
|
|
(terms (get-term-list terms))
|
|
|
|
(precs (syntax-case precs ()
|
|
|
|
(precs (if precs
|
|
|
|
((_ (__ term ...) ...)
|
|
|
|
(syntax-case precs ()
|
|
|
|
(apply append (map syntax->list (syntax->list (syntax ((term ...) ...)))))))))
|
|
|
|
((_ (__ term ...) ...)
|
|
|
|
|
|
|
|
(apply append (map syntax->list (syntax->list (syntax ((term ...) ...)))))))
|
|
|
|
|
|
|
|
null)))
|
|
|
|
`(if #f (let ,(map (lambda (bind)
|
|
|
|
`(if #f (let ,(map (lambda (bind)
|
|
|
|
`(,(strip bind) void))
|
|
|
|
`(,(strip bind) void))
|
|
|
|
(append terms binds))
|
|
|
|
(append terms binds))
|
|
|
|