Merge pull request #37 from github/toUnicodeBuildin

add `toUnicode` as a build-in
This commit is contained in:
Taus
2021-10-13 10:13:05 +02:00
committed by GitHub

View File

@@ -42,7 +42,7 @@ predicate isBuiltinMember(string sig) {
"string string.toLowerCase()", "string string.toUpperCase()", "string string.trim()",
"int date.daysTo(date)", "int date.getDay()", "int date.getHours()", "int date.getMinutes()",
"int date.getMonth()", "int date.getSeconds()", "int date.getYear()",
"string date.toString()", "string date.toISO()"
"string date.toString()", "string date.toISO()", "string int.toUnicode()"
]
}