analysis: check current_scope being null for VarDecl

This commit is contained in:
Luna 2019-10-12 13:56:39 -03:00
parent 192baf0725
commit c743c804be
2 changed files with 7 additions and 4 deletions

View file

@ -184,8 +184,9 @@ pub const Analyzer = struct {
}
}
// TODO make return type optional and so, skip exprs that
// fail to be fully resolved, instead of returning CompileError
// TODO make return type of resolveExprType optional and so,
// skip exprs that fail to be fully resolved, instead
// of returning CompileError
// TODO make the expr ptr a const since we want to implicit cast things
pub fn resolveExprType(
@ -387,7 +388,10 @@ pub const Analyzer = struct {
var var_type = try self.resolveExprType(ctx, vardecl.value);
// TODO check current_scope being null
if (ctx.current_scope == null) {
self.doError("Can't declare without a scope");
return CompileError.Invalid;
}
_ = try ctx.current_scope.?.env.put(name, var_type);
},

View file

@ -101,7 +101,6 @@ pub const Codegen = struct {
builder: var,
expr: *const ast.Expr,
) anyerror!llvm.LLVMValueRef {
// TODO Assign modifies the symbol table
return switch (expr.*) {
// TODO handle all literals, construct llvm values for them