Gauche-style ^ macros for all combinations of one and two letters. Hi, Mark Weaver!

pollute.rkt

(define-syntax pollute-my-namespace
  (let ((letters "abcdefghijklmnopqrstuvwxyz_")
        (char->symbol (compose string->symbol string)))
    (define (make-macros stx)
      (lambda ()
        (for*/lists (ids syntaxes)
                    ((x letters)
                     (y letters))
          (if (char=? x y)
              (values (datum->syntax stx (char->symbol #\^ x))
                      (with-syntax ((x (char->symbol x)))
                        #'(... (lambda (stx)
                                 (syntax-case stx ()
                                   ((_ body ...)
                                    (with-syntax ((ax (datum->syntax stx 'x)))
                                      #'(lambda (ax) body ...))))))))
              (values (datum->syntax stx (char->symbol #\^ x y))
                      (with-syntax ((x (char->symbol x))
                                    (y (char->symbol y)))
                        #'(... (lambda (stx)
                                 (syntax-case stx ()
                                   ((_ body ...)
                                    (with-syntax ((ax (datum->syntax stx 'x))
                                                  (ay (datum->syntax stx 'y)))
                                      #'(lambda (ax ay) body ...))))))))))))
    (lambda (stx)
      (with-syntax ((((name ...) body ...)
                     (call-with-values (make-macros stx) cons)))
        #'(define-syntaxes (name ...)
            (values body ...))))))