diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-01 18:26:26 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-01 22:45:39 +0100 |
| commit | 87b510e5b0f363724eae5db9f177f167a3586015 (patch) | |
| tree | 204c7ad1e1ba38945ab58d74e28d8cf67201fe71 /plugins/cc | |
| parent | bca756eaebf16b6145c65b53629219d2a0a8b1ba (diff) | |
Fixing pervasive comparisons
Diffstat (limited to 'plugins/cc')
| -rw-r--r-- | plugins/cc/ccalgo.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml index d618e8426..810e4cf39 100644 --- a/plugins/cc/ccalgo.ml +++ b/plugins/cc/ccalgo.ml @@ -88,11 +88,11 @@ struct type t = pa_constructor let compare { cnode = cnode0; arity = arity0; args = args0 } { cnode = cnode1; arity = arity1; args = args1 } = - let cmp = Pervasives.compare cnode0 cnode1 in + let cmp = Int.compare cnode0 cnode1 in if cmp = 0 then - let cmp' = Pervasives.compare arity0 arity1 in + let cmp' = Int.compare arity0 arity1 in if cmp' = 0 then - Pervasives.compare args0 args1 + List.compare Int.compare args0 args1 else cmp' else @@ -103,9 +103,9 @@ module PafOrd = struct type t = pa_fun let compare { fsym = fsym0; fnargs = fnargs0 } { fsym = fsym1; fnargs = fnargs1 } = - let cmp = Pervasives.compare fsym0 fsym1 in + let cmp = Int.compare fsym0 fsym1 in if cmp = 0 then - Pervasives.compare fnargs0 fnargs1 + Int.compare fnargs0 fnargs1 else cmp end |