From 3d860c362443e55a7621e821554e38cc45706022 Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Thu, 30 Sep 2010 19:13:43 +0200 Subject: [PATCH] Idents: rename compare to ident_compare --- compiler/global/idents.ml | 4 ++-- compiler/global/idents.mli | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/compiler/global/idents.ml b/compiler/global/idents.ml index d78524b..dffcec5 100644 --- a/compiler/global/idents.ml +++ b/compiler/global/idents.ml @@ -20,7 +20,7 @@ type var_ident = ident let num = ref 0 -let compare id1 id2 = compare id1.num id2.num +let ident_compare id1 id2 = compare id1.num id2.num let sourcename id = id.source let name id = if id.is_generated then @@ -35,7 +35,7 @@ let fprint_t ff id = Format.fprintf ff "%s" (name id) module M = struct type t = ident - let compare = compare + let compare = ident_compare let fprint = fprint_t end diff --git a/compiler/global/idents.mli b/compiler/global/idents.mli index 4ce8c6e..82bc420 100644 --- a/compiler/global/idents.mli +++ b/compiler/global/idents.mli @@ -10,6 +10,9 @@ type ident (** Type to be used for local variables *) type var_ident = ident +(** Comparision on idents with the same properties as [Pervasives.compare] *) +val ident_compare : ident -> ident -> int + (** Get the source name from an identifier*) val sourcename : ident -> string (** Get the full name of an identifier (it is guaranteed to be unique) *)