Undrifting constraints must propagate transitively to free callers.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 28 Mar 1990 06:07:59 +0000 (06:07 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 28 Mar 1990 06:07:59 +0000 (06:07 +0000)
commit4b7fda9db37aa6cc45b48cb08751cc3b4cc63d95
treeb2ea05e5195f8fc23cfd19fb94798c542ef9060d
parentb383ccb4f6b79908aff295095dc16c9994fb00c9
Undrifting constraints must propagate transitively to free callers.
Undrifted procedures must be re-analyzed for Exporting.
v7/src/compiler/fgopt/closan.scm