Teal: convert luarocks.fetch.git_file

1 files changed, 5 insertions, 2 deletions

diff --git a/src/luarocks/fetch/git_file.lua b/src/luarocks/fetch/git_file.tl
index 8d46bbca..90e14d12 100644
--- a/src/luarocks/fetch/git_file.lua
+++ b/src/luarocks/fetch/git_file.tl
@@ -1,9 +1,12 @@
 
 --- Fetch back-end for retrieving sources from local Git repositories.
-local git_file = {}
+local record git_file
+end
 
 local git = require("luarocks.fetch.git")
 
+local type Rockspec = require("luarocks.core.types.rockspec").Rockspec
+
 --- Fetch sources for building a rock from a local Git repository.
 -- @param rockspec table: The rockspec table
 -- @param extract boolean: Unused in this module (required for API purposes.)
@@ -11,7 +14,7 @@ local git = require("luarocks.fetch.git")
 -- @return (string, string) or (nil, string): The absolute pathname of
 -- the fetched source tarball and the temporary directory created to
 -- store it; or nil and an error message.
-function git_file.get_sources(rockspec, extract, dest_dir)
+function git_file.get_sources(rockspec: Rockspec, extract: boolean, dest_dir?: string): string, string
    rockspec.source.url = rockspec.source.url:gsub("^git.file://", "")
    return git.get_sources(rockspec, extract, dest_dir)
 end