Skip to content

Commit

Permalink
fix utf8.codes signature (#675)
Browse files Browse the repository at this point in the history
code point is a number
  • Loading branch information
fperrad authored Jul 10, 2023
1 parent 8829655 commit 293c3d2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion tl.lua
Original file line number Diff line number Diff line change
Expand Up @@ -5562,7 +5562,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, STRING }) }),
a_type({ typename = "function", args = TUPLE({}), 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 }) }),
Expand Down
2 changes: 1 addition & 1 deletion tl.tl
Original file line number Diff line number Diff line change
Expand Up @@ -5562,7 +5562,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, STRING } },
a_type { typename = "function", args = TUPLE {}, 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 } },
Expand Down

0 comments on commit 293c3d2

Please sign in to comment.