From 0e4d236558f516bb39426ff38452006923d4494a Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 20 Apr 2017 12:48:49 +0100
Subject: Include implicit type conversions

---
 docs/julia.rst | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'docs')

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
 -------------------
 
-- 
cgit