repair b6b11cc

Author: rfindler

redex-lib/redex/private/judgment-form.rkt

@@ -1132,14 +1132,13 @@
      (define mode (syntax->datum #'_mode))
      (cond
        [(number? mode)
-        (raise-syntax-error
-         (syntax-e #'syn-err-name)
-         "modeless judgment forms cannot be used in term"
-         #'jdg-name)]
+        #'(λ (_)
+            (error 'syn-err-name
+                   "modeless judgment forms cannot be used in term"))]
        [(and mode (member 'O mode))
-         #'(λ (_)
-             (error 'syn-err-name
-                    "judgment forms with output mode positions cannot be used in term"))]
+        #'(λ (_)
+            (error 'syn-err-name
+                   "judgment forms with output mode positions cannot be used in term"))]
        [else
         (with-syntax* ([(binding ...) (if mode (generate-temporaries mode) '())]
                        [(input) (generate-temporaries (list #'input))])

redex-lib/redex/private/term.rkt

@@ -224,6 +224,10 @@ see also rewrite-side-conditions.rkt for some restrictions/changes there
                 #t)
             (judgment-form-id? #'jf-name))
        (let ([mode (judgment-form-mode (syntax-local-value #'jf-name))])
+         (when (number? mode)
+           (raise-syntax-error 'term
+                               "modeless judgment forms disallowed"
+                               arg-stx stx))
          (when (and mode (memq 'O mode))
            (raise-syntax-error 'term 
                                "judgment forms with output mode (\"O\") positions disallowed"

redex-test/redex/tests/syn-err-tests/term.rktd

@@ -6,3 +6,12 @@
  ([bound x]) ([bind x])
  (... (term-let ([((bind ...) ...) '()])
                 (term (bound ...)))))
+
+(#rx"modeless judgment forms disallowed"
+ ([use-of-J (J 1 2)]) ()
+ (let ()
+   (define-language L)
+   (define-judgment-form L
+     [-----
+      (J any any)])
+   (term (λ (x) use-of-J))))