redex-check ellipsis error gives internal source location

[florence]

#lang racket
(require redex/reduction-semantics)

(define-language simple-plus
  (M (e e))
  (e natural))

(define-judgment-form simple-plus
  #:mode (okay1 I I)
  [
   --------
   (okay1 M (e ...))])

(redex-check simple-plus
 #:satisfying (okay1 e)
 (term e))

Gives the error:

redex/redex-lib/redex/private/judgment-form.rkt:1698:9: redex-check: generation failed at unsupported pattern;
 (#:satisfying keyword does not support ellipses, contexts, side-conditions, or unquote)
  pattern: (repeat (name e (nt e)) #f #f)

Instead of reporting a source location in the given file

[rfindler]

This is a runtime error (during the generation process), so what you are seeing there is the stack. If this were a syntax error, we could make the source location better but, as implied by the discussion in #49, that is probably a bad idea.