ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-26 16:37:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Move some text to explicit background section.

Browse Source 
According to new template, background is at the same level as (and before)
design.
This commit is contained in:
Alessandro Coglio 2021-10-05 20:54:59 -07:00
parent 7d4198fe43
commit aa29ce30d4
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/rfc/004-integer-type-casts.md
View File

@ -27,16 +27,18 @@ every non-negative integer that fits in 8 bits also fits in 16 bits.
However, the ability to convert values between different (integer) types
is a useful feature that is normally found in programming languages.
## Design
## Background
### Background
Recall that Leo supports the following _integer types_:
Leo supports the following _integer types_:
```
u8 u16 u32 u64 u128
i8 i16 i32 i64 i128
```
Those are for unsigned and signed integers of 8, 16, 32, 64, and 128 bits.
## Design
### Scope
This RFC proposes type casts between any two integer types,