Teal: convert luarocks.cmd.which

1 files changed, 8 insertions, 3 deletions

diff --git a/src/luarocks/cmd/which.lua b/src/luarocks/cmd/which.tl
index f50a43c3..85a798ac 100644
--- a/src/luarocks/cmd/which.lua
+++ b/src/luarocks/cmd/which.tl
@@ -1,13 +1,18 @@
 
 --- @module luarocks.which_cmd
 -- Driver for the `luarocks which` command.
-local which_cmd = {}
+local record which_cmd
+end
 
 local loader = require("luarocks.loader")
 local cfg = require("luarocks.core.cfg")
 local util = require("luarocks.util")
 
-function which_cmd.add_to_parser(parser)
+local type Parser = require("luarocks.vendor.argparse").Parser
+
+local type Args = require("luarocks.core.types.args").Args
+
+function which_cmd.add_to_parser(parser: Parser)
    local cmd = parser:command("which", 'Given a module name like "foo.bar", '..
       "output which file would be loaded to resolve that module by "..
       'luarocks.loader, like "/usr/local/lua/'..cfg.lua_version..'/foo/bar.lua".',
@@ -19,7 +24,7 @@ end
 
 --- Driver function for "which" command.
 -- @return boolean This function terminates the interpreter.
-function which_cmd.command(args)
+function which_cmd.command(args: Args): boolean, string
    local pathname, rock_name, rock_version, where = loader.which(args.modname, "lp")
 
    if pathname then