ddlog
ddlog copied to clipboard
Cannot combine array indexing with minus
Just tried writing a query like blah(wordidxs[1] - 3) :- ....
, but cannot combine -
with array indexing
Workaround: create intermediate tables
@feiranwang I think we did arbitrary expression here but maybe this is a parse error?
Yes, this looks like a parse error. I'm looking into it.