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

utilise Ident.unique_name plutot que Ident.name pour les globaux 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2000-06-12 05:23:11 +00:00
parent 73be8e29a5
commit 402fa47bfd
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bytecomp/translmod.ml
View File

@ -358,12 +358,12 @@ let toploop_setvalue_pos = 1 (* position of setvalue in module Toploop *)
let toploop_getvalue id =
Lapply(Lprim(Pfield toploop_getvalue_pos,
[Lprim(Pgetglobal toploop_ident, [])]),
[Lconst(Const_base(Const_string (Ident.name id)))])
[Lconst(Const_base(Const_string (Ident.unique_name id)))])
let toploop_setvalue id lam =
Lapply(Lprim(Pfield toploop_setvalue_pos,
[Lprim(Pgetglobal toploop_ident, [])]),
[Lconst(Const_base(Const_string (Ident.name id))); lam])
[Lconst(Const_base(Const_string (Ident.unique_name id))); lam])
let toploop_setvalue_id id = toploop_setvalue id (Lvar id)

2
toplevel/toploop.ml
View File

@ -91,7 +91,7 @@ let pr_item env ppf = function
| _ ->
fprintf ppf "@[<2>%a =@ %a@]"
(Printtyp.value_description id) decl
(print_value env (getvalue (Ident.name id)))
(print_value env (getvalue (Ident.unique_name id)))
decl.val_type
end;
rem