[racket] Where to put the ellipsis?

Hi,

I have the following reduction rule, it keeps on throwing the compiling
error:missing ellipsis with pattern variable in template in: V

I am confused where to put the ellipsis?


(--> ;((V ε) S (fn ((λ X M) ε_f) κ))
        ;((M (update ε_f X σ_n)) S κ)
     ((tid  (V ε (fn ((λ X M) ε_f) κ))) ...) ; tid, context
     ((tid  (M  (update ε_f X σ_n) κ)) ...)
     tcesk3
     (where σ_n ,(fresh-σ))
     (side-condition
      (not (redex-match thread-cesk-iswim-plus X (term V ))) )  ; ERROR:
syntax: missing ellipsis with pattern variable in template in: V
    (side-condition
      (begin (store-update! (term σ_n) (term (V ε)) Store) #t)))

Thanks,

--Shuying
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130715/606f9605/attachment.html>