delete \left-assoc and \right-assoc of \and and \or

runtimeverification · Oct 12, 2023 · 64c5a0e · 64c5a0e
1 parent 58eef8b
commit 64c5a0e
Showing 1 changed file with 0 additions and 32 deletions.
diff --git a/kore/src/main/scala/org/kframework/parser/kore/parser/TextToKore.scala b/kore/src/main/scala/org/kframework/parser/kore/parser/TextToKore.scala
@@ -524,22 +524,6 @@ class TextToKore(b: Builders = DefaultBuilders) {
             consumeWithLeadingWhitespaces("}")
             consumeWithLeadingWhitespaces("(")
             val ctr = scanner.nextWithSkippingWhitespaces() match {
-              case '\\' =>
-                val c1 = scanner.next()
-                val c2 = scanner.next()
-                (c1, c2) match {
-                  case ('a', 'n') => // and
-                    consume("d")
-                    consumeWithLeadingWhitespaces("{")
-                    val s = parseSort()
-                    consumeWithLeadingWhitespaces("}")
-                    (p1: kore.Pattern, p2: kore.Pattern) => b.And(s, p1, p2)
-                  case ('o', 'r') => // or
-                    consumeWithLeadingWhitespaces("{")
-                    val s = parseSort()
-                    consumeWithLeadingWhitespaces("}")
-                    (p1: kore.Pattern, p2: kore.Pattern) => b.Or(s, p1, p2)
-                }
               case c => // variable or application
                 scanner.putback(c)
                 val id = parseId() // previousParsingLevel is set here
@@ -559,22 +543,6 @@ class TextToKore(b: Builders = DefaultBuilders) {
             consumeWithLeadingWhitespaces("}")
             consumeWithLeadingWhitespaces("(")
             val ctr = scanner.nextWithSkippingWhitespaces() match {
-              case '\\' =>
-                val c1 = scanner.next()
-                val c2 = scanner.next()
-                (c1, c2) match {
-                  case ('a', 'n') => // and
-                    consume("d")
-                    consumeWithLeadingWhitespaces("{")
-                    val s = parseSort()
-                    consumeWithLeadingWhitespaces("}")
-                    (p1: kore.Pattern, p2: kore.Pattern) => b.And(s, p1, p2)
-                  case ('o', 'r') => // or
-                    consumeWithLeadingWhitespaces("{")
-                    val s = parseSort()
-                    consumeWithLeadingWhitespaces("}")
-                    (p1: kore.Pattern, p2: kore.Pattern) => b.Or(s, p1, p2)
-                }
               case c => // variable or application
                 scanner.putback(c)
                 val id = parseId() // previousParsingLevel is set here