Example #1
0
 def testeval1(self):
     eq_(eval(eval_(quote(add(1, 1)))), (2))
Example #2
0
 def testeval4(self):
     x = Const('x')
     eq_(eval(let([(x, quote(add(1, 1)))], eval_(x))), 2)
Example #3
0
 def testeval0(self):
     eq_(eval(eval_(quote(1))), (1))
Example #4
0
 def testeval2(self):
     x = Const('x')
     eq_(eval(let([(x, 1)], eval_(quote(x)))), 1)
Example #5
0
 def testeval3(self):
     x = Const('x')
     eq_(eval(let([(x, quote(1))], eval_(x))), 1)
Example #6
0
 def testeval1(self):
   eq_(eval(eval_(quote(add(1, 1)))), (2))
Example #7
0
 def testeval5(self):
     eq_(eval(eval_(quote(begin(1, 2)))), 2)
     eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
Example #8
0
 def testeval0(self):
   eq_(eval(eval_(quote(1))), (1))
Example #9
0
 def testeval4(self):
   x = Const('x')
   eq_(eval(let([(x, quote(add(1,1)))], eval_(x))), 2)
Example #10
0
 def testeval3(self):
   x = Const('x')
   eq_(eval(let([(x, quote(1))], eval_(x))), 1)
Example #11
0
 def testeval2(self):
   x = Const('x')
   eq_(eval(let([(x,1)], eval_(quote(x)))), 1)
Example #12
0
 def testeval5(self):
   eq_(eval(eval_(quote(begin(1, 2)))), 2)
   eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)