From 8d92e6d865e2a03875c29d2e2aa131ce774a5d5d Mon Sep 17 00:00:00 2001 From: Daniel Mensinger Date: Sun, 29 Aug 2021 13:08:20 +0200 Subject: interpreter: Add IntegerHolder --- mesonbuild/interpreterbase/baseobjects.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'mesonbuild/interpreterbase/baseobjects.py') diff --git a/mesonbuild/interpreterbase/baseobjects.py b/mesonbuild/interpreterbase/baseobjects.py index b28654a86..4b538fbc2 100644 --- a/mesonbuild/interpreterbase/baseobjects.py +++ b/mesonbuild/interpreterbase/baseobjects.py @@ -111,6 +111,9 @@ class InterpreterObject: )) def op_equals(self, other: TYPE_var) -> bool: + # We use `type(...) == type(...)` here to enforce an *exact* match for comparison. We + # don't want comparisons to be possible where `isinstance(derived_obj, type(base_obj))` + # would pass because this comparison must never be true: `derived_obj == base_obj` if type(self) != type(other): self._throw_comp_exception(other, '==') return self == other @@ -148,6 +151,7 @@ class ObjectHolder(InterpreterObject, T.Generic[InterpreterObjectTypeVar]): # Override default comparison operators for the held object def op_equals(self, other: TYPE_var) -> bool: + # See the comment from InterpreterObject why we are using `type()` here. if type(self.held_object) != type(other): self._throw_comp_exception(other, '==') return self.held_object == other -- cgit v1.2.3