diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:35:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:35:35 +0000 |
| commit | 3b143305602327f4412631e4adb0ffadc64e0854 (patch) | |
| tree | 2f58974d52a00e62202df7702945dc6698c6d3ed /typing/ident.mli | |
| parent | 41c7d86e6d525769c5f378add9c7b5dba0ef3608 (diff) | |
Ident: ajout de Ident.iter.
Autres: unification sous prefixe lors de l'inference de types, corrige
le bug de Russo:
let x = ref [];; module F(X) = struct type t let _ = (x:t list ref) ... end;;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/ident.mli')
| -rw-r--r-- | typing/ident.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/typing/ident.mli b/typing/ident.mli index 0e011ad0d..0405eff57 100644 --- a/typing/ident.mli +++ b/typing/ident.mli @@ -40,6 +40,9 @@ val hide: t -> t val make_global: t -> unit val global: t -> bool +val binding_time: t -> int +val current_time: unit -> int + val print: t -> unit type 'a tbl @@ -50,4 +53,5 @@ val add: t -> 'a -> 'a tbl -> 'a tbl val find_same: t -> 'a tbl -> 'a val find_name: string -> 'a tbl -> 'a +val iter: (t -> 'a -> unit) -> 'a tbl -> unit val print_tbl: ('a -> unit) -> 'a tbl -> unit |