1 Commits

Author SHA1 Message Date
Gašper Dobrovoljc
8251a3608c Changed addition operators to right associative 2025-06-03 18:41:44 +02:00
5 changed files with 10 additions and 36 deletions

View File

@@ -39,8 +39,9 @@ restcmp -> EQU addexpr
| .
addexpr -> multexpr restadd .
restadd -> ADD multexpr restadd
| SUB multexpr restadd | .
restadd -> ADD addexpr
| SUB addexpr
| .
multexpr -> prefixexpr restmult .
restmult -> MUL prefixexpr restmult

View File

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

View File

@@ -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}.
*/

View File

@@ -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;

View File

@@ -227,21 +227,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);
@@ -555,20 +540,20 @@ public class SynAn implements AutoCloseable {
Token token = lexAn.peekToken();
switch (token.symbol()) {
case ADD: {
// restadd -> ADD multexpr restadd
// restadd -> ADD addexpr
check(Token.Symbol.ADD);
AST.Expr right = parseMultiplicationExpression();
AST.Expr right = parseAdditionExpression();
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);
return binExpr;
}
case SUB: {
// restadd -> SUB multexpr restadd
// restadd -> ADD addexpr
check(Token.Symbol.SUB);
AST.Expr right = parseMultiplicationExpression();
AST.Expr right = parseAdditionExpression();
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 binExpr;
}
default: