Esempio n. 1
0
 def test_quote2(self):
     x = LogicVar('x')
     eq_(eval(quote(x)), LogicVar('x'))
Esempio n. 2
0
 def test_quote(self):
   result = compile(quote(1))
   expect = "ExpressionWithCode((1), (lambda : 1))"
   eq_(result, expect)
Esempio n. 3
0
 def test_quote(self):
     lo_x = LogicVar('x')
     eq_(eval(quote(lo_x)), LogicVar('x'))
Esempio n. 4
0
 def test_quote(self):
   result = cps(quote(1))
   expect = done()(1)
   eq_(result, expect)
Esempio n. 5
0
 def testcall(self):
   eq_(eval(call(unify(x, 1))), True)
   eq_(eval(is_(x, quote(prin(1)))&call(x)), None)
Esempio n. 6
0
 def testeval3(self):
     x = Const('x')
     eq_(eval(let([(x, quote(1))], eval_(x))), 1)
Esempio n. 7
0
 def testeval0(self):
     eq_(eval(eval_(quote(1))), (1))
Esempio n. 8
0
 def test_quote2(self):
   x = LogicVar('x')
   eq_(eval(quote(x)), LogicVar('x'))
Esempio n. 9
0
 def testeval5(self):
   eq_(eval(eval_(quote(begin(1, 2)))), 2)
   eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
Esempio n. 10
0
 def test_quote(self):
     result = compile_optimize(quote(1))
     expect = il.ExpressionWithCode(il.Integer(1),
                                    il.Lamda((), il.Integer(1)))
     eq_(result, expect)
Esempio n. 11
0
 def test_quote(self):
   lo_x = LogicVar('x')
   eq_(eval(quote(lo_x)), LogicVar('x'))
Esempio n. 12
0
 def test_unquote_slice(self):
     eq_(eval(qq(add(uqs(quote((3, 4)))))), add(3, 4))
Esempio n. 13
0
 def testcall(self):
     eq_(eval(call(unify(x, 1))), True)
     eq_(eval(is_(x, quote(prin(1))) & call(x)), None)
Esempio n. 14
0
 def test_quote(self):
   result = compile_optimize(quote(1))
   expect = il.ExpressionWithCode(il.Integer(1), il.Lamda((), il.Integer(1)))
   eq_(result, expect)
Esempio n. 15
0
 def testeval5(self):
     eq_(eval(eval_(quote(begin(1, 2)))), 2)
     eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
Esempio n. 16
0
 def testeval2(self):
   x = Const('x')
   eq_(eval(let([(x,1)], eval_(quote(x)))), 1)
Esempio n. 17
0
 def testeval2(self):
     x = Const('x')
     eq_(eval(let([(x, 1)], eval_(quote(x)))), 1)
Esempio n. 18
0
 def testeval3(self):
   x = Const('x')
   eq_(eval(let([(x, quote(1))], eval_(x))), 1)
Esempio n. 19
0
 def testeval4(self):
     x = Const('x')
     eq_(eval(let([(x, quote(add(1, 1)))], eval_(x))), 2)
Esempio n. 20
0
 def testeval4(self):
   x = Const('x')
   eq_(eval(let([(x, quote(add(1,1)))], eval_(x))), 2)
Esempio n. 21
0
 def testeval1(self):
     eq_(eval(eval_(quote(add(1, 1)))), (2))
Esempio n. 22
0
 def testeval0(self):
   eq_(eval(eval_(quote(1))), (1))
Esempio n. 23
0
 def test_quote(self):
     result = cps(quote(1))
     expect = done()(1)
     eq_(result, expect)
Esempio n. 24
0
 def testeval1(self):
   eq_(eval(eval_(quote(add(1, 1)))), (2))
Esempio n. 25
0
 def test_unquote_slice(self):
   eq_(eval(qq(add(uqs(quote((3,4)))))), add(3, 4))
Esempio n. 26
0
 def test_quote(self):
     result = compile(quote(1))
     expect = "ExpressionWithCode((1), (lambda : 1))"
     eq_(result, expect)