Created
August 12, 2016 17:34
-
-
Save gsg/671af65040e2c0f83bcc0c74e951a7ea to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
let test1 () = | |
let tbl = Hashtbl.create 16 in | |
let z = Big_int.big_int_of_string "3242314122423341231" in | |
Hashtbl.add tbl z (); | |
Hashtbl.find tbl z | |
let test2 () = | |
let tbl = Hashtbl.create 16 in | |
let z1 = Big_int.big_int_of_string "3242314122423341231" in | |
let z2 = Big_int.big_int_of_string "3242314122423341231" in | |
Hashtbl.add tbl z1 (); | |
Hashtbl.find tbl z2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment