Make + operator bind more strongly than multiplication operators

.gitignore

@@ -3,3 +3,4 @@ out/
 *.zip
 prg/**/*.ast
 prg/**/*.out
+prg/**/*.pins25

prg/test.pins25

@@ -1,10 +0,0 @@
-var i = 0
-
-fun main() =
-	until i >= 10 do
-		putint(i),
-		i = i + 1
-	end,
-	0
-
-fun putint(n)

src/pins25/common/Token.java

@@ -57,10 +57,6 @@ public record Token(Report.Location location, Symbol symbol, String lexeme) impl
          * Kljucna beseda {@code while}.
          */
         WHILE,
-        /**
-         * Kljucna beseda {@code until}.
-         */
-        UNTIL,
         /**
          * Kljucna beseda {@code do}.
          */

src/pins25/phase/LexAn.java

@@ -315,7 +315,6 @@ public class LexAn implements AutoCloseable {
             case "then" -> Token.Symbol.THEN;
             case "else" -> Token.Symbol.ELSE;
             case "while" -> Token.Symbol.WHILE;
-            case "until" -> Token.Symbol.UNTIL;
             case "do" -> Token.Symbol.DO;
             case "let" -> Token.Symbol.LET;
             case "in" -> Token.Symbol.IN;

src/pins25/phase/SynAn.java

@@ -5,6 +5,7 @@ import pins25.common.*;
 import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.List;
+import java.util.Objects;
 
 /**
  * Sintaksni analizator.
@@ -227,21 +228,6 @@ public class SynAn implements AutoCloseable {
                 return whileStmt;
             }
 
-            case UNTIL: {
-                // statement -> until expression do statements end
-                Token untilT = check(Token.Symbol.UNTIL);
-                AST.Expr cond = parseExpression();
-                check(Token.Symbol.DO);
-                List<AST.Stmt> stmts = parseStatements();
-                Token end = check(Token.Symbol.END);
-
-                AST.Expr negCond = new AST.UnExpr(AST.UnExpr.Oper.NOT, cond);
-                
-                AST.WhileStmt whileStmt = new AST.WhileStmt(negCond, stmts);
-                attrLoc.put(whileStmt, new Report.Location(untilT, end));
-                return whileStmt;
-            }
-
             case LET: {
                 // statement -> let definition reststmtdefs in statements end
                 Token let = check(Token.Symbol.LET);
@@ -481,7 +467,7 @@ public class SynAn implements AutoCloseable {
         checkExpression();
 
         // cmpexpr -> addexpr restcmp
-        AST.Expr left = parseAdditionExpression();
+        AST.Expr left = parseSubstractionExpression();
         return parseRestComparisons(left);
     }
 
@@ -491,7 +477,7 @@ public class SynAn implements AutoCloseable {
             case EQU: {
                 // restcmp -> EQU addexpr
                 check(Token.Symbol.EQU);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.EQU, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -499,7 +485,7 @@ public class SynAn implements AutoCloseable {
             case NEQ: {
                 // restcmp -> NEQ addexpr
                 check(Token.Symbol.NEQ);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.NEQ, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -507,7 +493,7 @@ public class SynAn implements AutoCloseable {
             case LTH: {
                 // restcmp -> LTH addexpr
                 check(Token.Symbol.LTH);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.LTH, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -515,7 +501,7 @@ public class SynAn implements AutoCloseable {
             case GTH: {
                 // restcmp -> GTH addexpr
                 check(Token.Symbol.GTH);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.GTH, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -523,7 +509,7 @@ public class SynAn implements AutoCloseable {
             case LEQ: {
                 // restcmp -> LEQ addexpr
                 check(Token.Symbol.LEQ);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.LEQ, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -531,7 +517,7 @@ public class SynAn implements AutoCloseable {
             case GEQ: {
                 // restcmp -> GEQ addexpr
                 check(Token.Symbol.GEQ);
-                AST.Expr right = parseAdditionExpression();
+                AST.Expr right = parseSubstractionExpression();
                 AST.BinExpr binExpr = new AST.BinExpr(AST.BinExpr.Oper.GEQ, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return binExpr;
@@ -543,39 +529,28 @@ public class SynAn implements AutoCloseable {
         }
     }
 
-    private AST.Expr parseAdditionExpression() {
+
+    private AST.Expr parseSubstractionExpression() {
         checkExpression();
 
-        // addexpr -> multexpr restadd
+        // subexpr -> multexpr restsub
         AST.Expr left = parseMultiplicationExpression();
-        return parseRestAdditionExpressions(left);
+        return parseRestSubtractionExpressions(left);
     }
 
-    private AST.Expr parseRestAdditionExpressions(AST.Expr left) {
+    private AST.Expr parseRestSubtractionExpressions(AST.Expr left) {
         Token token = lexAn.peekToken();
-        switch (token.symbol()) {
+        if (Objects.requireNonNull(token.symbol()) == Token.Symbol.SUB) {
-            case ADD: {
+            // restsub -> SUB multexpr restsub
-                // restadd -> ADD multexpr restadd
-                check(Token.Symbol.ADD);
-                AST.Expr right = parseMultiplicationExpression();
-                AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
-                attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
-                return parseRestAdditionExpressions(binExpr);
-            }
-            case SUB: {
-                // restadd -> SUB multexpr restadd
             check(Token.Symbol.SUB);
             AST.Expr right = parseMultiplicationExpression();
             AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.SUB, left, right);
             attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
-                return parseRestAdditionExpressions(binExpr);
+            return parseRestSubtractionExpressions(binExpr);
         }
-
+        // restsub -> ε
-            default:
-                // restadd -> ε
         return left;
     }
-    }
 
     private AST.Expr parseMultiplicationExpression() {
         checkExpression();
@@ -589,25 +564,25 @@ public class SynAn implements AutoCloseable {
         Token token = lexAn.peekToken();
         switch (token.symbol()) {
             case MUL: {
-                // restmult -> MUL prefixexpr restmult
+                // restmult -> MUL addexpr restmult
                 check(Token.Symbol.MUL);
-                AST.Expr right = parsePrefixExpression();
+                AST.Expr right = parseAdditionExpression();
                 AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.MUL, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return parseRestMultiplicationExpressions(binExpr);
             }
             case DIV: {
-                // restmult -> DIV prefixexpr restmult
+                // restmult -> DIV addexpr restmult
                 check(Token.Symbol.DIV);
-                AST.Expr right = parsePrefixExpression();
+                AST.Expr right = parseAdditionExpression();
                 AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.DIV, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return parseRestMultiplicationExpressions(binExpr);
             }
             case MOD: {
-                // restmult -> MOD prefixexpr restmult
+                // restmult -> MOD addexpr restmult
                 check(Token.Symbol.MOD);
-                AST.Expr right = parsePrefixExpression();
+                AST.Expr right = parseAdditionExpression();
                 AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.MOD, left, right);
                 attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
                 return parseRestMultiplicationExpressions(binExpr);
@@ -619,6 +594,28 @@ public class SynAn implements AutoCloseable {
         }
     }
 
+    private AST.Expr parseAdditionExpression() {
+        checkExpression();
+
+        // addexpr -> prefexpr restadd
+        AST.Expr left = parsePrefixExpression();
+        return parseRestAdditionExpressions(left);
+    }
+
+    private AST.Expr parseRestAdditionExpressions(AST.Expr left) {
+        Token token = lexAn.peekToken();
+        if (Objects.requireNonNull(token.symbol()) == Token.Symbol.ADD) {
+            // restadd -> ADD multexpr restadd
+            check(Token.Symbol.ADD);
+            AST.Expr right = parsePrefixExpression();
+            AST.Expr binExpr = new AST.BinExpr(AST.BinExpr.Oper.ADD, left, right);
+            attrLoc.put(binExpr, new Report.Location(attrLoc.get(left), attrLoc.get(right)));
+            return parseRestAdditionExpressions(binExpr);
+        }
+        // restadd -> ε
+        return left;
+    }
+
     private AST.Expr parsePrefixExpression() {
         checkExpression();