suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix attr check for ~optional defaults

Browse Source 
closes PR 14076
This commit is contained in:
Ryan Culpepper 2013-10-05 13:23:41 -04:00
parent 383c363c68
commit 007d563a41
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
racket/collects/syntax/parse/private/rep.rkt
View File

@ -1041,7 +1041,10 @@
(append-iattrs (side-clauses-attrss defaults))] (append-iattrs (side-clauses-attrss defaults))]
[all-iattrs [all-iattrs
(union-iattrs (list pattern-iattrs defaults-iattrs))]) (union-iattrs (list pattern-iattrs defaults-iattrs))])
(check-iattrs-subset defaults-iattrs pattern-iattrs stx) (when (eq? (stxclass-lookup-config) 'yes)
;; Only check that attrs in defaults clause agree with attrs
;; in pattern when attrs in pattern are known to be complete.
(check-iattrs-subset defaults-iattrs pattern-iattrs stx))
(values #'p head all-iattrs name too-many-msg defaults))])) (values #'p head all-iattrs name too-many-msg defaults))]))
;; -- EH patterns ;; -- EH patterns