From 61d5bf3c8c12551318d1212cb5f0983879d177e4 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 10 Aug 2015 23:06:12 -0500
Subject: [PATCH] Intern identifiers coming out of UniqueNameGenerator
---
pytools/__init__.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/pytools/__init__.py b/pytools/__init__.py
index 82edc15..c611af1 100644
--- a/pytools/__init__.py
+++ b/pytools/__init__.py
@@ -32,6 +32,7 @@ import operator
import sys
from pytools.decorator import decorator
+from six.moves import intern
try:
decorator_module = __import__("decorator", level=0)
@@ -1763,6 +1764,8 @@ class UniqueNameGenerator:
if not self.is_name_conflicting(var_name):
break
+ var_name = intern(var_name)
+
self.existing_names.add(var_name)
return var_name
--
GitLab