research/experiments/045-proof-compiler/variants/v2-text.patch


1
2
3
4
5
6
7
8
9
10
11
12

--- linebreak.aup
+++ v2-text.aup
@@ -175,8 +175,6 @@
   }
   let t = Text { codes: codes, cls: cls, eff: eff, joined: joined, start: start, nonspace: nonspace, numeric: numeric, ri: ri,
                  at: at }
-  let out: list of i64 = [0]                                                          # LB2
-  for i in 1 .. codes.count { out.append(i64(decide(t, i))) }
-  if codes.count > 0 { out.append(2) }                                                # LB3
+  let out: list of i64 = [0]
   breaks = bytes(out)
 }