Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
flush an objects cache when mixin in
... if this object already is an mixin. Otherwise when mixin in
several things in a row, it would collect precomputed NFAs and
this would result in bigger files when serializing it.
Example: declare 10 infixes, was 9MB .pir file, is now 1.2MB.
compiling it to pbc took 49s now takes 0.8s.- Loading branch information