Matteo Casalino created DROOLS-4903: --------------------------------------- Summary: In constraints fail to compile if negated or inside a forall pattern Key: DROOLS-4903 URL: https://issues.redhat.com/browse/DROOLS-4903 Project: Drools Issue Type: Bug Components: core engine Affects Versions: 7.31.0.Final Reporter: Matteo Casalino Assignee: Mario Fusco Attachments: in-constraint-negation.tgz It appears that the KieBuilder fails to compile the following pattern: {noformat} Pojo(!(x in (1,2,3))) {noformat} returning the following error: {noformat} Error Messages: Message [id=1, kieBase=defaultKieBase, level=ERROR, path=rules.drl, line=4, column=0 text=Unable to Analyse Expression !(x in (1,2,3)): [Error: unexpected token: ,2] [Near : {... !(x in (1,2,3)) ....}] {noformat} Furthermore, as of Drools 7.29.0.Final, the following form will also fail to compile: {noformat} forall(Pojo(y==42, x in (1,2,3))) {noformat} with the following error: {noformat} Error Messages: Message [id=1, kieBase=defaultKieBase, level=ERROR, path=rules.drl, line=4, column=0 text=Unable to Analyse Expression !(y==42) || !(x in (1,2,3)): [Error: unexpected token: ,2] [Near : {... !(y==42) || !(x in (1,2,3)) ....}] {noformat} The latter is likely a consequence of the negation introduced by [DROOLS-4632|https://issues.redhat.com/browse/DROOLS-4632] -- This message was sent by Atlassian Jira (v7.13.8#713008)