From dd326350ffd50b976a632e8a26e8848556fa3416 Mon Sep 17 00:00:00 2001 From: Jakob Stoklund Olesen Date: Tue, 8 Nov 2016 15:26:30 -0800 Subject: [PATCH] Fix doc build. --- docs/cton_domain.py | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/docs/cton_domain.py b/docs/cton_domain.py index 47c7c2996c..2f56b5625e 100644 --- a/docs/cton_domain.py +++ b/docs/cton_domain.py @@ -305,11 +305,19 @@ class InstDocumenter(sphinx.ext.autodoc.Documenter): # Add inputs and outputs. for op in self.object.ins: + if op.is_value(): + typ = op.typevar + else: + typ = op.kind self.add_line(u':in {} {}: {}'.format( - op.typ.name, op.name, op.get_doc()), sourcename) + typ, op.name, op.get_doc()), sourcename) for op in self.object.outs: + if op.is_value(): + typ = op.typevar + else: + typ = op.kind self.add_line(u':out {} {}: {}'.format( - op.typ.name, op.name, op.get_doc()), sourcename) + typ, op.name, op.get_doc()), sourcename) # Document type inference for polymorphic instructions. if self.object.is_polymorphic: