Work around pylint regression. See pylint-dev/pylint#5499

whonore · Dec 10, 2021 · ddbe47a · ddbe47a
1 parent 8fe30d1
commit ddbe47a
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/python/xmlInterface.py b/python/xmlInterface.py
@@ -963,7 +963,7 @@ def _standardize_goal(self, res: Result) -> Result:
         if isinstance(res, Ok):
             opt_goals: XMLInterfaceBase.CoqOption = res.val
             if opt_goals is not None:
-                goals: XMLInterface84.CoqGoals = opt_goals.val
+                goals: "XMLInterface84.CoqGoals" = opt_goals.val
                 res.val = Goals(
                     [Goal(g.hyp, g.ccl) for g in goals.fg],
                     [
@@ -997,7 +997,7 @@ def _standardize_get_options(self, res: Result) -> Result:
         """
         # pylint: disable=no-self-use
         if isinstance(res, Ok):
-            raw_opts: List[Tuple[str, XMLInterface84.CoqOptionState]] = res.val
+            raw_opts: List[Tuple[str, "XMLInterface84.CoqOptionState"]] = res.val
             opts: List[Tuple[str, str, Any]] = [
                 (" ".join(name), state.name, state.value.val)
                 for name, state in raw_opts
@@ -1250,7 +1250,7 @@ def _standardize_init(self, res: Result) -> Result:
         """
         # pylint: disable=no-self-use
         if isinstance(res, Ok):
-            val: XMLInterface85.CoqStateId = res.val
+            val: "XMLInterface85.CoqStateId" = res.val
             res.val = val.id
         return res
 
@@ -1284,7 +1284,7 @@ def _standardize_add(self, res: Result) -> Result:
         """
         # pylint: disable=no-self-use
         if isinstance(res, Ok):
-            val: Tuple[XMLInterface85.CoqStateId, Tuple[Any, str]] = res.val
+            val: Tuple["XMLInterface85.CoqStateId", Tuple[Any, str]] = res.val
             res.val = {"res_msg": val[1][1], "state_id": val[0].id}
         return res
 
@@ -1352,7 +1352,7 @@ def _standardize_goal(self, res: Result) -> Result:
         if isinstance(res, Ok):
             opt_goals: XMLInterfaceBase.CoqOption = res.val
             if opt_goals is not None:
-                goals: XMLInterface85.CoqGoals = opt_goals.val
+                goals: "XMLInterface85.CoqGoals" = opt_goals.val
                 res.val = Goals(
                     [Goal(g.hyp, g.ccl) for g in goals.fg],
                     [
@@ -1386,7 +1386,7 @@ def _standardize_get_options(self, res: Result) -> Result:
         """
         # pylint: disable=no-self-use
         if isinstance(res, Ok):
-            raw_opts: List[Tuple[str, XMLInterface85.CoqOptionState]] = res.val
+            raw_opts: List[Tuple[str, "XMLInterface85.CoqOptionState"]] = res.val
             opts: List[Tuple[str, str, Any]] = [
                 (" ".join(name), state.name, state.value.val)
                 for name, state in raw_opts
@@ -1631,7 +1631,7 @@ def _standardize_get_options(self, res: Result) -> Result:
                                              descriptions, and current values
         """
         if isinstance(res, Ok):
-            raw_opts: List[Tuple[str, XMLInterface812.CoqOptionState]] = res.val
+            raw_opts: List[Tuple[str, "XMLInterface812.CoqOptionState"]] = res.val
             opts: List[Tuple[str, str, Any]] = [
                 (" ".join(name), " ".join(name), state.value.val)
                 for name, state in raw_opts