From 821d57fd1c641959dbb01d8af47825c43933f0de Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Sat, 4 Dec 2021 23:40:59 +0100 Subject: [PATCH] feat: Also print parents in structures and classes --- DocGen4/Process.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/DocGen4/Process.lean b/DocGen4/Process.lean index 3189af3..fe6a6c0 100644 --- a/DocGen4/Process.lean +++ b/DocGen4/Process.lean @@ -223,11 +223,11 @@ def prettyPrint (i : DocInfo) : CoreM String := do | structureInfo i => let ctorString ← s!"{i.ctor.fst} : {←PrettyPrinter.formatTerm i.ctor.snd}" let fieldString ← i.fieldInfo.mapM (λ f => do s!"{f.fieldName} : {←PrettyPrinter.formatTerm f.type}") - s!"structure {i.name} : {←PrettyPrinter.formatTerm i.type}, ctor: {ctorString}, fields : {fieldString}, doc string: {i.doc}" + s!"structure {i.name} : {←PrettyPrinter.formatTerm i.type} extends {i.parents}, ctor: {ctorString}, fields : {fieldString}, doc string: {i.doc}" | classInfo i => let instanceString ← i.instances.mapM (λ i => do s!"{←PrettyPrinter.formatTerm i}") let fieldString ← i.fieldInfo.mapM (λ f => do s!"{f.fieldName} : {←PrettyPrinter.formatTerm f.type}") - s!"class {i.name} : {←PrettyPrinter.formatTerm i.type}, fields: {fieldString}, instances : {instanceString}, doc string: {i.doc}" + s!"class {i.name} : {←PrettyPrinter.formatTerm i.type} extends {i.parents}, fields: {fieldString}, instances : {instanceString}, doc string: {i.doc}" end DocInfo