15.5.3 Syntax clauses constraints

Function: syntax-clauses-verify-at-least-once keywords unwrapped-clauses

Function: syntax-clauses-verify-at-least-once keywords unwrapped-clauses synner

Given a fully unwrapped syntax object holding a list of clauses (for example the return value of syntax-clauses-unwrap) verify that all the identifiers in the list keywords are present at least once as clause identifiers. If successful return unspecified values, else call synner or raise a &syntax violation exception.

Function: syntax-clauses-verify-at-most-once keywords unwrapped-clauses

Function: syntax-clauses-verify-at-most-once keywords unwrapped-clauses synner

Given a fully unwrapped syntax object holding a list of clauses (for example the return value of syntax-clauses-unwrap) verify that all the identifiers in the list keywords are present at most once as clause identifiers. If successful return unspecified values, else call synner or raise a &syntax violation exception.

Function: syntax-clauses-verify-exactly-once keywords unwrapped-clauses

Function: syntax-clauses-verify-exactly-once keywords unwrapped-clauses synner

Given a fully unwrapped syntax object holding a list of clauses (for example the return value of syntax-clauses-unwrap) verify that all the identifiers in the list keywords are present exactly once as clause identifiers. If successful return unspecified values, else call synner or raise a &syntax violation exception.

Function: syntax-clauses-verify-mutually-inclusive keywords unwrapped-clauses

Function: syntax-clauses-verify-mutually-inclusive keywords unwrapped-clauses synner

Given a fully unwrapped syntax object holding a list of clauses (for example the return value of syntax-clauses-unwrap) verify that if one of the identifiers in the list keywords is present at least once as clause identifier, then all the others are present too. If successful return unspecified values, else call synner or raise a &syntax violation exception.

Function: syntax-clauses-verify-mutually-exclusive keywords unwrapped-clauses

Function: syntax-clauses-verify-mutually-exclusive keywords unwrapped-clauses synner

Given a fully unwrapped syntax object holding a list of clauses (for example the return value of syntax-clauses-unwrap) verify that if one of the identifiers in the list keywords is present at least once as clause identifier, then all the others are not present. If successful return unspecified values, else call synner or raise a &syntax violation exception.