balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Really get rid of magic...

Browse Source
This commit is contained in:
Pierre Chambart 2018-04-24 14:46:44 +02:00 committed by Grégoire Henry
parent 7de7043a74
commit 6bdb959204
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/lib_stdlib/hashPtree.ml
View File

@ -248,9 +248,8 @@ end = struct
let empty = Empty
(* Is there a better way to do ? *)
let equal (x:'a t) (y:'b t) =
(Obj.magic x) == (Obj.magic y)
let equal (x:not_empty t) (y:not_empty t) =
x == y
let fast_partial_equal = equal
@ -330,8 +329,8 @@ end = struct
| _, _ ->
false
let fast_partial_equal (x:'a t) (y:'b t) =
(Obj.magic x) == (Obj.magic y)
let fast_partial_equal (x:not_empty t) (y:not_empty t) =
x == y
end [@@inline]