Teal: convert luarocks.cmd.test

1 files changed, 8 insertions, 3 deletions

diff --git a/src/luarocks/cmd/test.lua b/src/luarocks/cmd/test.tl
index b353bd80..b1189d47 100644
--- a/src/luarocks/cmd/test.lua
+++ b/src/luarocks/cmd/test.tl
@@ -1,12 +1,17 @@
 
 --- Module implementing the LuaRocks "test" command.
 -- Tests a rock, compiling its C parts if any.
-local cmd_test = {}
+local record cmd_test
+end
 
 local util = require("luarocks.util")
 local test = require("luarocks.test")
 
-function cmd_test.add_to_parser(parser)
+local type Parser = require("luarocks.vendor.argparse").Parser
+
+local type Args = require("luarocks.core.types.args").Args
+
+function cmd_test.add_to_parser(parser: Parser)
    local cmd = parser:command("test", [[
 Run the test suite for the Lua project in the current directory.
 
@@ -30,7 +35,7 @@ to separate LuaRocks arguments from test suite arguments.]],
       :argname("<type>")
 end
 
-function cmd_test.command(args)
+function cmd_test.command(args: Args): boolean, string, string --!
    if args.rockspec and args.rockspec:match("rockspec$") then
       return test.run_test_suite(args.rockspec, args.test_type, args.args, args.prepare)
    end