diff options
Diffstat (limited to 'tests/BoxedInt.ml')
| -rw-r--r-- | tests/BoxedInt.ml | 7 |
1 files changed, 7 insertions, 0 deletions
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 |