[racket] Where to put the ellipsis?

Is this supposed to be a CESK machine state where you apply \x.M to V (actually V and the empty env, which is a highly unusual left-hand side)? 


On Jul 15, 2013, at 4:28 AM, Monica Tomson wrote:

> 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
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20130715/d1464a11/attachment-0001.p7s>