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
smime.p7s
Description: S/MIME cryptographic signature
____________________ Racket Users list: http://lists.racket-lang.org/users
