fix cert problem when internal and external names are provided, but no initial value is provided

svn: r5403
This commit is contained in:
Matthew Flatt 2007-01-19 01:50:17 +00:00
parent 75f0d2ea8c
commit dbaccc2d5c

View File

@ -66,12 +66,12 @@
e
(syntax-property
(syntax-case e ()
[((n1 n2) expr)
[((n1 n2) . expr)
(quasisyntax/loc e
(#,(syntax-property
#'(n1 n2)
'certify-mode 'transparent)
expr))]
. expr))]
[_else e])
'certify-mode 'transparent)))
(syntax-e #'(elem (... ...)))))