From 007d563a41b0776b7fb08fb711ca59b33fc9f99d Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Sat, 5 Oct 2013 13:23:41 -0400 Subject: [PATCH] fix attr check for ~optional defaults closes PR 14076 --- racket/collects/syntax/parse/private/rep.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/racket/collects/syntax/parse/private/rep.rkt b/racket/collects/syntax/parse/private/rep.rkt index adc87ea889..da97bea5b0 100644 --- a/racket/collects/syntax/parse/private/rep.rkt +++ b/racket/collects/syntax/parse/private/rep.rkt @@ -1041,7 +1041,10 @@ (append-iattrs (side-clauses-attrss defaults))] [all-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))])) ;; -- EH patterns