const compiler implementation

Author: NotLe0n

src/compiler/compiler.go

@@ -457,29 +457,6 @@ func (c *compiler) VisitBadDecl(d *ast.BadDecl) ast.VisitResult {
 }
 
 func (c *compiler) VisitConstDecl(d *ast.ConstDecl) ast.VisitResult {
-	// TODO
-	Typ := c.toIrType(d.Type) // get the llvm type
-	var varLocation value.Value
-	if c.scp.enclosing == nil { // global scope
-		// globals are first assigned in ddp_main or module_init
-		// so we assign them a default value here
-		globalDef := c.mod.NewGlobalDef(d.Name(), Typ.DefaultValue())
-		globalDef.Visibility = enum.VisibilityDefault
-		varLocation = globalDef
-	} else {
-		c.commentNode(c.cbb, d, d.Name())
-		varLocation = c.NewAlloca(Typ.IrType())
-	}
-
-	addInitializer := func() {
-		initVal, _, isTemp := c.evaluate(d.Val) // evaluate the initial value
-
-		c.claimOrCopy(varLocation, initVal, Typ, isTemp)
-	}
-	addInitializer()
-
-	c.scp.addVar(d.Name(), varLocation, Typ, false)
-
 	return ast.VisitRecurse
 }
 
@@ -682,6 +659,11 @@ func (c *compiler) VisitBadExpr(e *ast.BadExpr) ast.VisitResult {
 }
 
 func (c *compiler) VisitIdent(e *ast.Ident) ast.VisitResult {
+	if decl, isConst := e.Declaration.(*ast.ConstDecl); isConst {
+		c.evaluate(decl.Val)
+		return ast.VisitRecurse
+	}
+
 	Var := c.scp.lookupVar(e.Declaration.Name()) // get the alloca in the ir
 	c.commentNode(c.cbb, e, e.Literal.Literal)