@tlua/tlua-darwin-x64 0.0.39 → 0.0.41

package/lib/lib.luajit.d.tlua

@@ -171,7 +171,7 @@ declare function select(index: "#", ...: any): number;
 // fallback for a shadowed or aliased select the refinement does not reach.
 declare function select(index: number, ...: any): (any?, ...any);
 declare function setfenv(target: number | function, environment: table): function;
-declare function setmetatable<T extends table>(value: T, metatable: LuaMetatable<T> | nil): T;
+declare function setmetatable<T extends table>(value: T, metatable: LuaMetatable<NoInfer<T>> | nil): T;
 declare function tonumber(value: any, base?: number): number | nil;
 declare function tostring(value: any): string;
 declare function type(value: any): "nil" | "number" | "string" | "boolean" | "table" | "function" | "thread" | "userdata" | "cdata";
@@ -191,6 +191,10 @@ declare function xpcall(fn: function, handler: (message: any) => any, ...: any):
  * generic `T`. The whole coroutine module stays erased: resume/yield because a
  * `thread` is opaque and carries no packs (Luau makes the same call), and wrap
  * because a wrapped call exchanges values with `yield`, not with fn's packs.
+ * That erasure is about packs only -- `coroutine.yield` still carries the suspend
+ * flag, because it is the primitive the whole contract is founded on. `resume`
+ * and a wrapped function do not: driving a coroutine from ordinary code is what
+ * they are for.
  *
  * The signatures of setmetatable and getmetatable stay deliberately plain: the
  * checker pairs a table with its metatable itself. A call to the *global*
@@ -209,8 +213,8 @@ declare function xpcall(fn: function, handler: (message: any) => any, ...: any):
  * shadowed local of either name keeps whatever it declares. Both signatures still
  * carry the contract this file can express: the parameter type is what validates a
  * metatable's metamethods, and precision comes from the metatable a call passes,
- * since LuaMetatable<T> | nil names no particular fallback. Still uninterpreted:
- * __tostring and ffi.metatype.
+ * since LuaMetatable<T> | nil names no particular fallback; NoInfer pins it so only
+ * the table operand chooses T. Still uninterpreted: __tostring and ffi.metatype.
  */
 
 interface CoroutineLib {
@@ -224,7 +228,16 @@ interface CoroutineLib {
     // parameter/return packs would assert types that are wrong for every coroutine
     // that yields, which is what wrap is for.
     wrap(fn: function): function;
-    yield(...: any): (any?, ...any);
+    // `yield` is the primitive that actually suspends the running coroutine, so
+    // it anchors the suspend contract: everything else marked `suspend` is marked
+    // by hand, and this is the one signature the contract can be founded on. A
+    // function whose body yields must therefore declare itself `suspend`, and a
+    // yield reached from ordinary code -- the runtime's "attempt to yield from
+    // outside a coroutine" -- is a diagnostic instead. The `suspend` modifier is
+    // illegal in an ambient context, so this is a property carrying a suspend
+    // function *type*; the argument and result types stay erased exactly as
+    // resume's do. Widening to the `function` top type is the escape hatch.
+    yield: suspend (...: any) => (any?, ...any);
 }
 
 declare coroutine: CoroutineLib;
@@ -440,7 +453,7 @@ interface DebugLib {
     sethook(thread: thread, hook?: function, mask?: string, count?: number): void;
     setlocal(level: number, localIndex: number, value: any): string | nil;
     setlocal(thread: thread, level: number, localIndex: number, value: any): string | nil;
-    setmetatable<T extends table>(value: T, metatable: LuaMetatable<T> | nil): T;
+    setmetatable<T extends table>(value: T, metatable: LuaMetatable<NoInfer<T>> | nil): T;
     setmetatable<T>(value: T, metatable: table | nil): T;
     setupvalue(fn: function, index: number, value: any): string | nil;
     traceback(message?: any, level?: number): string;

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@tlua/tlua-darwin-x64",
-    "version": "0.0.39",
+    "version": "0.0.41",
     "license": "Apache-2.0",
     "author": "tlua",
     "homepage": "https://github.com/apyrr/tlua",
@@ -32,7 +32,7 @@
     "exports": {
         "./package.json": "./package.json"
     },
-    "gitHead": "ceb3aad61277942534ec4f882575ed35b308ae34",
+    "gitHead": "dd6b5325381492d6e366c9e39fccdb5eab0d9db1",
     "publishConfig": {
         "access": "public",
         "tag": "latest"