diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-04-20 19:48:49 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-11-22 11:07:54 +0800 |
| commit | 0e4d236558f516bb39426ff38452006923d4494a (patch) | |
| tree | 9c21256d63b8be88777afc3587c0659678d155f5 | |
| parent | 183f70262a59d10b264cb71ba82d31d37c65dd63 (diff) | |
| download | dexon-solidity-0e4d236558f516bb39426ff38452006923d4494a.tar.gz dexon-solidity-0e4d236558f516bb39426ff38452006923d4494a.tar.zst dexon-solidity-0e4d236558f516bb39426ff38452006923d4494a.zip | |
Include implicit type conversions
| -rw-r--r-- | docs/julia.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/julia.rst b/docs/julia.rst index f0622dc9..bd8e35a9 100644 --- a/docs/julia.rst +++ b/docs/julia.rst @@ -192,6 +192,19 @@ For ``(S1, z) = E(S, y)`` let ``(S2, w) = E(S1, x)``. TODO E(G, L, n: DecimalNumber) = G, L, dec(n), where dec is the decimal decoding function +Type Conversion Functions +------------------------- + +JULIA has no support for implicit type conversion and therefore functions exists to provide explicit conversion. +When converting a larger type to a shorter type a runtime exception can occur in case of an overflow. + +The following type conversion functions must be available: +- ``u32tobool(x:u32) -> (y:bool)`` +- ``booltou32(x:bool) -> (y:u32)`` +- ``u32tou64(x:u32) -> (y:u64)`` +- ``u64tou32(x:u64) -> (y:u32)`` +- etc. (TBD) + Low-level Functions ------------------- |