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

make suggested changes, also renumber as it would conflict with 009 bits/bytes

Browse Source
This commit is contained in:
gluaxspeed 2021-08-16 11:38:01 -07:00
parent 54eb95c62d
commit c140e666a5
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/rfc/009-scalar-type-accesses-and-methods.md → docs/rfc/011-scalar-type-accesses-and-methods.md
View File

@ -1,4 +1,4 @@
# Leo RFC 009: Scalar Type Accesses And Methods
# Leo RFC 011: Scalar Type Accesses And Methods
## Authors
@ -52,11 +52,12 @@ postfix-expression = primary-expression
/ identifier function-arguments
/ postfix-expression "." identifier function-arguments
/ named-type "::" identifier function-arguments ; this used to be a circuit-type
/ named-type "::" identifier ; this is new to allow static members on
/ postfix-expression "[" expression "]"
/ postfix-expression "[" [expression] ".." [expression] "]"
```
Now methods and static members would be first-class citizens of scalar types and their values. For example, in the following could be done:
Now methods and static members would be first-class citizens of scalar types and their values. For example, the following could be done:
```ts
let x = 1u8.to_bits(); // A method call on on a scalar value itself