fix global function annotation syntax

Author: tapple

generated/secondlife.d.luau

@@ -306,7 +306,7 @@ declare getfenv: nil
 -- declare function getmetatable<T>(obj: T): getmetatable<T> -- builtin
 declare function ipairs<V>(tab: {V}): (({V}, number) -> (number?, V), {V}, number)
 declare loadstring: nil
-declare @checked function newproxy(mt: boolean?): any
+@checked declare function newproxy(mt: boolean?): any
 -- declare function next<K, V>(t: {[K]: V}, i: K?): (K?, V) -- builtin
 -- declare function pairs<K, V>(t: {[K]: V}): (({[K]: V}, K?) -> (K?, V), {[K]: V}, K) -- builtin
 declare function pcall<A..., R...>(f: (A...) -> R..., ...: A...): (boolean, R...)
@@ -315,7 +315,7 @@ declare function rawequal<T1, T2>(a: T1, b: T2): boolean
 declare function rawget<K, V>(t: {[K]: V}, k: K): V?
 declare function rawlen<K, V>(t: {[K]: V} | string): number
 declare function rawset<K, V>(t: {[K]: V}, k: K, v: V): {[K]: V}
--- declare @checked function require(target: any): any -- magic type
+-- @checked declare function require(target: any): any -- magic type
 -- declare function select<A...>(i: string | number, ...: A...): ...any -- magic type
 declare setfenv: nil
 -- declare function setmetatable<T, MT>(t: T, mt: MT): setmetatable<T, MT> -- builtin, magic type

lsl_definitions/generators/slua.py

@@ -56,7 +56,6 @@ def gen_luau_lsp_defs(definitions: LSLDefinitions, slua_definitions: SLuaDefinit
             continue
         if not func.typechecker_flags.fully_defined:
             defs.write("-- ")
-        defs.write("declare ")
         func.write_luau_global_def(defs)
     for module in sorted(slua_definitions.modules, key=lambda x: x.name):
         if module.name in {"ll", "llcompat"}:

lsl_definitions/slua.py

@@ -226,13 +226,15 @@ def to_keywords_dict(self) -> dict:
     def write_luau_global_def(self, f: TextIO, indent: int = 0) -> None:
         """For declaring global functions and class/extern type methods"""
         if self.slua_removed:
-            f.write(f"{self.name}: nil\n")
+            f.write(f"declare {self.name}: nil\n")
         elif self.overloads:
             # the function format can't handle overloads
             self.write_luau_table_def(f, indent, suffix="")
         else:
             f.write(f"{'  ' * indent}")
             f.write(self.annotation_string)
+            if indent == 0:
+                f.write("declare ")
             f.write(f"function {self.name}")
             f.write(self.type_parameters_string)
             f.write(self.parameters_string(declaration=True))