Commit 10494aac authored by David Bühler's avatar David Bühler

Replaces Pervasives.compare by Transitioning.Stdlib.compare.

Avoids a compilation warning with ocaml >= 4.08.
parent 5453a262
......@@ -123,7 +123,7 @@ let table_of_contents () =
module Cmap = Map.Make
(struct
type t = string list
let compare = Pervasives.compare
let compare = Transitioning.Stdlib.compare
end)
let index_entry (title,href) =
......
......@@ -305,7 +305,7 @@ module Compute = WpContext.StaticGenerator
(struct
type t = model * c_float * op
let compare = Pervasives.compare
let compare = Transitioning.Stdlib.compare
let pretty fmt (m, ft, op) =
Format.fprintf fmt "%s_%a_%s" (model_name m) pp_suffix ft (op_name op)
......
......@@ -52,7 +52,7 @@ struct
| _ , Field _ -> 1
| Index(ta,n) , Index(tb,m) ->
let cmp = Typ.compare ta tb in
if cmp <> 0 then cmp else Pervasives.compare n m
if cmp <> 0 then cmp else Transitioning.Stdlib.compare n m
let equal a b = (compare a b = 0)
......@@ -175,7 +175,7 @@ struct
Usage.pretty fmt usage
let compare ((da,ta):t) ((db,tb):t) =
let cmp = Pervasives.compare da db in
let cmp = Transitioning.Stdlib.compare da db in
if cmp <> 0 then cmp else Typ.compare ta tb
let equal a b = (compare a b = 0)
......
......@@ -234,7 +234,7 @@ struct
Format.fprintf fmt "}@]" ;
end
let compare = Pervasives.compare
let compare = Transitioning.Stdlib.compare
(* Extract constant offset *)
let offset k =
......@@ -300,7 +300,7 @@ module ARRAY =
struct
type t = int * int list
let compare = Pervasives.compare
let compare = Transitioning.Stdlib.compare
let pretty fmt (s,ds) = Format.fprintf fmt "%d%a" s Layout.Matrix.pretty ds
(* Coefficient from Matrix dimensions: c_i = \Pi_{i<j} d_j *)
......@@ -636,7 +636,8 @@ struct
| Mu_alloc -> Region.noid
let hash m = id m
let compare m m' = if m==m then 0 else Pervasives.compare (id m) (id m')
let compare m m' =
if m==m then 0 else Transitioning.Stdlib.compare (id m) (id m')
let equal m m' = m==m' || (id m = id m')
let tau_of_value = function
......
......@@ -128,7 +128,7 @@ struct
type t = region
let id a = a.id
let equal a b = (a.id = b.id)
let compare a b = Pervasives.compare a.id b.id
let compare a b = Transitioning.Stdlib.compare a.id b.id
let pp_rid fmt id = Format.fprintf fmt "R%03d" id
let pretty fmt r = pp_rid fmt r.id
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment