Merge pull request #21 from leanprover/bump_to_v4.14.0-rc1

chore: adaptations for v4.14.0-rc1

Cli/Basic.lean

@@ -256,7 +256,7 @@ section Configuration
     parse? s := do
       if s == ".lean" then
         none
-      let name := 
+      let name :=
         if s.endsWith ".lean" then
           let pathComponents := (s : FilePath).withExtension "" |>.components
           pathComponents.foldl .mkStr .anonymous
@@ -360,7 +360,7 @@ section Configuration
     -/
     structure Flag where
       /-- Associated flag meta-data. -/
-      flag  : Flag
+      flag  : Cli.Flag
       /-- Parsed value that was validated and conforms to `flag.type`. -/
       value : String
       deriving Inhabited, BEq, Repr
@@ -393,7 +393,7 @@ section Configuration
     -/
     structure Arg where
       /-- Associated argument meta-data. -/
-      arg   : Arg
+      arg   : Cli.Arg
       /-- Parsed value that was validated and conforms to `arg.type`. -/
       value : String
       deriving Inhabited, BEq, Repr
@@ -1630,4 +1630,4 @@ section IO
   end Cmd
 end IO
 
-end Cli
+end Cli

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.9.0
+leanprover/lean4:v4.14.0-rc1