#lang racket (require (prefix-in pysem: "../semantics/beginner-syntax.rkt")) (define-syntax (test stx) (syntax-case stx (test is) [(_ expr1 is expr2) (syntax/loc stx (pysem:check-expect expr1 expr2))])) (provide test)