|
|
@ -152,8 +152,7 @@
|
|
|
|
(syntax-case prec-decls ()
|
|
|
|
(syntax-case prec-decls ()
|
|
|
|
(((type term ...) ...)
|
|
|
|
(((type term ...) ...)
|
|
|
|
(let ((p-terms
|
|
|
|
(let ((p-terms
|
|
|
|
(apply append (syntax-object->datum
|
|
|
|
(syntax-object->datum (syntax (term ... ...)))))
|
|
|
|
(syntax ((term ...) ...))))))
|
|
|
|
|
|
|
|
(cond
|
|
|
|
(cond
|
|
|
|
((duplicate-list? p-terms) =>
|
|
|
|
((duplicate-list? p-terms) =>
|
|
|
|
(lambda (d)
|
|
|
|
(lambda (d)
|
|
|
@ -186,7 +185,7 @@
|
|
|
|
"Associativity must be left, right or nonassoc"
|
|
|
|
"Associativity must be left, right or nonassoc"
|
|
|
|
type)))
|
|
|
|
type)))
|
|
|
|
(syntax->list (syntax (type ...))))
|
|
|
|
(syntax->list (syntax (type ...))))
|
|
|
|
(cdr (syntax-object->datum prec-decls))))))
|
|
|
|
(syntax-object->datum prec-decls)))))
|
|
|
|
(#f null)
|
|
|
|
(#f null)
|
|
|
|
(_
|
|
|
|
(_
|
|
|
|
(raise-syntax-error
|
|
|
|
(raise-syntax-error
|
|
|
|