<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>