From b1c4b476795916db41cd99b4301c0e3c633bc25e Mon Sep 17 00:00:00 2001
From: Hisham Muhammad <hisham@gobolinux.org>
Date: Thu, 22 Aug 2024 17:48:58 -0300
Subject: Teal: rename luarocks.type.manifest

---
 src/luarocks/type/manifest.lua | 80 ------------------------------------------
 src/luarocks/type/manifest.tl  | 80 ++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 80 insertions(+), 80 deletions(-)
 delete mode 100644 src/luarocks/type/manifest.lua
 create mode 100644 src/luarocks/type/manifest.tl

diff --git a/src/luarocks/type/manifest.lua b/src/luarocks/type/manifest.lua
deleted file mode 100644
index 043366ea..00000000
--- a/src/luarocks/type/manifest.lua
+++ /dev/null
@@ -1,80 +0,0 @@
-local type_manifest = {}
-
-local type_check = require("luarocks.type_check")
-
-local manifest_formats = type_check.declare_schemas({
-   ["3.0"] = {
-      repository = {
-         _mandatory = true,
-         -- packages
-         _any = {
-            -- versions
-            _any = {
-               -- items
-               _any = {
-                  arch = { _type = "string", _mandatory = true },
-                  modules = { _any = { _type = "string" } },
-                  commands = { _any = { _type = "string" } },
-                  dependencies = { _any = { _type = "string" } },
-                  -- TODO: to be extended with more metadata.
-               }
-            }
-         }
-      },
-      modules = {
-         _mandatory = true,
-         -- modules
-         _any = {
-            -- providers
-            _any = { _type = "string" }
-         }
-      },
-      commands = {
-         _mandatory = true,
-         -- modules
-         _any = {
-            -- commands
-            _any = { _type = "string" }
-         }
-      },
-      dependencies = {
-         -- each module
-         _any = {
-            -- each version
-            _any = {
-               -- each dependency
-               _any = {
-                  name = { _type = "string" },
-                  namespace = { _type = "string" },
-                  constraints = {
-                     _any = {
-                        no_upgrade = { _type = "boolean" },
-                        op = { _type = "string" },
-                        version = {
-                           string = { _type = "string" },
-                           _any = { _type = "number" },
-                        }
-                     }
-                  }
-               }
-            }
-         }
-      }
-   }
-})
-
---- Type check a manifest table.
--- Verify the correctness of elements from a
--- manifest table, reporting on unknown fields and type
--- mismatches.
--- @return boolean or (nil, string): true if type checking
--- succeeded, or nil and an error message if it failed.
-function type_manifest.check(manifest, globals)
-   assert(type(manifest) == "table")
-   local format = manifest_formats["3.0"]
-   local ok, err = type_check.check_undeclared_globals(globals, format)
-   if not ok then return nil, err end
-   return type_check.type_check_table("3.0", manifest, format, "")
-end
-
-return type_manifest
diff --git a/src/luarocks/type/manifest.tl b/src/luarocks/type/manifest.tl
new file mode 100644
index 00000000..043366ea
--- /dev/null
+++ b/src/luarocks/type/manifest.tl
@@ -0,0 +1,80 @@
+local type_manifest = {}
+
+local type_check = require("luarocks.type_check")
+
+local manifest_formats = type_check.declare_schemas({
+   ["3.0"] = {
+      repository = {
+         _mandatory = true,
+         -- packages
+         _any = {
+            -- versions
+            _any = {
+               -- items
+               _any = {
+                  arch = { _type = "string", _mandatory = true },
+                  modules = { _any = { _type = "string" } },
+                  commands = { _any = { _type = "string" } },
+                  dependencies = { _any = { _type = "string" } },
+                  -- TODO: to be extended with more metadata.
+               }
+            }
+         }
+      },
+      modules = {
+         _mandatory = true,
+         -- modules
+         _any = {
+            -- providers
+            _any = { _type = "string" }
+         }
+      },
+      commands = {
+         _mandatory = true,
+         -- modules
+         _any = {
+            -- commands
+            _any = { _type = "string" }
+         }
+      },
+      dependencies = {
+         -- each module
+         _any = {
+            -- each version
+            _any = {
+               -- each dependency
+               _any = {
+                  name = { _type = "string" },
+                  namespace = { _type = "string" },
+                  constraints = {
+                     _any = {
+                        no_upgrade = { _type = "boolean" },
+                        op = { _type = "string" },
+                        version = {
+                           string = { _type = "string" },
+                           _any = { _type = "number" },
+                        }
+                     }
+                  }
+               }
+            }
+         }
+      }
+   }
+})
+
+--- Type check a manifest table.
+-- Verify the correctness of elements from a
+-- manifest table, reporting on unknown fields and type
+-- mismatches.
+-- @return boolean or (nil, string): true if type checking
+-- succeeded, or nil and an error message if it failed.
+function type_manifest.check(manifest, globals)
+   assert(type(manifest) == "table")
+   local format = manifest_formats["3.0"]
+   local ok, err = type_check.check_undeclared_globals(globals, format)
+   if not ok then return nil, err end
+   return type_check.type_check_table("3.0", manifest, format, "")
+end
+
+return type_manifest
-- 
cgit v1.2.3-55-g6feb