Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
6825b509
Commit
6825b509
authored
Aug 18, 2010
by
Andrei Paskevich
Browse files
tag_equal must be physical equality
parent
7df5d8a1
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/util/hashweak.ml
View file @
6825b509
...
...
@@ -76,11 +76,9 @@ let dummy_tag = {
tag_tag
=
-
1
;
}
let
tag_hash
k
=
assert
(
k
!=
dummy_tag
);
k
.
tag_tag
let
tag_equal
k1
k2
=
k1
.
tag_tag
=
k2
.
tag_tag
let
tag_equal
=
(
==
)
let
tag_
compare
k1
k2
=
Pervasives
.
compare
k1
.
tag
_tag
k
2
.
tag_tag
let
tag_
hash
k
=
assert
(
k
!=
dummy
_tag
);
k
.
tag_tag
module
type
Weakey
=
sig
...
...
src/util/hashweak.mli
View file @
6825b509
...
...
@@ -25,11 +25,9 @@ val dummy_tag : tag
val
create_tag
:
int
->
tag
val
tag_hash
:
tag
->
int
val
tag_equal
:
tag
->
tag
->
bool
val
tag_
compare
:
tag
->
tag
->
int
val
tag_
hash
:
tag
->
int
module
type
S
=
sig
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment