1. Carl Friedrich Bolz
  2. Pyrolog

Commits

Carl Friedrich Bolz  committed 40026c8

make it possible again to use tagging

  • Participants
  • Parent commits 2f4518a
  • Branches default

Comments (0)

Files changed (1)

File prolog/interpreter/term.py

View file
 class Numeric(NonVar):
     __slots__ = ()
 
-class Number(Numeric): #, UnboxedValue):
+class Number(Numeric, UnboxedValue):
     TYPE_STANDARD_ORDER = 3
     __slots__ = ("num", )
     _immutable_fields_ = ["num"]
-    
-    def __init__(self, num):
-        assert isinstance(num, int)
-        self.num = num
-    
+
     @specialize.arg(3)
     def basic_unify(self, other, heap, occurs_check=False):
         if isinstance(other, Number) and other.num == self.num: