projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Silence several warnings (missing _ in records, unused variables).
[tatoo.git]
/
src
/
utils
/
ptset.ml
diff --git
a/src/utils/ptset.ml
b/src/utils/ptset.ml
index
ee0370a
..
68876d4
100644
(file)
--- a/
src/utils/ptset.ml
+++ b/
src/utils/ptset.ml
@@
-15,7
+15,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-0
1-30 19:07:53
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-0
3-05 00:37:22
CET by Kim Nguyen>
*)
(* Modified by Kim Nguyen *)
*)
(* Modified by Kim Nguyen *)
@@
-52,7
+52,7
@@
struct
| Branch(b1,i1,l1,r1), Branch(b2,i2,l2,r2) ->
b1 == b2 && i1 == i2 && (Node.equal l1 l2) && (Node.equal r1 r2)
| Branch(b1,i1,l1,r1), Branch(b2,i2,l2,r2) ->
b1 == b2 && i1 == i2 && (Node.equal l1 l2) && (Node.equal r1 r2)
- |
_
-> false
+ |
(Empty|Leaf _|Branch _), _
-> false
let hash = function
| Empty -> 0
let hash = function
| Empty -> 0
@@
-84,8
+84,9
@@
struct
let singleton k = leaf k
let is_singleton n =
let singleton k = leaf k
let is_singleton n =
- match Node.node n with Leaf _ -> true
- | _ -> false
+ match Node.node n with
+ | Leaf _ -> true
+ | Branch _ | Empty -> false
let mem (k:elt) n =
let kid = Uid.to_int (H.uid k) in
let mem (k:elt) n =
let kid = Uid.to_int (H.uid k) in