We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 29674b3 commit c6a27f3Copy full SHA for c6a27f3
src/lake/Lake/CLI/Main.lean
@@ -119,7 +119,7 @@ def LakeOptions.mkLoadConfigCore
119
updateDeps := opts.updateDeps
120
updateToolchain := opts.updateToolchain
121
122
-def LakeOptions.mkLoadConfig' (opts : LakeOptions) : LogIO LoadConfig := do
+def LakeOptions.mkLoadConfig' (opts : LakeOptions) : LoggerIO LoadConfig := do
123
let some wsDir ← resolvePath? opts.rootDir
124
| error <| toString <| CliError.missingRootDir opts.rootDir
125
let lakeEnv ← MonadError.runEIO <| opts.computeEnv
0 commit comments