sync up error message

related to racket#101

Author: rfindler

redex-doc/redex/scribblings/ref/languages.scrbl

@@ -30,7 +30,7 @@
                 #,pattern
                 (code:line binding-pattern #:exports beta)
                 (code:line binding-pattern #:refers-to beta)
-                (code:line binding-pattern #:...bind (id beta beta))]
+                (code:line binding-pattern #:...bind (id tail-imports-beta tail-exports-beta))]
 	       [beta nothing
 	             symbol
 		     (shadow beta-seqence ...)]

redex-lib/redex/private/binding-forms-compiler.rkt

@@ -240,22 +240,24 @@
                         ,(maybe-ddd (maybe-import bspec-sub imports-beta) dotdotdoting))
                       #`(#,@pat #,pat-sub #,@(if dotdotdoting #`((... ...)) #`())))))
 
+            (define (bind-must-be-followed-by)
+              (rse "#...bind must be followed by `(id tail-imports-beta tail-exports-beta)`"))
 
             (syntax-case #'rest (...) ;; is it followed by a postfix/infix operator?
               [(#:refers-to imports-beta (... ...) . rest-of-body)
                (process-under #'rest-of-body #'imports-beta #'(nothing nothing))]
               [(#:refers-to imports-beta #:...bind (name tail-imports tail-exports) . rest-of-body)
                (process-under #'rest-of-body #'imports-beta #'(name tail-imports tail-exports))]
               [(#:refers-to imports-beta #:...bind . anything-else)
-               (rse "#...bind must be followed by `(name tail-imports tail-exports)`")]
+               (bind-must-be-followed-by)]
               [(#:refers-to imports-beta . rest-of-body)
                (process-under #'rest-of-body #'imports-beta #f)]
               [((... ...) . rest-of-body)
                (process-under #'rest-of-body #f #'(nothing nothing))]
               [(#:...bind (name tail-imports tail-exports) . rest-of-body)
                (process-under #'rest-of-body #f #'(name tail-imports tail-exports))]
-              [(#:...bind . anything-else)
-               (rse "#...bind must be followed by `(name tail-imports tail-exports)`")]
+              [(#:...bind . anythinge-else)
+               (bind-must-be-followed-by)]
               [rest-of-body ;; no imports or ...s
                (process-under #'rest-of-body #f #f)]))]