Skip to content

Commit 9acbd75

Browse files
Follow up for adding module support and manually setting egg name for builtins
1 parent ed284e3 commit 9acbd75

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

python/egglog/egraph_state.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -457,8 +457,8 @@ def type_ref_to_egg(self, ref: JustTypeRef) -> str: # noqa: C901, PLR0912
457457
return self.type_ref_to_egg_sort[ref]
458458
except KeyError:
459459
pass
460-
self.type_ref_to_egg_sort[ref] = egg_name = decl.egg_name or _generate_type_egg_name(ref)
461460
decl = self.__egg_decls__._classes[ref.ident]
461+
self.type_ref_to_egg_sort[ref] = egg_name = (not ref.args and decl.egg_name) or _generate_type_egg_name(ref)
462462
self.egg_sort_to_type_ref[egg_name] = ref
463463
if not decl.builtin or ref.args:
464464
if ref.args:

0 commit comments

Comments
 (0)