chore: fix tests

Author: tydeu

src/lake/Lake/Util/Version.lean

@@ -526,13 +526,13 @@ where
           go true ors ands
       else if c == '|' then
         let p' := p.next h; set p'
-        if h : p.IsAtEnd then
+        if h : p'.IsAtEnd then
           throw "expected '|' after first '|'"
-        else if p.get h = '|' then
+        else if p'.get h = '|' then
           if ands.size = 0 then
             throw "expected version range"
           else
-            set (p.next h)
+            set (p'.next h)
             go true (ors.push ands) #[]
         else
           throw "expected '|' after first '|'"

tests/lake/tests/api/vers.lean

@@ -14,11 +14,11 @@ def checkParse (ver expected : String) : IO Unit :=  do
 
 def checkMatch (range : String) (accepts rejects : Array String) : IO Unit :=  do
   let range ← IO.ofExcept <| VerRange.parse range
-  accepts.forM fun s => do
+  for s in accepts do
     let ver ← IO.ofExcept <| StdVer.parse s
     unless range.test ver do
       throw <| IO.userError s!"invalid reject: expected\n  '{range}'\nto accept\n  '{s}'"
-  rejects.forM fun s => do
+  for s in rejects do
     let ver ← IO.ofExcept <| StdVer.parse s
     if range.test ver then
       throw <| IO.userError s!"invalid accept: expected\n  '{range}'\nto reject\n  '{s}'"

tests/lake/tests/logLevel/lakefile.lean

@@ -7,7 +7,7 @@ package test
 Test logging in Lake CLI
 -/
 
-def cfgLogLv? := (get_config? log).bind LogLevel.ofString?
+def cfgLogLv? := (get_config? log).bind (LogLevel.ofString? ·)
 
 meta if cfgLogLv?.isSome then
   run_cmd Lean.log "bar" cfgLogLv?.get!.toMessageSeverity