Commit 2f4d12a9 authored by Tom Niget's avatar Tom Niget

Allow name emission for all builtin types

parent 6b60f92f
...@@ -84,8 +84,12 @@ class NodeVisitor(UniversalVisitor): ...@@ -84,8 +84,12 @@ class NodeVisitor(UniversalVisitor):
yield ">" yield ">"
elif isinstance(node, TypeVariable): elif isinstance(node, TypeVariable):
raise NotImplementedError(f"Not unified type variable {node}") raise NotImplementedError(f"Not unified type variable {node}")
elif isinstance(node, TypeOperator) and len(node.args) == 0: elif isinstance(node, TypeOperator):
yield "typon::Py" + node.name.title() yield "Py" + node.name.title()
if node.args:
yield "<"
yield from join(", ", map(self.visit, node.args))
yield ">"
else: else:
raise NotImplementedError(node) raise NotImplementedError(node)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment