chore: address review comments

Author: tydeu

src/Lean/Shell.lean

@@ -1,13 +1,13 @@
 /-
 Copyright (c) 2025 Lean FRO. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: eonardo de Moura, Mac Malone
+Authors: Leonardo de Moura, Mac Malone
 -/
 prelude
 import Lean.Elab.Frontend
 import Lean.Compiler.IR.EmitC
 
-/-  Lean compaion to  `shell.cpp` -/
+/-  Lean companion to  `shell.cpp` -/
 
 open System
 
@@ -26,7 +26,7 @@ private opaque initLLVM : IO Unit
 
 /--
 Emits LLVM bitcode for the module.
-Before calling this function, the LLVM subsystem must first be successfuly initialized.
+Before calling this function, the LLVM subsystem must first be successfully initialized.
 -/
 @[extern "lean_emit_llvm"]
 private opaque emitLLVM (env : Environment) (modName : Name) (filepath : FilePath) : IO Unit

src/library/compiler/ir_interpreter.cpp

@@ -1053,15 +1053,15 @@ class interpreter {
     uint32 run_main(list_ref<string_ref> const & args) {
         decl d = get_decl("main");
         array_ref<param> const & params = decl_params(d);
-        buffer<object *> rargs;
+        buffer<object *> call_args;
         if (params.size() == 2) { // List String -> IO _
-            rargs.push_back(args.to_obj_arg());
+            call_args.push_back(args.to_obj_arg());
         } else { // IO _
             lean_assert(params.size() == 1);
         }
         object * w = io_mk_world();
-        rargs.push_back(w);
-        w = call_boxed("main", rargs.size(), &rargs[0]);
+        call_args.push_back(w);
+        w = call_boxed("main", call_args.size(), &call_args[0]);
         if (io_result_is_ok(w)) {
             int ret = 0;
             lean::expr ret_ty = m_env.get("main").get_type();

src/util/shell.cpp

@@ -356,7 +356,7 @@ uint32 run_shell_main(
     uint8_t json_output,
     array_ref<name> const & error_kinds,
     bool print_stats,
-     optional<std::string> const & setup_file_name,
+    optional<std::string> const & setup_file_name,
     bool run
 ) {
     list_ref<string_ref> args;