From b966b1833ce144081e4e9d326f5a6b240ca5a752 Mon Sep 17 00:00:00 2001 From: Alessandro Coglio Date: Wed, 29 Sep 2021 10:13:24 -0700 Subject: [PATCH] [RFC] Generalize some text. --- docs/rfc/001-initial-strings.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/rfc/001-initial-strings.md b/docs/rfc/001-initial-strings.md index 7066d704ab..3980f73dfa 100644 --- a/docs/rfc/001-initial-strings.md +++ b/docs/rfc/001-initial-strings.md @@ -51,8 +51,7 @@ Thus, we first present a design for both characters and strings. We add a new scalar type, `char` for characters. In accord with Leo's strong typing, this new type is separate from all the other scalar types. -Type casts (a future feature of Leo) will be needed -to convert between `char` and other types. +Explicit constructs will be needed to convert between `char` and other types. The set of values of type `char` is isomorphic to the set of Unicode code points from 0 to 10FFFF (both inclusive).