Teal: convert luarocks.dir

1 files changed, 11 insertions, 9 deletions

diff --git a/src/luarocks/dir.lua b/src/luarocks/dir.tl
index be89e37b..e9e16fbd 100644
--- a/src/luarocks/dir.lua
+++ b/src/luarocks/dir.tl
@@ -1,6 +1,10 @@
 
 --- Generic utilities for handling pathnames.
-local dir = {}
+local record dir
+   path: function(...: string): string
+   split_url: function(string): string, string
+   normalize: function(string): string
+end
 
 local core = require("luarocks.core.dir")
 
@@ -14,10 +18,9 @@ local dir_sep = package.config:sub(1, 1)
 -- @param pathname string: A path+name, such as "/a/b/c"
 -- or "\a\b\c".
 -- @return string: The filename without its path, such as "c".
-function dir.base_name(pathname)
-   assert(type(pathname) == "string")
+function dir.base_name(pathname: string): string
 
-   local b
+   local b: string
    b = pathname:gsub("[/\\]", "/") -- canonicalize to forward slashes
    b = b:gsub("/*$", "")           -- drop trailing slashes
    b = b:match(".*[/\\]([^/\\]*)") -- match last component
@@ -31,10 +34,9 @@ end
 -- @return string: The filename without its path, such as "/a/b".
 -- For entries such as "/a/b/", "/a" is returned. If there are
 -- no directory separators in input, "" is returned.
-function dir.dir_name(pathname)
-   assert(type(pathname) == "string")
+function dir.dir_name(pathname: string): string
 
-   local d
+   local d: string
    d = pathname:gsub("[/\\]", "/") -- canonicalize to forward slashes
    d = d:gsub("/*$", "")           -- drop trailing slashes
    d = d:match("(.*)[/]+[^/]*")    -- match all components but the last
@@ -46,11 +48,11 @@ end
 
 --- Returns true if protocol does not require additional tools.
 -- @param protocol The protocol name
-function dir.is_basic_protocol(protocol)
+function dir.is_basic_protocol(protocol: string): boolean
    return protocol == "http" or protocol == "https" or protocol == "ftp" or protocol == "file"
 end
 
-function dir.deduce_base_dir(url)
+function dir.deduce_base_dir(url: string): string
    -- for extensions like foo.tar.gz, "gz" is stripped first
    local known_exts = {}
    for _, ext in ipairs{"zip", "git", "tgz", "tar", "gz", "bz2"} do