<div dir="ltr">Hi, <div><br></div><div>I have the following reduction rule, it keeps on throwing the compiling error:missing ellipsis with pattern variable in template in: V</div><div><br></div><div>I am confused where to put the ellipsis?</div>
<div><br></div><div><br></div><div>(--&gt; ;((V å) S (fn ((ë X M) å_f) ê))<br>        ;((M (update å_f X ó_n)) S ê)<br>     ((tid  (V å (fn ((ë X M) å_f) ê))) ...) ; tid, context<br>     ((tid  (M  (update å_f X ó_n) ê)) ...)<br>
     tcesk3<br>
     (where ó_n ,(fresh-ó))<br>     (side-condition<br>      (not 
(redex-match thread-cesk-iswim-plus X (term V ))) )  ; ERROR: syntax: missing 
ellipsis with pattern variable in template in: V<br>    (side-condition<br>      (begin (store-update! (term ó_n) (term (V å)) Store) #t)))<br></div><div><br></div><div>Thanks,</div><div><br></div><div>--Shuying</div></div>