#843 (Apr 13, 2017, 3:40:15 PM)

1. for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness (detail / hgweb)
2. early abort on depth limit (detail / hgweb)
3. obsolete (detail / hgweb)
4. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 38 min total from scheduled to completion.