feat: show the type of exists and fun arguments

leanprover · Nov 24, 2023 · afb7ff4 · afb7ff4
1 parent e966ab8
commit afb7ff4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean
@@ -29,7 +29,10 @@ def load (task : Process.AnalyzeTask) : IO (Process.AnalyzerResult × Hierarchy)
   let config := {
     -- TODO: parameterize maxHeartbeats
     maxHeartbeats := 100000000,
-    options := ⟨[(`pp.tagAppFns, true)]⟩,
+    options := ⟨[
+      (`pp.tagAppFns, true),
+      (`pp.funBinderTypes, true)
+    ]⟩,
     -- TODO: Figure out whether this could cause some bugs
     fileName := default,
     fileMap := default,