[pypy-svn] r44134 - pypy/branch/prolog-bytecode/pypy/lang/prolog/interpreter

[cfbolz at codespeak.net]

Author: cfbolz
Date: Mon Jun 11 13:33:07 2007
New Revision: 44134

Modified:
   pypy/branch/prolog-bytecode/pypy/lang/prolog/interpreter/interpreter.py
Log:
promote a bit differently


Modified: pypy/branch/prolog-bytecode/pypy/lang/prolog/interpreter/interpreter.py
==============================================================================
--- pypy/branch/prolog-bytecode/pypy/lang/prolog/interpreter/interpreter.py	(original)
+++ pypy/branch/prolog-bytecode/pypy/lang/prolog/interpreter/interpreter.py	Mon Jun 11 13:33:07 2007
@@ -74,7 +74,9 @@
             startfrom = hint(len(stack) - m, promote=True)
             while i < m:
                 hint(i, concrete=True)
-                result[i].unify(stack[startfrom + i], self.heap)
+                arg = stack[startfrom + i]
+                hint(arg.__class__, promote=True)
+                result[i].unify(arg, self.heap)
                 i += 1
         self.result = None
 
@@ -249,9 +251,8 @@
 
     def ACTIVATE_LOCAL(self, stack, number):
         var = self.localvarcache[number]
-        assert var.__class__ == LocalVar
+        assert type(var) is LocalVar
         self.localvarcache[number] = result = var.dereference(self.heap)
-        hint(result.__class__, promote=True)
         var.active = True
 
     def MAKETERM(self, stack, number):