<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi,<div><br></div><div>I think there's a small problem with the semantic predicate of the range rule:</div><div><br></div><div><div><font class="Apple-style-span" face="Courier">range :a :b =</font></div><div><font class="Apple-style-span" face="Courier"><br></font></div><div><font class="Apple-style-span" face="Courier"><span class="Apple-tab-span" style="white-space:pre"> </span>anything:x ?[a <= x & x <= b] -> [x]</font></div></div><div><br></div><div>A pair of parenthesis fixes the problem:</div><div><br></div><div><div><font class="Apple-style-span" face="Courier">range :a :b =</font></div><div><font class="Apple-style-span" face="Courier"><br></font></div><div><font class="Apple-style-span" face="Courier"><span class="Apple-tab-span" style="white-space:pre"> </span>anything:x ?[a <= x & <font class="Apple-style-span" color="#ff0000">(</font>x <= b<font class="Apple-style-span" color="#ff0000">)</font>] -> [x]</font></div></div><div><font class="Apple-style-span" face="Courier"><br></font></div><div><font class="Apple-style-span" face="Courier"><span class="Apple-style-span" style="font-family: Helvetica; ">Thanks,</span></font></div><div><font class="Apple-style-span" face="Courier"><span class="Apple-style-span" style="font-family: Helvetica; ">Doug</span></font></div></body></html>