pat

::=

id

match anything, bind identifier

 |

_

match anything

 |

literal

match literal

 |

'datum

match equal? datum

 |

(lvp ...)

match sequence of lvps

 |

(lvp ... . pat)

match lvps consed onto a pat

 |

#(lvp ...)

match vector of pats

 |

#&pat

match boxed pat

 |

($ struct-id pat ...)

match struct-id instance

 |

(and pat ...)

match when all pats match

 |

(or pat ...)

match when any pat match

 |

(not pat ...)

match when no pat match

 |

(= expr pat)

match (expr value) to pat

 |

(? pred-expr pat ...)

match if (expr value) and pats

 |

`qp

match quasipattern

literal

::=

#t

match true

 |

#f

match false

 |

string

match equal? string

 |

number

match equal? number

 |

character

match equal? character

 |

bytes

match equal? byte string

 |

keyword

match equal? keyword

 |

regexp

match equal? regexp literal

 |

pregexp

match equal? pregexp literal

lvp

::=

pat

greedily match pat instances

 |

pat

match pat

ooo

::=

...

zero or more; ... is literal

 |

___

zero or more

 |

..k

k or more

 |

__k

k or more

qp

::=

literal

match literal

 |

id

match equal? symbol

 |

(qp ...)

match sequences of qps

 |

(qp ... . qp)

match sequence of qps consed onto a qp

 |

(qp ... qp ooo)

match qps consed onto a repeated qp

 |

#(qp ...)

match vector of qps

 |

#&qp

match boxed qp

 |

,pat

match pat

 |

,@pat

match pat, spliced