コード例 #1
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def test_quote2(self):
     x = LogicVar('x')
     eq_(eval(quote(x)), LogicVar('x'))
コード例 #2
0
ファイル: testgencode.py プロジェクト: chaosim/dao 
 def test_quote(self):
   result = compile(quote(1))
   expect = "ExpressionWithCode((1), (lambda : 1))"
   eq_(result, expect)
コード例 #3
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def test_quote(self):
     lo_x = LogicVar('x')
     eq_(eval(quote(lo_x)), LogicVar('x'))
コード例 #4
0
ファイル: testcpsconvert.py プロジェクト: chaosim/dao 
 def test_quote(self):
   result = cps(quote(1))
   expect = done()(1)
   eq_(result, expect)
コード例 #5
0
ファイル: testbuiltin.py プロジェクト: chaosim/dao 
 def testcall(self):
   eq_(eval(call(unify(x, 1))), True)
   eq_(eval(is_(x, quote(prin(1)))&call(x)), None)
コード例 #6
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval3(self):
     x = Const('x')
     eq_(eval(let([(x, quote(1))], eval_(x))), 1)
コード例 #7
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval0(self):
     eq_(eval(eval_(quote(1))), (1))
コード例 #8
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def test_quote2(self):
   x = LogicVar('x')
   eq_(eval(quote(x)), LogicVar('x'))
コード例 #9
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval5(self):
   eq_(eval(eval_(quote(begin(1, 2)))), 2)
   eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
コード例 #10
0
ファイル: testoptimize.py プロジェクト: hermetique/dao 
 def test_quote(self):
     result = compile_optimize(quote(1))
     expect = il.ExpressionWithCode(il.Integer(1),
                                    il.Lamda((), il.Integer(1)))
     eq_(result, expect)
コード例 #11
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def test_quote(self):
   lo_x = LogicVar('x')
   eq_(eval(quote(lo_x)), LogicVar('x'))
コード例 #12
0
 def test_unquote_slice(self):
     eq_(eval(qq(add(uqs(quote((3, 4)))))), add(3, 4))
コード例 #13
0
 def testcall(self):
     eq_(eval(call(unify(x, 1))), True)
     eq_(eval(is_(x, quote(prin(1))) & call(x)), None)
コード例 #14
0
ファイル: testoptimize.py プロジェクト: chaosim/dao 
 def test_quote(self):
   result = compile_optimize(quote(1))
   expect = il.ExpressionWithCode(il.Integer(1), il.Lamda((), il.Integer(1)))
   eq_(result, expect)
コード例 #15
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval5(self):
     eq_(eval(eval_(quote(begin(1, 2)))), 2)
     eq_(eval(eval_(quote(begin(1, add(1, 2))))), 3)
コード例 #16
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval2(self):
   x = Const('x')
   eq_(eval(let([(x,1)], eval_(quote(x)))), 1)
コード例 #17
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval2(self):
     x = Const('x')
     eq_(eval(let([(x, 1)], eval_(quote(x)))), 1)
コード例 #18
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval3(self):
   x = Const('x')
   eq_(eval(let([(x, quote(1))], eval_(x))), 1)
コード例 #19
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval4(self):
     x = Const('x')
     eq_(eval(let([(x, quote(add(1, 1)))], eval_(x))), 2)
コード例 #20
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval4(self):
   x = Const('x')
   eq_(eval(let([(x, quote(add(1,1)))], eval_(x))), 2)
コード例 #21
0
ファイル: testeval.py プロジェクト: hermetique/dao 
 def testeval1(self):
     eq_(eval(eval_(quote(add(1, 1)))), (2))
コード例 #22
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval0(self):
   eq_(eval(eval_(quote(1))), (1))
コード例 #23
0
ファイル: testcpsconvert.py プロジェクト: hermetique/dao 
 def test_quote(self):
     result = cps(quote(1))
     expect = done()(1)
     eq_(result, expect)
コード例 #24
0
ファイル: testeval.py プロジェクト: chaosim/dao 
 def testeval1(self):
   eq_(eval(eval_(quote(add(1, 1)))), (2))
コード例 #25
0
ファイル: testbuiltin.py プロジェクト: chaosim/dao 
 def test_unquote_slice(self):
   eq_(eval(qq(add(uqs(quote((3,4)))))), add(3, 4))
コード例 #26
0
ファイル: testgencode.py プロジェクト: hermetique/dao 
 def test_quote(self):
     result = compile(quote(1))
     expect = "ExpressionWithCode((1), (lambda : 1))"
     eq_(result, expect)