Added if-attribute

private/try-attribute.rkt

@@ -2,11 +2,18 @@
 
 (require (for-syntax racket/base))
 
-(provide try-attribute)
+(provide try-attribute if-attribute)
+
+(define-syntax (if-attribute stx)
+  (syntax-case stx ()
+    [(_ name if-branch else-branch)
+     (if (syntax-pattern-variable? (syntax-local-value #'name (λ () #f)))
+         #'if-branch
+         #'else-branch)]))
 
 (define-syntax (try-attribute stx)
   (syntax-case stx ()
+    [(_ name fallback)
+     #'(if-attribute (attribute name) fallback)]
     [(_ name)
-     (if (syntax-pattern-variable? (syntax-local-value #'name (λ () #f)))
+     #'(if-attribute (attribute name) #f)]))
-         #'(attribute name)
-         #'#f)]))

scribblings/extensible-parser-specifications.scrbl

@@ -352,6 +352,12 @@ appear in the matched syntax (aside from issues related to greediness).
  declared, while using the operation's neutral element to not alter the final
  result.}
 
+@defform[(if-attribute #,tribute-name if-branch else-branch)]{
+ This macro expands to @racket[if-branch] if @racket[#,tribute-name] is bound as
+ a syntax pattern variable, and to @racket[else-branch] otherwise.
+
+ The same caveats as for @racket[try-attribute] apply.}
+
 @defform[(~named-seq #,tribute-name #,ntax-pattern ...)]{
  Equivalent to @racket[{~seq #,ntax-pattern ...}], but also binds the
  @racket[#,tribute-name] to the whole sequence. If the sequence appears inside