Core.Char -> char in a couple spots (#6126)

This commit is contained in:
Jon Ross-Perkins
2025-09-24 23:34:51 +00:00
committed by GitHub
parent 7bfd26b06e
commit 1fba60ca8c
2 changed files with 5 additions and 5 deletions
+3 -3
View File
@@ -20,13 +20,13 @@ fn Run() {
// TODO: Requires Core.String API.
// let message: str = "Hello world!\n\n";
// for (c: Core.Char in message) {
// for (c: char in message) {
// Cpp.putchar((c as u8) as i32);
// }
let message: array(Core.Char, 13) =
let message: array(char, 13) =
('H', 'e', 'l', 'l', 'o', ' ', 'w', 'o', 'r', 'l', 'd', '!', '\n');
for (c: Core.Char in message) {
for (c: char in message) {
// TODO: u8 should probably have an implicit cast to i32.
Cpp.putchar((c as u8) as i32);
}