clay: don't eagerly build marks

Building the marks adds 50% to the memory requirements for reloading
clay on ~wicdev, from 320MB to 470MB.  This isn't worth it for now.
This commit is contained in:
Philip Monk 2022-11-28 16:11:34 -07:00
parent 38a26041c2
commit cb0bbf1e32

View File

@ -4549,8 +4549,11 @@
|= [=desk =bill]
leaf+"goad: output: {<desk>}: {<bill>}"
=^ agents ..abet (build-agents sat)
=. ..abet
(build-marks (turn (skip sat |=([desk =bill] =(bill ~))) head))
:: TODO: enable if we can reduce memory usage
::
:: =. ..abet
:: (build-marks (turn (skip sat |=([desk =bill] =(bill ~))) head))
::
=. ..abet tare :: [tare] >
(emit hen %pass /lu/load %g %load agents)
:: +override: apply rein to bill