|
|
@@ -12,14 +12,14 @@ var (
|
|
|
FALSE = &object.Boolean{Value: false}
|
|
|
)
|
|
|
|
|
|
-func Eval(node ast.Node) object.Object {
|
|
|
+func Eval(node ast.Node, env *object.Environment) object.Object {
|
|
|
switch node := node.(type) {
|
|
|
// Statements
|
|
|
case *ast.Program:
|
|
|
- return evalProgram(node)
|
|
|
+ return evalProgram(node, env)
|
|
|
|
|
|
case *ast.ExpressionStatement:
|
|
|
- return Eval(node.Expression)
|
|
|
+ return Eval(node.Expression, env)
|
|
|
|
|
|
// Expression
|
|
|
case *ast.IntegerLiteral:
|
|
|
@@ -27,33 +27,37 @@ func Eval(node ast.Node) object.Object {
|
|
|
case *ast.Boolean:
|
|
|
return nativeBooleanObject(node.Value)
|
|
|
case *ast.PrefixExpression:
|
|
|
- right := Eval(node.Right)
|
|
|
+ right := Eval(node.Right, env)
|
|
|
if isError(right) {
|
|
|
return right
|
|
|
}
|
|
|
return evalPrefixExpression(node.Operator, right)
|
|
|
case *ast.InfixExpression:
|
|
|
- left := Eval(node.Left)
|
|
|
+ left := Eval(node.Left, env)
|
|
|
if isError(left) {
|
|
|
return left
|
|
|
}
|
|
|
- right := Eval(node.Right)
|
|
|
+ right := Eval(node.Right, env)
|
|
|
if isError(right) {
|
|
|
return right
|
|
|
}
|
|
|
return evalInfixExpression(node.Operator, left, right)
|
|
|
-
|
|
|
case *ast.BlockStatement:
|
|
|
- return evalBlockStatements(node)
|
|
|
+ return evalBlockStatements(node, env)
|
|
|
case *ast.IfExpression:
|
|
|
- return evalIfExpression(node)
|
|
|
-
|
|
|
+ return evalIfExpression(node, env)
|
|
|
case *ast.ReturnStatement:
|
|
|
- val := Eval(node.ReturnValue)
|
|
|
+ val := Eval(node.ReturnValue, env)
|
|
|
if isError(val) {
|
|
|
return val
|
|
|
}
|
|
|
return &object.ReturnValue{Value: val}
|
|
|
+ case *ast.LetStatement:
|
|
|
+ val := Eval(node.Value, env)
|
|
|
+ if isError(val) {
|
|
|
+ return val
|
|
|
+ }
|
|
|
+ // Huh? Now what?
|
|
|
}
|
|
|
|
|
|
return nil
|
|
|
@@ -62,11 +66,11 @@ func Eval(node ast.Node) object.Object {
|
|
|
func newError(format string, a ...interface{}) *object.Error {
|
|
|
return &object.Error{Msg: fmt.Sprintf(format, a...)}
|
|
|
}
|
|
|
-func evalProgram(node *ast.Program) object.Object {
|
|
|
+func evalProgram(node *ast.Program, env *object.Environment) object.Object {
|
|
|
var result object.Object
|
|
|
|
|
|
for _, stmt := range node.Statements {
|
|
|
- result = Eval(stmt)
|
|
|
+ result = Eval(stmt, env)
|
|
|
// skip return 后面的语句
|
|
|
switch result := result.(type) {
|
|
|
case *object.ReturnValue:
|
|
|
@@ -111,24 +115,24 @@ func evalInfixExpression(operator string, left object.Object, right object.Objec
|
|
|
return newError("unknown operator: %s %s %s", left.Type(), operator, right.Type())
|
|
|
}
|
|
|
}
|
|
|
-func evalIfExpression(node *ast.IfExpression) object.Object {
|
|
|
- condition := Eval(node.Condition)
|
|
|
+func evalIfExpression(node *ast.IfExpression, env *object.Environment) object.Object {
|
|
|
+ condition := Eval(node.Condition, env)
|
|
|
if isError(condition) {
|
|
|
return condition
|
|
|
}
|
|
|
if isTruthy(condition) {
|
|
|
- return Eval(node.Consequence)
|
|
|
+ return Eval(node.Consequence, env)
|
|
|
} else if node.Alternative != nil {
|
|
|
- return Eval(node.Alternative)
|
|
|
+ return Eval(node.Alternative, env)
|
|
|
} else {
|
|
|
return NULL
|
|
|
}
|
|
|
}
|
|
|
-func evalBlockStatements(block *ast.BlockStatement) object.Object {
|
|
|
+func evalBlockStatements(block *ast.BlockStatement, env *object.Environment) object.Object {
|
|
|
var result object.Object
|
|
|
|
|
|
for _, stmt := range block.Statements {
|
|
|
- result = Eval(stmt)
|
|
|
+ result = Eval(stmt, env)
|
|
|
|
|
|
if result != nil {
|
|
|
rt := result.Type()
|