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

feat: Some more progress logging

main
Henrik Böving 2021-12-15 12:02:05 +01:00
parent b019faf7ba
commit cb582aab57
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
DocGen4/Load.lean
View File

@ -45,6 +45,7 @@ def lakeSetupSearchPath (lakePath : System.FilePath) (imports : Array String) :
def load (imports : List Name) : IO AnalyzerResult := do def load (imports : List Name) : IO AnalyzerResult := do
let env ← importModules (List.map (Import.mk · false) imports) Options.empty let env ← importModules (List.map (Import.mk · false) imports) Options.empty
-- TODO parameterize maxHeartbeats -- TODO parameterize maxHeartbeats
IO.println "Processing modules"
let res ← Prod.fst <$> (Meta.MetaM.toIO process { maxHeartbeats := 100000000} { env := env} {} {}) let res ← Prod.fst <$> (Meta.MetaM.toIO process { maxHeartbeats := 100000000} { env := env} {} {})
return res return res

1
Main.lean
View File

@ -8,4 +8,5 @@ def main (args : List String) : IO Unit := do
let path ← lakeSetupSearchPath (←getLakePath) modules.toArray let path ← lakeSetupSearchPath (←getLakePath) modules.toArray
IO.println s!"Loading modules from: {path}" IO.println s!"Loading modules from: {path}"
let doc ← load $ modules.map Name.mkSimple let doc ← load $ modules.map Name.mkSimple
IO.println "Outputting HTML"
htmlOutput doc htmlOutput doc