Workaround for Silicon using eqExp

JonasAlaif · JonasAlaif · commit b5787a3649b8 · 2023-07-19T11:10:49.000+02:00
diff --git a/src/main/scala/viper/silver/parser/FastParser.scala b/src/main/scala/viper/silver/parser/FastParser.scala
@@ -531,12 +531,13 @@ class FastParser {
 
   def eqOp[$: P] = P(StringIn("==", "!=").!)
 
-  def eqExp[$: P](bracketed: Boolean = false): P[PExp] = FP(cmpExp(bracketed) ~~~ (eqOp ~ eqExp()).lw.?).map {
+  def eqExpParen[$: P](bracketed: Boolean = false): P[PExp] = FP(cmpExp(bracketed) ~~~ (eqOp ~ eqExp).lw.?).map {
     case (pos, (a, b)) => b match {
       case Some(c) => PBinExp(a, c._1, c._2)(pos)
       case None => a
     }
   }
+  def eqExp[$: P]: P[PExp] = eqExpParen()
 
   def andExp[$: P](bracketed: Boolean = false): P[PExp] = FP(eqExp(bracketed) ~~~ ("&&".! ~ andExp()).lw.?).map {
     case (pos, (a, b)) => b match {

Original file line number	Diff line number	Diff line change
`@@ -531,12 +531,13 @@ class FastParser {`
`531`	`531`
`532`	`532`	`def eqOp[$: P] = P(StringIn("==", "!=").!)`
`533`	`533`
`534`		`- def eqExp[$: P](bracketed: Boolean = false): P[PExp] = FP(cmpExp(bracketed) ~~~ (eqOp ~ eqExp()).lw.?).map {`
	`534`	`+ def eqExpParen[$: P](bracketed: Boolean = false): P[PExp] = FP(cmpExp(bracketed) ~~~ (eqOp ~ eqExp).lw.?).map {`
`535`	`535`	`case (pos, (a, b)) => b match {`
`536`	`536`	`case Some(c) => PBinExp(a, c._1, c._2)(pos)`
`537`	`537`	`case None => a`
`538`	`538`	`}`
`539`	`539`	`}`
	`540`	`+ def eqExp[$: P]: P[PExp] = eqExpParen()`
`540`	`541`
`541`	`542`	`def andExp[$: P](bracketed: Boolean = false): P[PExp] = FP(eqExp(bracketed) ~~~ ("&&".! ~ andExp()).lw.?).map {`
`542`	`543`	`case (pos, (a, b)) => b match {`