diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-10 00:23:53 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-10 00:23:53 +0000 |
| commit | b405e0582fb76387657b1057abf377fcb6a7016b (patch) | |
| tree | 8d48e2328684cd5d17f530d19891ae28ba7053a7 | |
| parent | 996d8e8d14dca0b25f5d301377f4a7ae3d166cbf (diff) | |
Suppression de Ident.identity.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ident.ml | 16 | ||||
| -rw-r--r-- | typing/ident.mli | 4 |
2 files changed, 1 insertions, 19 deletions
diff --git a/typing/ident.ml b/typing/ident.ml index c2d7724f0..c4639ac21 100644 --- a/typing/ident.ml +++ b/typing/ident.ml @@ -13,7 +13,7 @@ open Format -type t = { mutable stamp: int; mutable name: string; mutable global: bool } +type t = { stamp: int; name: string; mutable global: bool } (* A stamp of 0 denotes a persistent identifier *) @@ -44,20 +44,6 @@ let binding_time i = i.stamp let current_time() = !currentstamp -let identify i1 i2 f = - let name2 = i2.name and stamp2 = i2.stamp in - try - i2.name <- i1.name; - i2.stamp <- i1.stamp; - let res = f () in - i2.name <- name2; - i2.stamp <- stamp2; - res - with x -> - i2.name <- name2; - i2.stamp <- stamp2; - raise x - let hide i = { stamp = -1; name = i.name; global = i.global } diff --git a/typing/ident.mli b/typing/ident.mli index 6dca3193e..782157351 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -28,10 +28,6 @@ val same: t -> t -> bool non-persistent and have been created by the same call to [new], or if they are both persistent and have the same name. *) -val identify: t -> t -> (unit -> 'a) -> 'a - (* [identify id1 id2 f] temporarily makes [id1] and [id2] the - same during the evaluation of [f ()]. More precisely, [id1] - is unchanged, while [id2] is made a copy of [id1]. *) val hide: t -> t (* Return an identifier with same name as the given identifier, but stamp different from any stamp returns by new. |