2019-06-05 01:11:11 +00:00
|
|
|
const std = @import("std");
|
|
|
|
const scanners = @import("scanner.zig");
|
|
|
|
const main = @import("main.zig");
|
|
|
|
const ast = @import("ast.zig");
|
|
|
|
const tokens = @import("tokens.zig");
|
2019-06-06 01:06:12 +00:00
|
|
|
const err = @import("errors.zig");
|
2019-08-26 13:25:14 +00:00
|
|
|
const printer = @import("ast_printer.zig");
|
2019-06-05 01:11:11 +00:00
|
|
|
|
|
|
|
const Allocator = std.mem.Allocator;
|
|
|
|
const Scanner = scanners.Scanner;
|
|
|
|
const Token = tokens.Token;
|
|
|
|
const TokenType = tokens.TokenType;
|
|
|
|
const Result = main.Result;
|
2019-08-24 01:13:26 +00:00
|
|
|
|
2019-07-01 18:01:43 +00:00
|
|
|
const Node = ast.Node;
|
2019-08-24 01:13:26 +00:00
|
|
|
const Expr = ast.Expr;
|
2019-08-24 19:00:22 +00:00
|
|
|
const Stmt = ast.Stmt;
|
2019-06-06 01:06:12 +00:00
|
|
|
|
2019-08-26 02:59:01 +00:00
|
|
|
const TokenList = std.ArrayList(Token);
|
|
|
|
|
2019-06-05 01:11:11 +00:00
|
|
|
pub const Parser = struct {
|
|
|
|
allocator: *Allocator,
|
|
|
|
scanner: *Scanner,
|
2019-08-26 02:59:01 +00:00
|
|
|
tokens: TokenList,
|
2019-06-05 01:11:11 +00:00
|
|
|
|
2019-08-23 14:57:49 +00:00
|
|
|
hadError: bool = false,
|
|
|
|
|
2019-06-05 01:11:11 +00:00
|
|
|
pub fn init(allocator: *Allocator, scanner: *Scanner) Parser {
|
2019-08-26 02:59:01 +00:00
|
|
|
return Parser{
|
|
|
|
.allocator = allocator,
|
|
|
|
.scanner = scanner,
|
|
|
|
.tokens = TokenList.init(allocator),
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn deinit(self: *@This()) void {
|
|
|
|
self.tokens.deinit();
|
2019-06-05 01:11:11 +00:00
|
|
|
}
|
|
|
|
|
2019-08-23 14:57:49 +00:00
|
|
|
fn doError(self: *Parser, comptime fmt: []const u8, args: ...) void {
|
|
|
|
self.hadError = true;
|
|
|
|
|
2019-06-05 01:11:11 +00:00
|
|
|
std.debug.warn("parser error at line {}\n\t", self.scanner.line);
|
|
|
|
std.debug.warn(fmt, args);
|
|
|
|
std.debug.warn("\n");
|
|
|
|
}
|
|
|
|
|
2019-06-06 01:06:12 +00:00
|
|
|
fn peek(self: *Parser) Token {
|
2019-08-26 02:59:01 +00:00
|
|
|
return self.tokens.at(self.tokens.len - 1);
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn previous(self: *Parser) Token {
|
2019-08-26 02:59:01 +00:00
|
|
|
return self.tokens.at(self.tokens.len - 2);
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn tokenError(self: *Parser, token: Token, msg: []const u8) Result!void {
|
|
|
|
if (token.ttype == .EOF) {
|
|
|
|
err.report(token.line, " at end", msg);
|
|
|
|
} else {
|
|
|
|
err.reportFmt(token.line, " at '{}': {}", token.lexeme, msg);
|
2019-06-05 01:11:11 +00:00
|
|
|
}
|
2019-06-06 01:06:12 +00:00
|
|
|
|
|
|
|
return Result.CompileError;
|
2019-06-05 01:11:11 +00:00
|
|
|
}
|
|
|
|
|
2019-06-06 01:06:12 +00:00
|
|
|
fn isAtEnd(self: *Parser) bool {
|
|
|
|
return self.peek().ttype == .EOF;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn check(self: *Parser, ttype: TokenType) bool {
|
|
|
|
if (self.isAtEnd()) return false;
|
|
|
|
return self.peek().ttype == ttype;
|
|
|
|
}
|
|
|
|
|
2019-07-01 18:39:48 +00:00
|
|
|
fn nextToken(self: *Parser) !Token {
|
|
|
|
var token: Token = undefined;
|
|
|
|
|
|
|
|
while (true) {
|
|
|
|
var next_token_opt = try self.scanner.nextToken();
|
|
|
|
if (next_token_opt) |token_nice| {
|
|
|
|
token = token_nice;
|
|
|
|
break;
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-26 02:59:01 +00:00
|
|
|
try self.tokens.append(token);
|
2019-08-23 19:34:41 +00:00
|
|
|
std.debug.warn("skip to {}\n", token);
|
2019-07-01 18:39:48 +00:00
|
|
|
return token;
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
|
2019-07-01 18:39:48 +00:00
|
|
|
fn consume(self: *Parser, ttype: TokenType, comptime msg: []const u8) !Token {
|
2019-08-26 16:15:08 +00:00
|
|
|
if (self.check(ttype)) {
|
|
|
|
var tok = self.peek();
|
|
|
|
_ = try self.nextToken();
|
|
|
|
return tok;
|
|
|
|
}
|
2019-06-06 01:06:12 +00:00
|
|
|
|
|
|
|
try self.tokenError(self.peek(), msg);
|
|
|
|
return Result.CompileError;
|
2019-06-05 01:11:11 +00:00
|
|
|
}
|
|
|
|
|
2019-07-01 18:25:07 +00:00
|
|
|
fn consumeSingle(self: *Parser, ttype: TokenType) !Token {
|
2019-08-24 19:51:37 +00:00
|
|
|
std.debug.warn("consume {}..?", ttype);
|
|
|
|
|
2019-07-01 18:39:48 +00:00
|
|
|
if (self.check(ttype)) {
|
|
|
|
var cur = self.peek();
|
|
|
|
_ = try self.nextToken();
|
2019-08-24 19:51:37 +00:00
|
|
|
std.debug.warn(" now has {}\n", self.peek());
|
2019-07-01 18:39:48 +00:00
|
|
|
return cur;
|
|
|
|
}
|
2019-07-01 18:25:07 +00:00
|
|
|
|
|
|
|
var buf_main: [1000]u8 = undefined;
|
|
|
|
var buf = try std.fmt.bufPrint(
|
|
|
|
buf_main[0..],
|
|
|
|
"expected {}, got {}",
|
|
|
|
ttype,
|
|
|
|
self.peek().ttype,
|
|
|
|
);
|
|
|
|
try self.tokenError(self.peek(), buf);
|
|
|
|
|
|
|
|
return Result.CompileError;
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn compareAnyOf(self: *@This(), ttypes: []TokenType) bool {
|
|
|
|
for (ttypes) |ttype| {
|
2019-08-24 14:07:23 +00:00
|
|
|
if (self.check(ttype)) return true;
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2019-08-25 15:24:34 +00:00
|
|
|
fn mkFnDecl(
|
|
|
|
self: *Parser,
|
|
|
|
name: Token,
|
|
|
|
params: ast.ParamList,
|
|
|
|
return_type: Token,
|
|
|
|
block: ast.StmtList,
|
|
|
|
) !*ast.Node {
|
2019-07-01 18:25:07 +00:00
|
|
|
var node = try self.allocator.create(Node);
|
2019-07-01 18:55:19 +00:00
|
|
|
node.* = Node{
|
|
|
|
.FnDecl = ast.FnDecl{
|
|
|
|
.func_name = name,
|
|
|
|
.params = params,
|
2019-08-25 15:24:34 +00:00
|
|
|
.return_type = return_type,
|
2019-08-24 14:07:23 +00:00
|
|
|
.body = block,
|
2019-07-01 18:55:19 +00:00
|
|
|
},
|
|
|
|
};
|
2019-07-01 18:01:43 +00:00
|
|
|
return node;
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
|
2019-08-23 19:34:41 +00:00
|
|
|
fn mkConstDecl(self: *Parser, consts: ast.ConstList) !*ast.Node {
|
|
|
|
var node = try self.allocator.create(Node);
|
|
|
|
node.* = Node{ .ConstDecl = consts };
|
|
|
|
return node;
|
|
|
|
}
|
2019-07-01 18:55:19 +00:00
|
|
|
|
2019-08-24 19:00:22 +00:00
|
|
|
fn mkBlock(self: *Parser, stmts: ast.StmtList) !*ast.Node {
|
2019-08-24 01:13:26 +00:00
|
|
|
var node = try self.allocator.create(Node);
|
2019-08-24 19:00:22 +00:00
|
|
|
node.* = Node{ .Block = stmts };
|
2019-08-24 01:13:26 +00:00
|
|
|
return node;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkExpr(self: *Parser, expr: *Expr) !*ast.Node {
|
|
|
|
var node = try self.allocator.create(Node);
|
|
|
|
node.* = Node{ .Expr = expr };
|
|
|
|
return node;
|
|
|
|
}
|
|
|
|
|
2019-08-24 19:00:22 +00:00
|
|
|
fn mkStmt(self: *Parser, stmt: *Stmt) !*ast.Node {
|
|
|
|
var node = try self.allocator.create(Node);
|
|
|
|
node.* = Node{ .Stmt = stmt };
|
|
|
|
return node;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkStmtExpr(self: *Parser, expr: *Expr) !*Stmt {
|
|
|
|
var stmt = try self.allocator.create(Stmt);
|
|
|
|
stmt.* = Stmt{ .Expr = expr };
|
|
|
|
return stmt;
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn mkGrouping(self: *Parser, expr: *Expr) !*ast.Expr {
|
|
|
|
var grouping = try self.allocator.create(Expr);
|
|
|
|
grouping.* = Expr{ .Grouping = expr };
|
|
|
|
return grouping;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkUnary(self: *Parser, op: Token, right: *Expr) !*Expr {
|
2019-08-24 14:07:23 +00:00
|
|
|
std.debug.warn("Unary\n");
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Unary = ast.UnaryExpr{
|
|
|
|
.op = op,
|
|
|
|
.right = right,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkBinary(self: *Parser, left: *Expr, op: Token, right: *Expr) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Binary = ast.BinaryExpr{
|
|
|
|
.left = left,
|
|
|
|
.op = op,
|
|
|
|
.right = right,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-25 16:21:22 +00:00
|
|
|
fn mkLogical(self: *Parser, left: *Expr, op: Token, right: *Expr) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Logical = ast.LogicalExpr{
|
|
|
|
.left = left,
|
|
|
|
.op = op,
|
|
|
|
.right = right,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-25 13:27:50 +00:00
|
|
|
fn mkAssign(self: *Parser, name: Token, value: *Expr) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Assign = ast.AssignExpr{
|
|
|
|
.name = name,
|
|
|
|
.value = value,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-25 14:38:55 +00:00
|
|
|
fn mkVarDecl(self: *@This(), name: Token, value: *Expr, mutable: bool) !*Expr {
|
|
|
|
var vardecl = try self.allocator.create(Expr);
|
|
|
|
vardecl.* = Expr{
|
|
|
|
.VarDecl = ast.VarDecl{
|
|
|
|
.assign = ast.AssignExpr{
|
|
|
|
.name = name,
|
|
|
|
.value = value,
|
|
|
|
},
|
|
|
|
.mutable = mutable,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return vardecl;
|
|
|
|
}
|
|
|
|
|
2019-08-26 01:41:25 +00:00
|
|
|
fn mkCall(self: *@This(), callee: *Expr, paren: Token, args: ast.ExprList) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Call = ast.CallExpr{
|
|
|
|
.callee = callee,
|
|
|
|
.paren = paren,
|
|
|
|
.arguments = args,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-26 14:59:32 +00:00
|
|
|
fn mkStructExpr(self: *@This(), name: Token, args: ast.StructInitList) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Struct = ast.StructExpr{
|
|
|
|
.name = name,
|
|
|
|
.inits = args,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-26 16:15:08 +00:00
|
|
|
fn mkGet(self: *@This(), struc: *Expr, name: Token) !*Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Get = ast.GetExpr{
|
|
|
|
.struc = struc,
|
|
|
|
.name = name,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn mkBool(self: *Parser, val: bool) !*ast.Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Literal = ast.LiteralExpr{
|
|
|
|
.Bool = val,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkInteger(self: *Parser, val: []const u8) !*ast.Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Literal = ast.LiteralExpr{
|
|
|
|
.Integer = val,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkFloat(self: *Parser, val: []const u8) !*ast.Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Literal = ast.LiteralExpr{
|
|
|
|
.Float = val,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mkString(self: *Parser, val: []const u8) !*ast.Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{
|
|
|
|
.Literal = ast.LiteralExpr{
|
|
|
|
.String = val,
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-24 20:22:08 +00:00
|
|
|
fn mkVariable(self: *Parser, variable: Token) !*ast.Expr {
|
|
|
|
var expr = try self.allocator.create(Expr);
|
|
|
|
expr.* = Expr{ .Variable = variable };
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
pub fn parse(self: *Parser) !*ast.Node {
|
2019-08-26 13:49:43 +00:00
|
|
|
var root = try Node.mkRoot(self.allocator);
|
2019-08-24 01:13:26 +00:00
|
|
|
|
|
|
|
var token_opt: ?Token = null;
|
|
|
|
|
|
|
|
while (true) {
|
|
|
|
if (token_opt == null) {
|
|
|
|
token_opt = try self.nextToken();
|
|
|
|
} else {
|
|
|
|
token_opt = self.peek();
|
|
|
|
}
|
|
|
|
|
|
|
|
var token = token_opt.?;
|
|
|
|
if (token.ttype == .EOF) break;
|
|
|
|
|
|
|
|
var node = try self.parseTopDecl();
|
2019-08-26 12:54:01 +00:00
|
|
|
try root.Root.append(node);
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (self.hadError) {
|
|
|
|
return error.ParseError;
|
|
|
|
}
|
|
|
|
|
|
|
|
return root;
|
|
|
|
}
|
|
|
|
|
2019-08-26 12:54:01 +00:00
|
|
|
fn parseFnDecl(self: *@This()) !*Node {
|
2019-08-23 19:34:41 +00:00
|
|
|
var param_list = ast.ParamList.init(self.allocator);
|
|
|
|
errdefer param_list.deinit();
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.Fn);
|
2019-08-24 14:07:23 +00:00
|
|
|
const name = try self.consumeSingle(.Identifier);
|
2019-08-23 19:34:41 +00:00
|
|
|
|
|
|
|
_ = try self.consumeSingle(.LeftParen);
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-23 19:34:41 +00:00
|
|
|
while (self.peek().ttype != .RightParen) {
|
|
|
|
const param_name = try self.consumeSingle(.Identifier);
|
2019-08-25 15:24:34 +00:00
|
|
|
|
|
|
|
// TODO dedicated function to consume a type
|
2019-08-23 19:34:41 +00:00
|
|
|
const param_type = try self.consumeSingle(.Identifier);
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-23 19:34:41 +00:00
|
|
|
try param_list.append(ast.ParamDecl{
|
|
|
|
.name = param_name,
|
|
|
|
.typ = param_type,
|
|
|
|
});
|
|
|
|
}
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-23 19:34:41 +00:00
|
|
|
_ = try self.consumeSingle(.RightParen);
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-25 15:24:34 +00:00
|
|
|
// TODO dedicated function to consume a type
|
2019-08-24 14:07:23 +00:00
|
|
|
const return_type = try self.consumeSingle(.Identifier);
|
2019-08-25 15:24:34 +00:00
|
|
|
var block_node = try self.parseBlock();
|
|
|
|
return try self.mkFnDecl(name, param_list, return_type, block_node.Block);
|
2019-08-23 19:34:41 +00:00
|
|
|
}
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-26 12:54:01 +00:00
|
|
|
fn parseConstDecl(self: *@This()) !*Node {
|
2019-08-23 19:34:41 +00:00
|
|
|
var consts = ast.ConstList.init(self.allocator);
|
|
|
|
errdefer consts.deinit();
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.Const);
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.LeftParen);
|
|
|
|
|
|
|
|
while (self.peek().ttype != .RightParen) {
|
|
|
|
const const_name = try self.consumeSingle(.Identifier);
|
|
|
|
_ = try self.consumeSingle(.Equal);
|
|
|
|
|
2019-08-24 19:00:22 +00:00
|
|
|
var expr = try self.parseExpr();
|
|
|
|
try consts.append(ast.SingleConst{
|
|
|
|
.name = const_name,
|
|
|
|
.expr = expr.Expr,
|
|
|
|
});
|
2019-08-23 19:34:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.RightParen);
|
|
|
|
|
|
|
|
return self.mkConstDecl(consts);
|
|
|
|
}
|
|
|
|
|
2019-08-26 13:49:43 +00:00
|
|
|
fn parseStructDecl(self: *@This()) !*Node {
|
|
|
|
var fields = ast.FieldList.init(self.allocator);
|
|
|
|
errdefer fields.deinit();
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.Struct);
|
|
|
|
|
|
|
|
var name = try self.consumeSingle(.Identifier);
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.LeftBrace);
|
|
|
|
|
|
|
|
while (!self.check(.RightBrace)) {
|
|
|
|
// TODO mut and pub
|
|
|
|
const field_name = try self.consumeSingle(.Identifier);
|
|
|
|
const field_type = try self.consumeSingle(.Identifier);
|
|
|
|
|
|
|
|
try fields.append(ast.StructField{
|
|
|
|
.name = field_name,
|
|
|
|
.typ = field_type,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.RightBrace);
|
|
|
|
|
|
|
|
return Node.mkStructDecl(self.allocator, name, fields);
|
|
|
|
}
|
|
|
|
|
2019-08-26 12:54:01 +00:00
|
|
|
fn parseTopDecl(self: *@This()) !*Node {
|
2019-08-23 19:34:41 +00:00
|
|
|
return switch (self.peek().ttype) {
|
2019-08-24 01:13:26 +00:00
|
|
|
.Fn => try self.parseFnDecl(),
|
|
|
|
.Const => try self.parseConstDecl(),
|
2019-08-26 13:49:43 +00:00
|
|
|
.Struct => try self.parseStructDecl(),
|
2019-08-23 18:52:04 +00:00
|
|
|
|
2019-08-23 14:57:49 +00:00
|
|
|
else => |ttype| blk: {
|
2019-08-23 19:34:41 +00:00
|
|
|
self.doError("(basic) expected fn/const, got {}\n", ttype);
|
2019-08-26 12:54:01 +00:00
|
|
|
return Result.CompileError;
|
2019-08-23 14:57:49 +00:00
|
|
|
},
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
fn parseBlock(self: *@This()) !*Node {
|
2019-08-24 19:00:22 +00:00
|
|
|
var stmts = ast.StmtList.init(self.allocator);
|
|
|
|
errdefer stmts.deinit();
|
2019-06-06 01:06:12 +00:00
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
_ = try self.consumeSingle(.LeftBrace);
|
2019-08-23 19:34:41 +00:00
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
while (self.peek().ttype != .RightBrace) {
|
2019-08-24 20:46:42 +00:00
|
|
|
var stmt = try self.parseDecl();
|
2019-08-26 13:25:14 +00:00
|
|
|
printer.printNode(try self.mkStmt(stmt), 0);
|
2019-08-24 20:46:42 +00:00
|
|
|
try stmts.append(stmt);
|
2019-08-24 14:07:23 +00:00
|
|
|
}
|
2019-08-24 19:00:22 +00:00
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
_ = try self.consumeSingle(.RightBrace);
|
2019-08-23 19:34:41 +00:00
|
|
|
|
2019-08-24 19:00:22 +00:00
|
|
|
return try self.mkBlock(stmts);
|
|
|
|
}
|
|
|
|
|
2019-08-24 20:46:42 +00:00
|
|
|
fn parseDecl(self: *@This()) !*Stmt {
|
2019-08-25 14:38:55 +00:00
|
|
|
return try self.parseStmt();
|
2019-08-24 20:46:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn parseStmt(self: *@This()) anyerror!*Stmt {
|
|
|
|
return switch (self.peek().ttype) {
|
2019-08-25 16:02:40 +00:00
|
|
|
.If => try self.parseIfStmt(),
|
2019-08-25 20:14:25 +00:00
|
|
|
.Loop => try self.parseLoop(),
|
2019-08-24 19:00:22 +00:00
|
|
|
.Println => try self.parsePrintln(),
|
2019-08-26 02:16:13 +00:00
|
|
|
.Return => try self.parseReturn(),
|
2019-08-24 19:00:22 +00:00
|
|
|
|
|
|
|
// TODO make newlines tokens and consume newline?
|
|
|
|
else => try self.parseStmtExpr(),
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2019-08-25 19:57:22 +00:00
|
|
|
/// Copy of parseBlock for blocks in statements
|
|
|
|
fn parseStmtBlock(self: *@This()) !ast.Block {
|
|
|
|
var block = ast.Block.init(self.allocator);
|
|
|
|
errdefer block.deinit();
|
2019-08-25 16:02:40 +00:00
|
|
|
|
|
|
|
_ = try self.consumeSingle(.LeftBrace);
|
|
|
|
|
|
|
|
while (self.peek().ttype != .RightBrace) {
|
|
|
|
var stmt = try self.parseDecl();
|
2019-08-26 13:25:14 +00:00
|
|
|
printer.printNode(try self.mkStmt(stmt), 0);
|
2019-08-25 19:57:22 +00:00
|
|
|
try block.append(stmt);
|
2019-08-25 16:02:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.RightBrace);
|
|
|
|
|
2019-08-25 19:57:22 +00:00
|
|
|
return block;
|
2019-08-25 16:02:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn parseIfStmt(self: *@This()) !*Stmt {
|
|
|
|
_ = try self.consumeSingle(.If);
|
|
|
|
var condition = (try self.parseExpr()).Expr;
|
|
|
|
|
2019-08-25 19:57:22 +00:00
|
|
|
const then_branch = try self.parseStmtBlock();
|
2019-08-25 16:02:40 +00:00
|
|
|
|
2019-08-25 19:57:22 +00:00
|
|
|
var else_branch: ?ast.Block = null;
|
2019-08-25 16:02:40 +00:00
|
|
|
|
|
|
|
if (self.check(.Else)) {
|
|
|
|
_ = try self.consumeSingle(.Else);
|
2019-08-25 19:57:22 +00:00
|
|
|
else_branch = try self.parseStmtBlock();
|
2019-08-25 16:02:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return try Stmt.mkIfStmt(
|
|
|
|
self.allocator,
|
|
|
|
condition,
|
|
|
|
then_branch,
|
|
|
|
else_branch,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2019-08-25 20:14:25 +00:00
|
|
|
fn parseLoop(self: *@This()) !*Stmt {
|
|
|
|
_ = try self.consumeSingle(.Loop);
|
|
|
|
var expr: ?*Expr = null;
|
|
|
|
var body: ast.Block = undefined;
|
|
|
|
|
|
|
|
// infinite loop
|
|
|
|
if (self.check(.LeftBrace)) {
|
|
|
|
body = try self.parseStmtBlock();
|
|
|
|
} else {
|
|
|
|
expr = (try self.parseExpr()).Expr;
|
|
|
|
body = try self.parseStmtBlock();
|
|
|
|
}
|
|
|
|
|
|
|
|
return try Stmt.mkLoop(self.allocator, expr, body);
|
|
|
|
}
|
|
|
|
|
2019-08-26 02:16:13 +00:00
|
|
|
fn parseReturn(self: *@This()) !*Stmt {
|
|
|
|
const tok = try self.consumeSingle(.Return);
|
|
|
|
const expr = (try self.parseExpr()).Expr;
|
|
|
|
return try Stmt.mkReturn(self.allocator, tok, expr);
|
|
|
|
}
|
|
|
|
|
2019-08-24 19:00:22 +00:00
|
|
|
fn parsePrintln(self: *@This()) !*Stmt {
|
|
|
|
_ = try self.consumeSingle(.Println);
|
2019-08-24 19:56:58 +00:00
|
|
|
|
|
|
|
_ = try self.consumeSingle(.LeftParen);
|
2019-08-26 02:16:13 +00:00
|
|
|
var expr = (try self.parseExpr()).Expr;
|
2019-08-24 19:56:58 +00:00
|
|
|
_ = try self.consumeSingle(.RightParen);
|
|
|
|
|
2019-08-26 02:16:13 +00:00
|
|
|
return try Stmt.mkPrintln(self.allocator, expr);
|
2019-08-24 19:00:22 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn parseStmtExpr(self: *@This()) !*Stmt {
|
|
|
|
var expr = (try self.parseExpr()).Expr;
|
|
|
|
return try self.mkStmtExpr(expr);
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
2019-07-01 18:01:43 +00:00
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn parseExpr(self: *@This()) anyerror!*Node {
|
2019-08-25 13:27:50 +00:00
|
|
|
var expr: *Expr = try self.parseAssignment();
|
2019-08-24 01:13:26 +00:00
|
|
|
return self.mkExpr(expr);
|
|
|
|
}
|
|
|
|
|
2019-08-25 13:27:50 +00:00
|
|
|
fn parseAssignment(self: *@This()) anyerror!*Expr {
|
2019-08-25 14:38:55 +00:00
|
|
|
// there can be two types coming out of this function:
|
|
|
|
// - a mutable/immutable variable declaration with :=
|
|
|
|
// - an assignment to a variable with =
|
|
|
|
|
|
|
|
// one is a statement, other is an expression. since the normal result
|
|
|
|
// of this is an Expr, we wrap variable assignments in an Expr as well.
|
|
|
|
var mutable: bool = false;
|
|
|
|
|
|
|
|
std.debug.warn("start assignment pass with cur={}\n", self.peek());
|
|
|
|
|
|
|
|
if (self.check(.Mut)) {
|
|
|
|
_ = try self.consumeSingle(.Mut);
|
|
|
|
mutable = true;
|
|
|
|
}
|
|
|
|
|
2019-08-25 16:21:22 +00:00
|
|
|
var expr = try self.parseOr();
|
2019-08-25 14:38:55 +00:00
|
|
|
std.debug.warn("lvalue: {}, cur: {}\n", expr, self.peek());
|
2019-08-25 13:27:50 +00:00
|
|
|
|
2019-08-25 14:38:55 +00:00
|
|
|
var value: *Expr = undefined;
|
2019-08-25 13:27:50 +00:00
|
|
|
|
2019-08-25 14:38:55 +00:00
|
|
|
var op: Token = undefined;
|
|
|
|
|
|
|
|
if (self.check(.ColonEqual) or self.check(.Equal)) {
|
|
|
|
op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
|
|
|
value = try self.parseAssignment();
|
|
|
|
|
|
|
|
if (ast.ExprType(expr.*) != .Variable) {
|
|
|
|
self.doError("Invalid assignment target");
|
|
|
|
return Result.CompileError;
|
2019-08-25 13:27:50 +00:00
|
|
|
}
|
|
|
|
|
2019-08-25 14:38:55 +00:00
|
|
|
switch (op.ttype) {
|
|
|
|
.ColonEqual => return try self.mkVarDecl(expr.Variable, value, mutable),
|
|
|
|
.Equal => return try self.mkAssign(expr.Variable, value),
|
|
|
|
else => unreachable,
|
|
|
|
}
|
2019-08-25 13:27:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-25 16:21:22 +00:00
|
|
|
fn parseOr(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseAnd();
|
|
|
|
|
|
|
|
while (self.check(.Or)) {
|
|
|
|
var op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
|
|
|
|
|
|
|
var right = try self.parseAnd();
|
|
|
|
expr = try self.mkLogical(expr, op, right);
|
|
|
|
}
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseAnd(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseEquality();
|
|
|
|
|
|
|
|
while (self.check(.And)) {
|
|
|
|
var op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
|
|
|
|
|
|
|
var right = try self.parseEquality();
|
|
|
|
expr = try self.mkLogical(expr, op, right);
|
|
|
|
}
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn parseEquality(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseComparison();
|
|
|
|
|
2019-08-25 16:21:22 +00:00
|
|
|
while (self.check(.EqualEqual)) {
|
2019-08-24 01:13:26 +00:00
|
|
|
var op = self.peek();
|
2019-08-24 16:06:46 +00:00
|
|
|
_ = try self.nextToken();
|
2019-08-24 01:13:26 +00:00
|
|
|
|
2019-08-24 16:06:46 +00:00
|
|
|
var right = try self.parseComparison();
|
|
|
|
expr = try self.mkBinary(expr, op, right);
|
2019-08-23 14:57:49 +00:00
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseComparison(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseAddition();
|
|
|
|
|
|
|
|
while (self.compareAnyOf(&[_]TokenType{
|
|
|
|
.Greater,
|
|
|
|
.GreaterEqual,
|
|
|
|
.Less,
|
|
|
|
.LessEqual,
|
|
|
|
})) {
|
2019-08-24 16:06:46 +00:00
|
|
|
var op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
2019-08-24 01:13:26 +00:00
|
|
|
|
2019-08-24 16:06:46 +00:00
|
|
|
var right = try self.parseAddition();
|
|
|
|
expr = try self.mkBinary(expr, op, right);
|
2019-06-06 01:06:12 +00:00
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseAddition(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseMultiplication();
|
|
|
|
|
|
|
|
while (self.compareAnyOf(&[_]TokenType{
|
|
|
|
.Minus, .Plus,
|
|
|
|
})) {
|
2019-08-24 14:07:23 +00:00
|
|
|
var op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
var right = try self.parseMultiplication();
|
2019-08-24 14:07:23 +00:00
|
|
|
expr = try self.mkBinary(expr, op, right);
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseMultiplication(self: *@This()) !*Expr {
|
|
|
|
var expr = try self.parseUnary();
|
|
|
|
|
|
|
|
while (self.compareAnyOf(&[_]TokenType{
|
|
|
|
.Star, .Slash,
|
|
|
|
})) {
|
2019-08-24 16:06:46 +00:00
|
|
|
var op = self.peek();
|
|
|
|
_ = try self.nextToken();
|
2019-08-24 01:13:26 +00:00
|
|
|
var right = try self.parseUnary();
|
|
|
|
|
2019-08-24 16:06:46 +00:00
|
|
|
expr = try self.mkBinary(expr, op, right);
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseUnary(self: *@This()) anyerror!*Expr {
|
|
|
|
if (self.compareAnyOf(&[_]TokenType{ .Bang, .Minus })) {
|
|
|
|
var op = self.previous();
|
|
|
|
var right = try self.parseUnary();
|
|
|
|
|
|
|
|
return try self.mkUnary(op, right);
|
|
|
|
}
|
|
|
|
|
2019-08-26 01:41:25 +00:00
|
|
|
var expr = try self.parseCall();
|
|
|
|
return expr;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn parseCall(self: *@This()) !*Expr {
|
2019-08-26 01:55:53 +00:00
|
|
|
// we parse a primary expression instead of consuming a .Identifier
|
|
|
|
// since parseCall is connected to the rest of the parser. doing
|
|
|
|
// identifiers would break the rest of the rules that want primaries.
|
|
|
|
|
|
|
|
// nothing stops us from ensuring expr is a Variable though ;)
|
2019-08-24 14:07:23 +00:00
|
|
|
var expr = try self.parsePrimary();
|
2019-08-26 01:41:25 +00:00
|
|
|
|
|
|
|
while (true) {
|
2019-08-26 14:59:32 +00:00
|
|
|
std.debug.warn("maybe fncall / struct: {}\n", self.peek().ttype);
|
|
|
|
printer.printExpr(expr);
|
|
|
|
|
2019-08-26 01:41:25 +00:00
|
|
|
if (self.check(.LeftParen)) {
|
2019-08-26 01:55:53 +00:00
|
|
|
if (ast.ExprType(expr.*) != .Variable) {
|
2019-08-26 14:59:32 +00:00
|
|
|
self.doError("cannot call non-variable {}", ast.ExprType(expr.*));
|
2019-08-26 01:55:53 +00:00
|
|
|
return Result.CompileError;
|
|
|
|
}
|
|
|
|
|
2019-08-26 01:41:25 +00:00
|
|
|
_ = try self.consumeSingle(.LeftParen);
|
|
|
|
expr = try self.finishCall(expr);
|
2019-08-26 14:59:32 +00:00
|
|
|
} else if (self.check(.Dot)) {
|
|
|
|
_ = try self.consumeSingle(.Dot);
|
2019-08-26 16:15:08 +00:00
|
|
|
|
|
|
|
if (self.check(.LeftBrace)) {
|
|
|
|
_ = try self.consumeSingle(.LeftBrace);
|
|
|
|
expr = try self.finishStructVal(expr);
|
|
|
|
} else {
|
|
|
|
var name = try self.consume(.Identifier, "Expect property name after '.'");
|
|
|
|
expr = try self.mkGet(expr, name);
|
|
|
|
}
|
2019-08-26 01:41:25 +00:00
|
|
|
} else {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
return expr;
|
2019-08-24 01:13:26 +00:00
|
|
|
}
|
|
|
|
|
2019-08-26 01:41:25 +00:00
|
|
|
fn finishCall(self: *@This(), callee: *Expr) !*Expr {
|
|
|
|
var args = ast.ExprList.init(self.allocator);
|
|
|
|
errdefer args.deinit();
|
|
|
|
|
|
|
|
if (!self.check(.RightParen)) {
|
|
|
|
|
|
|
|
// emulating do-while really badly
|
|
|
|
var arg = (try self.parseExpr()).Expr;
|
|
|
|
try args.append(arg);
|
|
|
|
|
|
|
|
while (self.check(.Comma)) {
|
|
|
|
_ = try self.consumeSingle(.Comma);
|
|
|
|
|
|
|
|
arg = (try self.parseExpr()).Expr;
|
|
|
|
try args.append(arg);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-26 16:15:08 +00:00
|
|
|
// TODO shouldnt consume() return the current token, not nextToken?
|
2019-08-26 01:41:25 +00:00
|
|
|
var paren = try self.consume(.RightParen, "Expected ')' after arguments");
|
|
|
|
|
|
|
|
return self.mkCall(callee, paren, args);
|
|
|
|
}
|
|
|
|
|
2019-08-26 14:59:32 +00:00
|
|
|
fn finishStructVal(self: *@This(), expr: *Expr) !*Expr {
|
|
|
|
// <expr>{a: 10 b: 10}
|
|
|
|
// for this to work properly, <expr> must be Variable, since its a type.
|
|
|
|
if (ast.ExprType(expr.*) != .Variable) {
|
|
|
|
self.doError("Expected variable for struct type, got {}", ast.ExprType(expr.*));
|
|
|
|
return Result.CompileError;
|
|
|
|
}
|
|
|
|
|
|
|
|
var inits = ast.StructInitList.init(self.allocator);
|
|
|
|
errdefer inits.deinit();
|
|
|
|
|
|
|
|
while (!self.check(.RightBrace)) {
|
|
|
|
const field_name = try self.consumeSingle(.Identifier);
|
|
|
|
// TODO check .Comma for the quick initialization {val,val,val}
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.Colon);
|
|
|
|
const field_value = (try self.parseExpr()).Expr;
|
|
|
|
|
|
|
|
try inits.append(ast.StructInit{
|
|
|
|
.field = field_name,
|
|
|
|
.expr = field_value,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
_ = try self.consumeSingle(.RightBrace);
|
|
|
|
|
|
|
|
return try self.mkStructExpr(expr.Variable, inits);
|
|
|
|
}
|
|
|
|
|
2019-08-24 01:13:26 +00:00
|
|
|
fn parsePrimary(self: *@This()) !*Expr {
|
|
|
|
const curtype = self.peek().ttype;
|
|
|
|
const lexeme = self.peek().lexeme;
|
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
var expr = switch (curtype) {
|
|
|
|
.False => try self.mkBool(false),
|
|
|
|
.True => try self.mkBool(true),
|
2019-08-24 01:13:26 +00:00
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
.Integer => try self.mkInteger(lexeme),
|
|
|
|
.Float => try self.mkFloat(lexeme),
|
|
|
|
.String => try self.mkString(lexeme),
|
2019-08-24 20:22:08 +00:00
|
|
|
.Identifier => try self.mkVariable(self.peek()),
|
2019-08-24 01:13:26 +00:00
|
|
|
|
|
|
|
.LeftParen => blk: {
|
2019-08-24 14:07:23 +00:00
|
|
|
_ = try self.nextToken();
|
2019-08-24 01:13:26 +00:00
|
|
|
var expr = (try self.parseExpr()).Expr;
|
|
|
|
_ = try self.consume(.RightParen, "Expected ')' after expression");
|
2019-08-24 19:51:37 +00:00
|
|
|
|
|
|
|
// for groupings, we don't want to skip tokens as we already
|
|
|
|
// consumed RightParen.
|
|
|
|
return try self.mkGrouping(expr);
|
2019-08-24 01:13:26 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
else => blk: {
|
2019-08-24 20:46:42 +00:00
|
|
|
self.doError("expected literal, got {}", curtype);
|
2019-08-24 01:13:26 +00:00
|
|
|
return Result.CompileError;
|
|
|
|
},
|
|
|
|
};
|
|
|
|
|
2019-08-24 14:07:23 +00:00
|
|
|
_ = try self.nextToken();
|
|
|
|
|
|
|
|
return expr;
|
2019-06-05 01:11:11 +00:00
|
|
|
}
|
|
|
|
};
|