Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] compiler, renaming: ObjectOpaMapToIdent should save only the (p…

…ackage) exported ident
  • Loading branch information...
commit 57f483c72f57e5a01fd1509445a08cf1de6e03bc 1 parent cadf7ec
@BourgerieQuentin BourgerieQuentin authored
Showing with 6 additions and 2 deletions.
  1. +6 −2 passes/surfaceAstRenaming.ml
View
8 passes/surfaceAstRenaming.ml
@@ -1819,9 +1819,13 @@ let save_env env =
(* only saving the local maptoident for the stdlib packages *)
env.maptoident_val, env.maptoident_typ
in
- ObjectOpaMapToIdent.save (val_,typ);
OpaMapToIdent.set_val_map val_;
- OpaMapToIdent.set_typ_map typ
+ OpaMapToIdent.set_typ_map typ;
+ let val_ =
+ let filter i = is_exported i all_env.f.fglobal in
+ StringMap.filter_val filter val_
+ in
+ ObjectOpaMapToIdent.save (val_,typ)
let load_expr_env all_env map =
let tnames =
Please sign in to comment.
Something went wrong with that request. Please try again.