fix utf8.codes signature (#696)

the iterator returned by `utf8.codes` needs some arguments (when called outside a `for` loop) ``` $ cat codes.lua local s = "foo" local iter = utf8.codes(s) print(iter(s)) print(iter(s, 1)) $ ./tl run codes.lua 1 102 2 111 $ ./tl check codes.lua ======================================== 2 errors: codes.lua:3:11: wrong number of arguments (given 1, expects 0) codes.lua:4:11: wrong number of arguments (given 2, expects 0) ```
teal-language · Sep 13, 2023 · 02dae8b · 02dae8b
1 parent e29e29b
commit 02dae8b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tl.lua b/tl.lua
@@ -5571,7 +5571,7 @@ local function init_globals(lax)
             ["charpattern"] = STRING,
             ["codepoint"] = a_type({ typename = "function", args = TUPLE({ STRING, OPT(NUMBER), OPT(NUMBER) }), rets = VARARG({ INTEGER }) }),
             ["codes"] = a_type({ typename = "function", args = TUPLE({ STRING }), rets = TUPLE({
-               a_type({ typename = "function", args = TUPLE({}), rets = TUPLE({ NUMBER, NUMBER }) }),
+               a_type({ typename = "function", args = TUPLE({ STRING, OPT(NUMBER) }), rets = TUPLE({ NUMBER, NUMBER }) }),
             }), }),
             ["len"] = a_type({ typename = "function", args = TUPLE({ STRING, NUMBER, NUMBER }), rets = TUPLE({ INTEGER }) }),
             ["offset"] = a_type({ typename = "function", args = TUPLE({ STRING, NUMBER, NUMBER }), rets = TUPLE({ INTEGER }) }),

diff --git a/tl.tl b/tl.tl
@@ -5571,7 +5571,7 @@ local function init_globals(lax: boolean): {string:Variable}, {string:Type}
             ["charpattern"] = STRING,
             ["codepoint"] = a_type { typename = "function", args = TUPLE { STRING, OPT(NUMBER), OPT(NUMBER) }, rets = VARARG { INTEGER } },
             ["codes"] = a_type { typename = "function", args = TUPLE { STRING }, rets = TUPLE {
-               a_type { typename = "function", args = TUPLE {}, rets = TUPLE { NUMBER, NUMBER } },
+               a_type { typename = "function", args = TUPLE { STRING, OPT(NUMBER) }, rets = TUPLE { NUMBER, NUMBER } },
             }, },
             ["len"] = a_type { typename = "function", args = TUPLE { STRING, NUMBER, NUMBER }, rets = TUPLE { INTEGER } },
             ["offset"] = a_type { typename = "function", args = TUPLE { STRING, NUMBER, NUMBER }, rets = TUPLE { INTEGER } },