fix problem with the mandatory-keywords change

Repairs a problem with 7bcc9afd4c as exposed by the contract test
suite.
This commit is contained in:
Matthew Flatt 2016-08-08 07:45:35 -06:00
parent ad230d2ca0
commit bf53f02bb1

View File

@ -656,7 +656,8 @@
[no-kws (mk-no-kws #t)] [no-kws (mk-no-kws #t)]
[with-kws (mk-with-kws)] [with-kws (mk-with-kws)]
[(_ mk-id . _) (with-syntax ([n (or local-name [(_ mk-id . _) (with-syntax ([n (or local-name
(syntax-local-infer-name stx))] (syntax-local-infer-name stx)
'unknown)]
[call-fail (mk-kw-arity-stub)]) [call-fail (mk-kw-arity-stub)])
(syntax-local-lift-values-expression (syntax-local-lift-values-expression
5 5