@@ -60,24 +60,24 @@ def eval_stmto(stmt, env, value, previous_args=None):
6060 )
6161
6262
63- def eval_expro (expr , env , value , previous_args = None ):
63+ def eval_expro (expr , env , value ):
6464 print ('Evaluating expr {} to {} with env {}' .format (expr , value , env ))
6565
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 ()
7171 if isinstance (expr , ast .AST ):
7272 print ('Found AST for expr -> {}' .format (ast .dump (expr )))
7373 if isinstance (value , ast .AST ):
7474 print ('Found AST for value -> {}' .format (ast .dump (value )))
7575 return conde (
7676 ((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 )),
7979 (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 ),
8282 (add , v1 , v2 , value )),
8383 )
0 commit comments