Bug de partage dans Infix_tag (output_value incrementait obj_counter pour chaque Infix_tag, mais pas input_value)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-01-12 17:13:29 +00:00 · 1999-01-12 17:13:29 +00:00 · 6e36d8910a
parent c35c5b3efd
commit 6e36d8910a
1 changed files with 1 additions and 1 deletions
--- a/byterun/extern.c
+++ b/byterun/extern.c
@ -237,7 +237,7 @@ static void extern_rec(value v)
      return;
    }
    /* Check if already seen */
-    if (! extern_ignore_sharing) {
+    if (! extern_ignore_sharing && tag != Infix_tag) {
      if (2 * obj_counter >= extern_table_size) resize_extern_table();
      h = Hash(v);
      while (extern_table[h].ofs >= initial_ofs) {