Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

utilise Ident.bl pour toplevel_name 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2000-06-13 07:00:14 +00:00
parent 16f4149bc7
commit c40e874663
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bytecomp/translmod.ml
View File

@ -355,12 +355,13 @@ let toploop_ident = Ident.create_persistent "Toploop"
let toploop_getvalue_pos = 0 (* position of getvalue in module Toploop *)
let toploop_setvalue_pos = 1 (* position of setvalue in module Toploop *)
let aliased_idents = Hashtbl.create 17
let aliased_idents = ref Ident.empty
let set_toplevel_name = Hashtbl.add aliased_idents
let set_toplevel_name id name =
aliased_idents := Ident.add id name !aliased_idents
let toplevel_name id =
try Hashtbl.find aliased_idents id
try Ident.find_same id !aliased_idents
with Not_found -> Ident.name id
let toploop_getvalue id =