From 98302ea2593714d4867e7e82632df303fd65644b Mon Sep 17 00:00:00 2001
From: V1K1NGbg <victor@ilchev.com>
Date: Thu, 22 Aug 2024 17:49:02 -0300
Subject: Teal: convert luarocks.cmd.download

---
 src/luarocks/cmd/download.lua | 51 ------------------------------------
 src/luarocks/cmd/download.tl  | 61 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 61 insertions(+), 51 deletions(-)
 delete mode 100644 src/luarocks/cmd/download.lua
 create mode 100644 src/luarocks/cmd/download.tl

diff --git a/src/luarocks/cmd/download.lua b/src/luarocks/cmd/download.lua
deleted file mode 100644
index eae82439..00000000
--- a/src/luarocks/cmd/download.lua
+++ /dev/null
@@ -1,51 +0,0 @@
-
---- Module implementing the luarocks "download" command.
--- Download a rock from the repository.
-local cmd_download = {}
-
-local util = require("luarocks.util")
-local download = require("luarocks.download")
-
-function cmd_download.add_to_parser(parser)
-   local cmd = parser:command("download", "Download a specific rock file from a rocks server.", util.see_also())
-
-   cmd:argument("name", "Name of the rock.")
-      :args("?")
-      :action(util.namespaced_name_action)
-   cmd:argument("version", "Version of the rock.")
-      :args("?")
-
-   cmd:flag("--all", "Download all files if there are multiple matches.")
-   cmd:mutex(
-      cmd:flag("--source", "Download .src.rock if available."),
-      cmd:flag("--rockspec", "Download .rockspec if available."),
-      cmd:option("--arch", "Download rock for a specific architecture."))
-   cmd:flag("--check-lua-versions", "If the rock can't be found, check repository "..
-      "and report if it is available for another Lua version.")
-end
-
---- Driver function for the "download" command.
--- @return boolean or (nil, string): true if successful or nil followed
--- by an error message.
-function cmd_download.command(args)
-   if not args.name and not args.all then
-      return nil, "Argument missing. "..util.see_help("download")
-   end
-
-   args.name = args.name or ""
-
-   local arch
-
-   if args.source then
-      arch = "src"
-   elseif args.rockspec then
-      arch = "rockspec"
-   elseif args.arch then
-      arch = args.arch
-   end
-
-   local dl, err = download.download(arch, args.name, args.namespace, args.version, args.all, args.check_lua_versions)
-   return dl and true, err
-end
-
-return cmd_download
diff --git a/src/luarocks/cmd/download.tl b/src/luarocks/cmd/download.tl
new file mode 100644
index 00000000..3b85443b
--- /dev/null
+++ b/src/luarocks/cmd/download.tl
@@ -0,0 +1,61 @@
+
+--- Module implementing the luarocks "download" command.
+-- Download a rock from the repository.
+local record cmd_download
+end
+
+local util = require("luarocks.util")
+local download = require("luarocks.download")
+
+local type Parser = require("luarocks.vendor.argparse").Parser
+
+local type Args = require("luarocks.core.types.args").Args
+
+function cmd_download.add_to_parser(parser: Parser)
+   local cmd = parser:command("download", "Download a specific rock file from a rocks server.", util.see_also())
+
+   cmd:argument("name", "Name of the rock.")
+      :args("?")
+      :action(util.namespaced_name_action)
+   cmd:argument("version", "Version of the rock.")
+      :args("?")
+
+   cmd:flag("--all", "Download all files if there are multiple matches.")
+   cmd:mutex(
+      cmd:flag("--source", "Download .src.rock if available."),
+      cmd:flag("--rockspec", "Download .rockspec if available."),
+      cmd:option("--arch", "Download rock for a specific architecture."))
+   cmd:flag("--check-lua-versions", "If the rock can't be found, check repository "..
+      "and report if it is available for another Lua version.")
+end
+
+--- Driver function for the "download" command.
+-- @return boolean or (nil, string): true if successful or nil followed
+-- by an error message.
+function cmd_download.command(args: Args): boolean, string
+   if not args.name and not args.all then
+      return nil, "Argument missing. "..util.see_help("download")
+   end
+
+   args.name = args.name or ""
+
+   local arch: string
+
+   if args.source then
+      arch = "src"
+   elseif args.rockspec then
+      arch = "rockspec"
+   elseif args.arch then
+      arch = args.arch
+   end
+
+   if args.all then
+      local ok, err = download.download_all(arch, args.name, args.namespace, args.version)
+      return ok, err
+   else
+      local dl, err = download.download_file(arch, args.name, args.namespace, args.version, args.check_lua_versions)
+      return dl and true, err
+   end
+end
+
+return cmd_download
-- 
cgit v1.2.3-55-g6feb