[Cubicweb] An rql bug ?

aurélien campéas aurelien.campeas at gmail.com
Wed Feb 11 10:38:44 CET 2015


>
>
>
> RRQLExpression('EXISTS(U can_run O) OR EXISTS(U can_run X, O in_project
> X)')
>
> Adding this permission rule fails with a "type inconsistancy"
> exception from rql.
>
> Looking into the rql code, it seems that the type checker consideres the
> OR like an AND, that is the types in the first part 'and' the types of
> variables in the second part must be similar.
>

O plays different roles here, and is assigned conflicting types by the
resolver

(still because EXISTS does not define a new scope for variables, but
I can quite understand why that case turns out wrong).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cubicweb.org/pipermail/cubicweb/attachments/20150211/4fb8e017/attachment-0186.html>


More information about the Cubicweb mailing list