From 99ff0adbfda87791a99914b69caa0decef79cd04 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Mar 2013 21:27:45 -0500 Subject: [PATCH] check errors earlier in judgment-form closes PR 13609 closes PR 13610 --- collects/redex/private/judgment-form.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/redex/private/judgment-form.rkt b/collects/redex/private/judgment-form.rkt index aa125b3298..6226ef5439 100644 --- a/collects/redex/private/judgment-form.rkt +++ b/collects/redex/private/judgment-form.rkt @@ -719,8 +719,10 @@ (define-syntax (judgment-holds stx) (syntax-case stx () - [(_ args ...) - #'(#%expression (judgment-holds/derivation judgment-holds #f args ...))])) + [(_ (jf-id . args)) + #'(#%expression (judgment-holds/derivation judgment-holds #f (jf-id . args)))] + [(_ (jf-id . args) trm) + #'(#%expression (judgment-holds/derivation judgment-holds #f (jf-id . args) trm))])) (define-syntax (build-derivations stx) (syntax-case stx ()