Can `match` in Racket have patterns with variables from an outer scope?

Question

Consider the following example:

#lang racket

(match \'(cat . doge)
  [`(,a . ,b)
   (match b
     [a #t]
     [_ #f])]
  [_ \"Not a pair\"])

T

Answer 1

Use ==:

(match '(cat . doge)
  [`(,a . ,b)
   (match b
     [(== a) #t]
     [_      #f])]
  [_ "Not a pair"])

Due to the placement in the docs, == is easy to overlook.