You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A long theory atom (&sum { … }) that overflows the line now breaks at its
operators — one operand per line, each 10 * cost(a) whole — instead of
overrunning the width or breaking inside a term. Where every operator in the
run is a standard term operator, morphe groups the run by their precedence and
breaks at the loosest level present; a run carrying any other operator breaks
between its terms. Long regular operator chains (X = 10 * a + 10 * b + …) and
disjunction heads (a | b | …) break the same way, and a theory guard's
operand stays indented as a continuation of its atom's line. Layout only — the
certificate and idempotence are unchanged, so a file morphe already accepted
formats to the same tokens. (#1)