From 187dcd089f8a86e8d8e769769496f791d69ec09d Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Sun, 28 Sep 2014 21:46:13 +0200
Subject: Added the first tests

---
 tests/BoxedInt.ml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/BoxedInt.ml

(limited to 'tests/BoxedInt.ml')

diff --git a/tests/BoxedInt.ml b/tests/BoxedInt.ml
new file mode 100644
index 0000000..ad8db7c
--- /dev/null
+++ b/tests/BoxedInt.ml
@@ -0,0 +1,7 @@
+let x = Int32.of_int 1
+let y = Int64.of_int 1
+let z = Int64.to_int32 y |> Int32.add x |> Nativeint.of_int32
+
+let a = Int32.to_int     x
+let b = Int64.to_int     y
+let c = Nativeint.to_int z
-- 
cgit v1.2.3-70-g09d2