31 Oct
2012
31 Oct
'12
9:53 p.m.
Hi,
I think there's a small problem with the semantic predicate of the range rule:
range :a :b =
anything:x ?[a <= x & x <= b] -> [x]
A pair of parenthesis fixes the problem:
range :a :b =
anything:x ?[a <= x & (x <= b)] -> [x]
Thanks, Doug