diff --git a/tl.lua b/tl.lua index dc647bf7f..d52abae06 100644 --- a/tl.lua +++ b/tl.lua @@ -5224,7 +5224,7 @@ local function init_globals(lax) typename = "record", is_userdata = true, fields = { - ["close"] = a_type({ typename = "function", args = TUPLE({ NOMINAL_FILE }), rets = TUPLE({ BOOLEAN, STRING }) }), + ["close"] = a_type({ typename = "function", args = TUPLE({ NOMINAL_FILE }), rets = TUPLE({ BOOLEAN, STRING, INTEGER }) }), ["flush"] = a_type({ typename = "function", args = TUPLE({ NOMINAL_FILE }), rets = TUPLE({}) }), ["lines"] = a_type({ typename = "function", args = VARARG({ NOMINAL_FILE, a_type({ typename = "union", types = { STRING, NUMBER } }) }), rets = TUPLE({ a_type({ typename = "function", args = TUPLE({}), rets = VARARG({ STRING }) }), diff --git a/tl.tl b/tl.tl index 915275f54..f4eea84c7 100644 --- a/tl.tl +++ b/tl.tl @@ -5224,7 +5224,7 @@ local function init_globals(lax: boolean): {string:Variable}, {string:Type} typename = "record", is_userdata = true, fields = { - ["close"] = a_type { typename = "function", args = TUPLE { NOMINAL_FILE }, rets = TUPLE { BOOLEAN, STRING} }, + ["close"] = a_type { typename = "function", args = TUPLE { NOMINAL_FILE }, rets = TUPLE { BOOLEAN, STRING, INTEGER } }, ["flush"] = a_type { typename = "function", args = TUPLE { NOMINAL_FILE }, rets = TUPLE {} }, ["lines"] = a_type { typename = "function", args = VARARG { NOMINAL_FILE, a_type { typename = "union", types = { STRING, NUMBER } } }, rets = TUPLE { a_type { typename = "function", args = TUPLE {}, rets = VARARG { STRING } },