r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: remove pointless prints

main
Henrik 2023-09-09 23:59:25 +02:00
parent b0319462f1
commit 36e1b863a7
3 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
DocGen4/Load.lean
View File

@ -43,7 +43,6 @@ to process for documentation.
-/ -/
def load (task : Process.AnalyzeTask) : IO (Process.AnalyzerResult × Hierarchy) := do def load (task : Process.AnalyzeTask) : IO (Process.AnalyzerResult × Hierarchy) := do
let env ← envOfImports task.getLoad let env ← envOfImports task.getLoad
IO.println "Processing modules"
let config := { let config := {
-- TODO: parameterize maxHeartbeats -- TODO: parameterize maxHeartbeats
maxHeartbeats := 100000000, maxHeartbeats := 100000000,

1
DocGen4/Output.lean
View File

@ -109,7 +109,6 @@ def htmlOutputResults (baseConfig : SiteBaseContext) (result : AnalyzerResult) (
FS.writeFile filePath moduleHtml.toString FS.writeFile filePath moduleHtml.toString
if ink then if ink then
if let some inputPath ← Lean.SearchPath.findModuleWithExt sourceSearchPath "lean" module.name then if let some inputPath ← Lean.SearchPath.findModuleWithExt sourceSearchPath "lean" module.name then
IO.println s!"Inking: {modName.toString}"
-- path: 'basePath/src/module/components/till/last.html' -- path: 'basePath/src/module/components/till/last.html'
-- The last component is the file name, however we are in src/ here so dont drop it this time -- The last component is the file name, however we are in src/ here so dont drop it this time
let baseConfig := {baseConfig with depthToRoot := modName.components.length } let baseConfig := {baseConfig with depthToRoot := modName.components.length }

2
Main.lean
View File

@ -16,7 +16,6 @@ def runSingleCmd (p : Parsed) : IO UInt32 := do
match res with match res with
| Except.ok ws => | Except.ok ws =>
let (doc, hierarchy) ← load <| .loadAllLimitAnalysis relevantModules let (doc, hierarchy) ← load <| .loadAllLimitAnalysis relevantModules
IO.println "Outputting HTML"
let baseConfig ← getSimpleBaseContext hierarchy let baseConfig ← getSimpleBaseContext hierarchy
htmlOutputResults baseConfig doc ws (p.hasFlag "ink") htmlOutputResults baseConfig doc ws (p.hasFlag "ink")
return 0 return 0
@ -33,7 +32,6 @@ def runGenCoreCmd (_p : Parsed) : IO UInt32 := do
match res with match res with
| Except.ok ws => | Except.ok ws =>
let (doc, hierarchy) ← loadCore let (doc, hierarchy) ← loadCore
IO.println "Outputting HTML"
let baseConfig ← getSimpleBaseContext hierarchy let baseConfig ← getSimpleBaseContext hierarchy
htmlOutputResults baseConfig doc ws (ink := False) htmlOutputResults baseConfig doc ws (ink := False)
return 0 return 0