Partially fix page width problem

base/src/test/resources/failure/operator/no-assoc.aya.txt

@@ -5,8 +5,8 @@ In file $FILE:9:24 ->
   9 | def test3 => (suc zero) = (suc (suc zero)) = (suc (suc (suc zero)))
                               ^^
 
-Error: Cannot figure out computation order because `=` (Infix) and `=` (Infix) share
-       the same precedence but no associativity was specified.
+Error: Cannot figure out computation order because `=` (Infix) and `=` (Infix) 
+       share the same precedence but no associativity was specified.
 note: Make them both left/right-associative to resolve this problem.
 
 1 error(s), 0 warning(s).

base/src/test/resources/failure/patterns/confl-literal.aya.txt

@@ -5,26 +5,29 @@ In file $FILE:4:4 ->
   4 |   | 0 => 0
           ^----^
 
-Warning: The 2nd clause dominates the 1st clause. The 1st clause will be unreachable
-
+Warning: The 2nd clause dominates the 1st clause. The 1st clause will be 
+         unreachable
+
 In file $FILE:6:4 ->
 
   4 |   | 0 => 0
   5 |   | a => a
   6 |   | suc a => suc a
           ^------------^
 
-Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be unreachable
-
+Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be 
+         unreachable
+
 In file $FILE:10:4 ->
 
    8 |   | 2147483647 => 3
    9 |   | 2147483647 => 4
   10 |   | 114514 => 1919
            ^------------^
 
-Warning: The 2nd clause dominates the 7th clause. The 7th clause will be unreachable
-
+Warning: The 2nd clause dominates the 7th clause. The 7th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
    1 | open data Nat | zero | suc Nat
@@ -44,25 +47,27 @@ Error: The 7th and the 2nd clauses are not confluent because we failed to unify
          1919
        and
          114514
-
+
 In file $FILE:6:4 ->
 
   4 |   | 0 => 0
   5 |   | a => a
   6 |   | suc a => suc a
           ^------------^
 
-Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be unreachable
-
+Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be 
+         unreachable
+
 In file $FILE:7:4 ->
 
   5 |   | a => a
   6 |   | suc a => suc a
   7 |   | suc (suc a) => a
           ^--------------^
 
-Warning: The 3rd clause dominates the 4th clause. The 4th clause will be unreachable
-
+Warning: The 3rd clause dominates the 4th clause. The 4th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
   1 | open data Nat | zero | suc Nat
@@ -79,25 +84,27 @@ Error: The 3rd and the 4th clauses are not confluent because we failed to unify
          suc (suc a)
        and
          a
-
+
 In file $FILE:9:4 ->
 
   7 |   | suc (suc a) => a
   8 |   | 2147483647 => 3
   9 |   | 2147483647 => 4
           ^-------------^
 
-Warning: The 5th clause dominates the 6th clause. The 6th clause will be unreachable
-
+Warning: The 5th clause dominates the 6th clause. The 6th clause will be 
+         unreachable
+
 In file $FILE:8:4 ->
 
   6 |   | suc a => suc a
   7 |   | suc (suc a) => a
   8 |   | 2147483647 => 3
           ^-------------^
 
-Warning: The 6th clause dominates the 5th clause. The 5th clause will be unreachable
-
+Warning: The 6th clause dominates the 5th clause. The 5th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
   1 | open data Nat | zero | suc Nat
@@ -116,16 +123,17 @@ Error: The 5th and the 6th clauses are not confluent because we failed to unify
          3
        and
          4
-
+
 In file $FILE:9:4 ->
 
   7 |   | suc (suc a) => a
   8 |   | 2147483647 => 3
   9 |   | 2147483647 => 4
           ^-------------^
 
-Warning: The 2nd clause dominates the 6th clause. The 6th clause will be unreachable
-
+Warning: The 2nd clause dominates the 6th clause. The 6th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
   1 | open data Nat | zero | suc Nat
@@ -144,25 +152,27 @@ Error: The 6th and the 2nd clauses are not confluent because we failed to unify
          4
        and
          2147483647
-
+
 In file $FILE:6:4 ->
 
   4 |   | 0 => 0
   5 |   | a => a
   6 |   | suc a => suc a
           ^------------^
 
-Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be unreachable
-
+Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be 
+         unreachable
+
 In file $FILE:7:4 ->
 
   5 |   | a => a
   6 |   | suc a => suc a
   7 |   | suc (suc a) => a
           ^--------------^
 
-Warning: The 3rd clause dominates the 4th clause. The 4th clause will be unreachable
-
+Warning: The 3rd clause dominates the 4th clause. The 4th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
   1 | open data Nat | zero | suc Nat
@@ -179,25 +189,27 @@ Error: The 3rd and the 4th clauses are not confluent because we failed to unify
          suc (suc a)
        and
          a
-
+
 In file $FILE:6:4 ->
 
   4 |   | 0 => 0
   5 |   | a => a
   6 |   | suc a => suc a
           ^------------^
 
-Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be unreachable
-
+Warning: The 2nd clause dominates the 3rd clause. The 3rd clause will be 
+         unreachable
+
 In file $FILE:7:4 ->
 
   5 |   | a => a
   6 |   | suc a => suc a
   7 |   | suc (suc a) => a
           ^--------------^
 
-Warning: The 3rd clause dominates the 4th clause. The 4th clause will be unreachable
-
+Warning: The 3rd clause dominates the 4th clause. The 4th clause will be 
+         unreachable
+
 In file $FILE:3:12 ->
 
   1 | open data Nat | zero | suc Nat
@@ -214,6 +226,6 @@ Error: The 3rd and the 4th clauses are not confluent because we failed to unify
          suc (suc a)
        and
          a
-
-6 error(s), 12 warning(s).
-What are you doing?
+
+6 error(s), 12 warning(s).
+What are you doing?