<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
RRQLExpression('EXISTS(U can_run O) OR EXISTS(U can_run X, O in_project X)')<br>
<br>
Adding this permission rule fails with a "type inconsistancy"<br>
exception from rql.<br>
<br>
Looking into the rql code, it seems that the type checker consideres the<br>
OR like an AND, that is the types in the first part 'and' the types of<br>
variables in the second part must be similar.<br>
</blockquote></div><br></div><div class="gmail_extra">O plays different roles here, and is assigned conflicting types by the resolver</div><div class="gmail_extra"><br></div><div class="gmail_extra">(still because EXISTS does not define a new scope for variables, but</div><div class="gmail_extra">I can quite understand why that case turns out wrong).</div><div class="gmail_extra"><br></div></div>