shithub: mc

Info  •  Files  •  Log  •  Branches

Compress unification chains.

    This reduces the average chain length by a factor of 50 to
    100 in practice.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -312,6 +312,9 @@

         if (!tytab[t->tid])

             break;

+        /* compress paths: shift the link up one level */

+        if (tytab[tytab[t->tid]->tid])

+            tytab[t->tid] = tytab[tytab[t->tid]->tid];

         t = tytab[t->tid];

     }

     return t;