def testeval1(self):
eq_(eval(eval_(quote(add(1, 1)))), (2))
def testeval4(self):
x = Const('x')
eq_(eval(let([(x, quote(add(1, 1)))], eval_(x))), 2)
def testeval0(self):
eq_(eval(eval_(quote(1))), (1))
def testeval2(self):
x = Const('x')
eq_(eval(let([(x, 1)], eval_(quote(x)))), 1)
def testeval3(self):
x = Const('x')
eq_(eval(let([(x, quote(1))], eval_(x))), 1)
def testeval1(self): eq_(eval(eval_(quote(add(1, 1)))), (2))
def testeval5(self):
eq_(eval(eval_(quote(begin(1, 2)))), 2)
eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
def testeval0(self): eq_(eval(eval_(quote(1))), (1))
def testeval4(self):
x = Const('x')
eq_(eval(let([(x, quote(add(1,1)))], eval_(x))), 2)
def testeval3(self):
x = Const('x')
eq_(eval(let([(x, quote(1))], eval_(x))), 1)
def testeval2(self):
x = Const('x')
eq_(eval(let([(x,1)], eval_(quote(x)))), 1)
def testeval5(self): eq_(eval(eval_(quote(begin(1, 2)))), 2) eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
