diff --git a/tests/idris2/casetree/casetree003/expected b/tests/idris2/casetree/casetree003/expected index 6ee077bd959..35d8e157da1 100644 --- 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 index 751f37030dd..cc6550b6856 100644 --- 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 index fa3ee0f4cf7..aa77b668be4 100644 --- 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 index 982402c64ef..87d16d6f819 100644 --- 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 index 0fd2899e3b8..99ec8a61c56 100644 --- 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 index e266e71c13c..59cfacb3fc7 100644 --- 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 index 9b08500adb6..654baec5c27 100644 --- 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 index 9f43f8fd71f..dad7e0c95eb 100644 --- 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!