Re: [RFC SPEC] Primitive data types and arrays

[Johnny Richard <johnny@johnnyrichard.com>]

On Fri, Apr 12, 2024 at 11:51:51PM -0300, Carlos Maniero wrote:
> > I loved it.  Out of curiosity, we are going to have _boolean_ and _char_
> > I believe.  Shouldn't they also be included on these primitive spec?
> 
> I like it! We could discuss in the near feature if they are or not just
> type alias for u8. But I also agree they must be built-in without the
> need of any include.
> 
> <primitive-type>      ::= 's8'| 's16'| 's32'| 's64'| 'u8'|
>                           'u16'| 'u32'| 'u64'| 'f32'| 'f64'|
>                           'char' | 'bool'
> <expression>          ::= <integer> | <identifier> | <boolean> | <char>
> <boolean>             ::= "true" | "false"
> <char>                ::= "'" #'.' "'" 

Perhaps _char_ SHOULD have support to escaped chars like \r (carried
return), \n (line feed)...  Whenever you create the patch, don't forget it.

> Are you comfortable with the above grammar?

I am wondering if we should also define _void_ as a primitive.