Commit 68b42e9e authored by Tom Niget's avatar Tom Niget

Allow name emission for all builtin types

parent 37afc9b4
......@@ -84,8 +84,12 @@ class NodeVisitor(UniversalVisitor):
yield ">"
elif isinstance(node, TypeVariable):
raise NotImplementedError(f"Not unified type variable {node}")
elif isinstance(node, TypeOperator) and len(node.args) == 0:
yield "typon::Py" + node.name.title()
elif isinstance(node, TypeOperator):
yield "Py" + node.name.title()
if node.args:
yield "<"
yield from join(", ", map(self.visit, node.args))
yield ">"
else:
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