[ cleanup ] bring formatting of sc-graphs in tests back in sync

idris-lang · Nov 2, 2023 · 0061431 · 0061431
1 parent 61b27e1
commit 0061431
Show file tree

Hide file tree

Showing 8 changed files with 130 additions and 86 deletions.
diff --git a/tests/idris2/casetree/casetree003/expected b/tests/idris2/casetree/casetree003/expected
@@ -16,15 +16,18 @@ Refers to (runtime): Main.view, Main.idL, Main.Nil, Main.(::), Prelude.Basics.Ni
 Flags: covering
 Size change:
   Prelude.Basics.Nil:
-      0   1   2
-  0   =   <   <
+    l 0 1 2
+  r +------
+  0 | = < <
   Prelude.Basics.(::):
-      0   1   2
-  0   =   <   <
-  1       <   <
+    l 0 1 2
+  r +------
+  0 | = < <
+  1 |   < <
   Main.idL:
-      0   1   2
-  0   =   <   <
-  1       <   <
+    l 0 1 2
+  r +------
+  0 | = < <
+  1 |   < <
 Main> 
 Bye for now!
diff --git a/tests/idris2/coverage/coverage018/expected b/tests/idris2/coverage/coverage018/expected
@@ -24,9 +24,11 @@ Refers to: Prelude.Basics.True, Prelude.Basics.False
 Flags: allguarded, covering
 Size change:
   Prelude.Basics.True:
-      0
+    l
+  r +
   Prelude.Basics.False:
-      0
+    l
+  r +
 Issue1831_1> 
 Bye for now!
 1/1: Building Issue1831_2 (Issue1831_2.idr)
@@ -55,8 +57,10 @@ Refers to: Prelude.Basics.True, Prelude.Basics.False
 Flags: allguarded, covering
 Size change:
   Prelude.Basics.True:
-      0
+    l
+  r +
   Prelude.Basics.False:
-      0
+    l
+  r +
 Issue1831_2> 
 Bye for now!
diff --git a/tests/idris2/debug/debug001/expected b/tests/idris2/debug/debug001/expected
@@ -13,9 +13,11 @@ Refers to (runtime): Prelude.Types.Nat
 Flags: allguarded, covering
 Size change:
   Prelude.Basics.True:
-      0
+    l
+  r +
   Prelude.Basics.False:
-      0
+    l
+  r +
 Main> Main.isInt32
 Arguments [{arg:0}]
 Compile time tree: case {arg:0} of
@@ -30,9 +32,11 @@ Refers to (runtime): Int32
 Flags: allguarded, covering
 Size change:
   Prelude.Basics.True:
-      0
+    l
+  r +
   Prelude.Basics.False:
-      0
+    l
+  r +
 Main> Prelude.Types.plus
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: case {arg:0} of
@@ -47,11 +51,13 @@ Refers to: Prelude.Types.plus, Prelude.Types.S
 Flags: total
 Size change:
   Prelude.Types.S:
-      0
+    l
+  r +
   Prelude.Types.plus:
-      0   1
-  0   <
-  1       =
+    l 0 1
+  r +----
+  0 | <
+  1 |   =
 Main> Prelude.Types.minus
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: case {arg:0} of
@@ -81,11 +87,13 @@ Refers to (runtime): Prelude.Types.prim__integerToNat
 Flags: total
 Size change:
   Prelude.Types.Z:
-      0
+    l
+  r +
   Prelude.Types.minus:
-      0   1
-  0   <
-  1       <
+    l 0 1
+  r +----
+  0 | <
+  1 |   <
 Main> Prelude.Types.SnocList.filter
 Arguments [{arg:0}, {arg:1}, {arg:2}]
 Compile time tree: case {arg:2} of
@@ -102,16 +110,19 @@ Refers to (runtime): Prelude.Basics.Lin, Prelude.Basics.(:<), Prelude.Types.Snoc
 Flags: total
 Size change:
   Prelude.Basics.Lin:
-      0   1   2
-  0   =       <
+    l 0 1 2
+  r +------
+  0 | =   <
   Prelude.Types.SnocList.filter:
-      0   1   2
-  0   =       <
-  1       =
-  2           <
+    l 0 1 2
+  r +------
+  0 | =   <
+  1 |   =
+  2 |     <
   Prelude.Basics.(:<):
-      0   1   2
-  0   =       <
-  2           <
+    l 0 1 2
+  r +------
+  0 | =   <
+  2 |     <
 Main> 
 Bye for now!
diff --git a/tests/idris2/misc/inlining001/expected b/tests/idris2/misc/inlining001/expected
@@ -7,8 +7,9 @@ Refers to: Prelude.Types.String.(++)
 Flags: covering
 Size change:
   Prelude.Types.String.(++):
-      0
-  0   =
+    l 0
+  r +--
+  0 | =
 Main> Main.forceInline
 Arguments [{arg:0}]
 Compile time tree: {arg:0} + 10
@@ -17,10 +18,12 @@ Refers to: Prelude.Types.Num implementation at Prelude.Types:66:1--71:33, Prelud
 Flags: covering, inline
 Size change:
   Prelude.Num.(+):
-      0
-  2   =
+    l 0
+  r +--
+  2 | =
   Prelude.Types.Num implementation at Prelude.Types:66:1--71:33:
-      0
+    l
+  r +
 Main> Main.forceNoInline
 Arguments []
 Compile time tree: 10
@@ -29,9 +32,11 @@ Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering, noinline
 Size change:
   Prelude.Types.S:
-      0
+    l
+  r +
   Prelude.Types.Z:
-      0
+    l
+  r +
 Main> Main.heuristicPublicInline
 Arguments []
 Compile time tree: 2
@@ -40,9 +45,11 @@ Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: inline, allguarded, covering
 Size change:
   Prelude.Types.S:
-      0
+    l
+  r +
   Prelude.Types.Z:
-      0
+    l
+  r +
 Main> Main.exportedForced
 Arguments []
 Compile time tree: 33
@@ -51,9 +58,11 @@ Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering, inline
 Size change:
   Prelude.Types.S:
-      0
+    l
+  r +
   Prelude.Types.Z:
-      0
+    l
+  r +
 Main> Main.exportedUnforced
 Arguments []
 Compile time tree: 66
@@ -62,7 +71,9 @@ Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering
 Size change:
   Prelude.Types.S:
-      0
+    l
+  r +
   Prelude.Types.Z:
-      0
+    l
+  r +
 Main> Bye for now!
diff --git a/tests/idris2/misc/lazy003/expected b/tests/idris2/misc/lazy003/expected
@@ -24,8 +24,10 @@ Refers to (runtime): Main.switch, Builtin.MkPair
 Flags: covering
 Size change:
   Main.switch:
-      0
-  0   =
+    l 0
+  r +--
+  0 | =
   Builtin.MkPair:
-      0
+    l
+  r +
 Main> Bye for now!
diff --git a/tests/idris2/reg/reg042/expected b/tests/idris2/reg/reg042/expected
@@ -7,9 +7,10 @@ Refers to: Prelude.Types.plus
 Flags: covering
 Size change:
   Prelude.Types.plus:
-      0   1
-  0   =
-  1       =
+    l 0 1
+  r +----
+  0 | =
+  1 |   =
 Main> Main.doMinus
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: minus {arg:0} {arg:1}
@@ -19,9 +20,10 @@ Refers to (runtime): Prelude.Types.prim__integerToNat
 Flags: covering
 Size change:
   Prelude.Types.minus:
-      0   1
-  0   =
-  1       =
+    l 0 1
+  r +----
+  0 | =
+  1 |   =
 Main> Main.doMult
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: mult {arg:0} {arg:1}
@@ -30,9 +32,10 @@ Refers to: Prelude.Types.mult
 Flags: covering
 Size change:
   Prelude.Types.mult:
-      0   1
-  0   =
-  1       =
+    l 0 1
+  r +----
+  0 | =
+  1 |   =
 Main> Main.doCompare
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: compareNat {arg:0} {arg:1}
@@ -42,9 +45,10 @@ Refers to (runtime): Prelude.EqOrd.compare
 Flags: covering
 Size change:
   Prelude.Types.compareNat:
-      0   1
-  0   =
-  1       =
+    l 0 1
+  r +----
+  0 | =
+  1 |   =
 Main> Main.doEqual
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: equalNat {arg:0} {arg:1}
@@ -53,7 +57,8 @@ Refers to: Prelude.Types.equalNat
 Flags: covering
 Size change:
   Prelude.Types.equalNat:
-      0   1
-  0   =
-  1       =
+    l 0 1
+  r +----
+  0 | =
+  1 |   =
 Main> Bye for now!
diff --git a/tests/idris2/total/total022/expected b/tests/idris2/total/total022/expected
@@ -27,23 +27,28 @@ Refers to (runtime): Main.f, Prelude.Basics.Nil, Prelude.Basics.(::), Builtin.Mk
 Flags: total
 Size change:
   Builtin.MkUnit:
-      0
+    l
+  r +
   Main.f:
-      0   1   2
-  0   <
-  1       =
-  2           =
+    l 0 1 2
+  r +------
+  0 | <
+  1 |   =
+  2 |     =
   Builtin.(===):
-      0
-  1   <
+    l 0
+  r +--
+  1 | <
   Main.f:
-      0   1   2   3
-  0   <       =   <
-  1   <   =       <
-  2   <       =   <
+    l 0 1 2 3
+  r +--------
+  0 | <   = <
+  1 | < =   <
+  2 | <   = <
   Builtin.(===):
-      0   1   2   3
-  0               <
-  1   <       =   <
-  2   =           <
+    l 0 1 2 3
+  r +--------
+  0 |       <
+  1 | <   = <
+  2 | =     <
 Main> Bye for now!
diff --git a/tests/idris2/total/total023/expected b/tests/idris2/total/total023/expected
@@ -15,13 +15,16 @@ Refers to (runtime): Main.addord_lim, Main.addord, Main.S, Main.O, Main.Lim
 Flags: total
 Size change:
   Main.S:
-      0
+    l
+  r +
   Main.addord:
-      0   1
-  0   <
-  1       =
+    l 0 1
+  r +----
+  0 | <
+  1 |   =
   Main.addord_lim:
-      0   1
-  0   <
-  1       =
+    l 0 1
+  r +----
+  0 | <
+  1 |   =
 Main> Bye for now!