Flush purification queue after loading an option. Otherwise, if the
authorChris Hanson <org/chris-hanson/cph>
Mon, 31 Mar 1997 19:27:09 +0000 (19:27 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 31 Mar 1997 19:27:09 +0000 (19:27 +0000)
commitfada65f145ff3b6a8126c44a020f2bd40bace3cd
tree6d04c8ac2749fe33956ce4922ed008a31b842708
parenta27aa46fd0abbb441ffd00239177b4e3899f76be
Flush purification queue after loading an option.  Otherwise, if the
option creates a new environment, and that environment has state
variables, the contents of those state variables will be purified at
the time of the next GC.
v7/src/runtime/option.scm