#777 (Nov 1, 2018, 12:54:24 AM)

1. clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc); (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 4 min 22 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 20 min total from scheduled to completion.