From 90c5cd7f960f3ccfd4bec191e6b71a4395800fc9 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Fri, 10 Jun 2022 15:44:08 -0400
Subject: [PATCH] chore: silence some "unused variable" warnings

---
 Lake/CLI/Main.lean        | 10 +++++-----
 Lake/Config/Manifest.lean |  2 +-
 Lake/Config/Resolve.lean  |  8 ++++----
 3 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/Lake/CLI/Main.lean b/Lake/CLI/Main.lean
index dbc4173..6b83e85 100644
--- 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
index 3fd331e..6da912a 100644
--- 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
index a5ac22f..591aa9b 100644
--- 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