search

favu100 / b2program

READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH
5 stars 3 forks source link

Identifier name collision in nested quantified constructs #27

Open favu100 opened 2 years ago

favu100 commented 2 years ago

For nested quantified constructs, there are possible name collisions leading to a parse error:

operation(frnt,nxt) =
    SELECT frnt : ... & nxt : ran(next) & !nxt(...)