Currently, the following command:

 raco make collects/scribblings/tools/tool-lib-extract.rkt

rapidly consumes all available memory, and has to be killed manually.
-- 
sam th
samth at ccs.neu.edu

Reply via email to