Lexer is grouping `n1 <- n2` (a likely typo) as `n1 < -n2`
Closed this issue · 1 comments
tnelson commented
Minimum example:
#lang forge
sig Person { age: one Int }
test expect {
parsing: {all p: Person | (p.age <- 17) iff (p.age < -17)} is theorem
}
This test passes in 2.8.0. My expectation was that it would produce a parser error, since <-
isn't a valid token in that position. (This example was extracted from a real typo made by a real user.)
tnelson commented
Resolved by the above PR