janhaag/PSE2011 — Issue #12: parser rejects quantified subexpression
Author: danielbruns
Created: 2012-02-13 17:14:01+00:00
State: open

An expression like the following is rejected by the parser ("no viable alternative at input 'forall'"). I tried to put in as much parentheses as possible, but it still fails.
(0 < i) & ((i <= length(a)) & (forall j (0,i-1) (x >= a[j])));