diff options
| author | Stephen Dolan <mu@netsoc.tcd.ie> | 2019-03-18 09:42:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-18 09:42:23 +0000 |
| commit | 838e44a24509f6ad9212131c6e84202eb7d6c22c (patch) | |
| tree | c73317cc6b42b5ee137518dfeda0572097437b74 /bytecomp | |
| parent | e3a62eef9125a06e999877a65f869b733ef8d848 (diff) | |
| download | ocaml-838e44a24509f6ad9212131c6e84202eb7d6c22c.tar.gz | |
Update issue numbers in comments after Mantis -> Github migration. (#8505)
Diffstat (limited to 'bytecomp')
| -rw-r--r-- | bytecomp/bytelink.ml | 2 | ||||
| -rw-r--r-- | bytecomp/translmod.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 5536432f0f..ecc8e5f80f 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -302,7 +302,7 @@ let link_bytecode ?final_name tolink exec_name standalone = | Link_object(file_name, _) when file_name = exec_name -> raise (Error (Wrong_object_name exec_name)); | _ -> ()) tolink; - Misc.remove_file exec_name; (* avoid permission problems, cf PR#1911 *) + Misc.remove_file exec_name; (* avoid permission problems, cf PR#8354 *) let outchan = open_out_gen [Open_wronly; Open_trunc; Open_creat; Open_binary] 0o777 exec_name in diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml index c48e4f6e77..bf111693be 100644 --- a/bytecomp/translmod.ml +++ b/bytecomp/translmod.ml @@ -1346,7 +1346,7 @@ let transl_toplevel_item item = (transl_extension_constructor item.str_env None ext.tyexn_constructor) | Tstr_module {mb_id=id; mb_presence=Mp_present; mb_expr=modl} -> (* we need to use the unique name for the module because of issues - with "open" (PR#1672) *) + with "open" (PR#8133) *) set_toplevel_unique_name id; let lam = transl_module Tcoerce_none (Some(Pident id)) modl in toploop_setvalue id lam |