@@ -60,24 +60,24 @@ def eval_stmto(stmt, env, value, previous_args=None):
60
60
)
61
61
62
62
63
- def eval_expro (expr , env , value , previous_args = None ):
63
+ def eval_expro (expr , env , value ):
64
64
print ('Evaluating expr {} to {} with env {}' .format (expr , value , env ))
65
65
66
- op = var ('op' )
67
- v1 = var ('v1' )
68
- v2 = var ('v2' )
69
- e1 = var ('e1' )
70
- e2 = var ('e2' )
66
+ op = var ()
67
+ v1 = var ()
68
+ v2 = var ()
69
+ e1 = var ()
70
+ e2 = var ()
71
71
if isinstance (expr , ast .AST ):
72
72
print ('Found AST for expr -> {}' .format (ast .dump (expr )))
73
73
if isinstance (value , ast .AST ):
74
74
print ('Found AST for value -> {}' .format (ast .dump (value )))
75
75
return conde (
76
76
((eq , expr , ast .Num (n = value )),
77
- (membero , value , [ 0 , 1 , 2 ] )),
78
- ((eq , expr , ast .BinOp (left = e1 , op = op , right = e2 )), # Expressions
77
+ (membero , value , range ( 100 ) )),
78
+ ((eq , expr , ast .BinOp (left = e1 , op = op , right = e2 )),
79
79
(eq , op , ast .Add ()),
80
- (eval_expro , e1 , env , v1 , None ),
81
- (eval_expro , e2 , env , v2 , None ),
80
+ (eval_expro , e1 , env , v1 ),
81
+ (eval_expro , e2 , env , v2 ),
82
82
(add , v1 , v2 , value )),
83
83
)
0 commit comments