From 31bb04b3957375ad7d7e49e73881a8a4fc85ee61 Mon Sep 17 00:00:00 2001 From: Alessandro Coglio Date: Mon, 10 May 2021 19:47:34 -0700 Subject: [PATCH] [RFC] Add a clarification. --- docs/rfc/001-initial-strings.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/rfc/001-initial-strings.md b/docs/rfc/001-initial-strings.md index af11dbe8f3..10f9482ad9 100644 --- a/docs/rfc/001-initial-strings.md +++ b/docs/rfc/001-initial-strings.md @@ -261,6 +261,13 @@ These circuit types could also include constants, e.g. for certain ASCII charact However, currently Leo does not support constants in circuit types, so that would have to be added separately first. +These two circuit types are just meant to collect static member functions for characters and strings. +They are not meant to be the types of characters and strings: +as mentioned previously, `char` is a new scalar (not circuit) type (like `bool`, `address`, `u8`, etc.) +and there is no string type as such for now, but we use character arrays for strings. +In the future we may want all the Leo types to be circuit types of some sort, +but that is a separate feature that would have to be designed and developed independently. + ## Input and Output of Literal Characters and Strings Since UTF-8 is a standard encoding, it would make sense for