diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index 1cb058981d..1aaa6b6584 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -684,7 +684,7 @@ (define-syntax-rule (!integer* expr) (unless (integer? ((submission-eval) `expr)) (error* "~a is expected to be bound to an integer" (->disp 'expr)))) -(define-syntax (!integer id) +(define-syntax-rule (!integer id) (begin (!defined id) (!integer* id))) (provide !eval)