chore: silence some "unused variable" warnings

leanprover · Jun 10, 2022 · 90c5cd7 · 90c5cd7
1 parent 4eeaf3b
commit 90c5cd7
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/Lake/CLI/Main.lean b/Lake/CLI/Main.lean
@@ -243,11 +243,11 @@ def script : (cmd : String) → CliM PUnit
   let config ← mkLakeConfig (← getThe LakeOptions)
   noArgsRem do
     let ws ← loadWorkspace config
-    ws.packageMap.forM fun name pkg => do
-    let pkgName := pkg.name.toString (escape := false)
-    pkg.scripts.forM fun name script =>
-      let scriptName := name.toString (escape := false)
-      IO.println s!"{pkgName}/{scriptName}"
+    ws.packageMap.forM fun _ pkg => do
+      let pkgName := pkg.name.toString (escape := false)
+      pkg.scripts.forM fun name _ =>
+        let scriptName := name.toString (escape := false)
+        IO.println s!"{pkgName}/{scriptName}"
 | "run" => do
   processOptions lakeOption
   let spec ← takeArg "script spec"; let args ← takeArgs

diff --git a/Lake/Config/Manifest.lean b/Lake/Config/Manifest.lean
@@ -28,5 +28,5 @@ def toMap (self : Manifest) : NameMap PackageEntry :=
   self.packages.foldl (fun map entry => map.insert entry.name entry) {}
 
 def fromMap (map : NameMap PackageEntry) : Manifest := {
-  packages := map.fold (fun a k v => a.push v) #[]
+  packages := map.fold (fun a _ v => a.push v) #[]
 }
diff --git a/Lake/Config/Resolve.lean b/Lake/Config/Resolve.lean
@@ -19,7 +19,7 @@ open Git
 
 /-- Update the Git package in `dir` if necessary. -/
 def updateGitPkg (name : String)
-(dir : FilePath) (url rev : String) : (LogT IO) PUnit := do
+(dir : FilePath) (rev : String) : (LogT IO) PUnit := do
   if (← headRevision dir) == rev then return
   logInfo s!"{name}: updating {dir} to revision {rev}"
   unless ← revisionExists rev dir do fetch dir
@@ -49,10 +49,10 @@ def materializeGitPkg (name : String)
       if url = entry.url then
         if shouldUpdate then
           let rev ← parseOriginRevision rev dir
-          updateGitPkg name dir url rev
+          updateGitPkg name dir rev
           modify (·.insert name {entry with rev})
         else
-          updateGitPkg name dir url entry.rev
+          updateGitPkg name dir entry.rev
       else if shouldUpdate then
         logInfo s!"{name}: URL changed, deleting {dir} and cloning again"
         IO.FS.removeDirAll dir
@@ -71,7 +71,7 @@ def materializeGitPkg (name : String)
       let rev ← parseOriginRevision rev dir
       modify (·.insert name {name, url, rev})
       if (← headRevision dir) == rev then return
-      updateGitPkg name dir url rev
+      updateGitPkg name dir rev
     else
       cloneGitPkg name dir url rev
       let rev ← parseOriginRevision rev dir