From 0b3e04aef069fdadc4905e0891a2e8dfbc8e3ae7 Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 12 Aug 2023 12:57:55 -0700
Subject: [PATCH] update tests for DCon in size change

---
 tests/idris2/casetree003/expected | 2 +-
 tests/idris2/coverage018/expected | 2 ++
 tests/idris2/debug001/expected    | 8 +++++---
 tests/idris2/inlining001/expected | 4 ++++
 tests/idris2/lazy003/expected     | 2 +-
 5 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/tests/idris2/casetree003/expected b/tests/idris2/casetree003/expected
index c737896b6..7545583cc 100644
--- a/tests/idris2/casetree003/expected
+++ b/tests/idris2/casetree003/expected
@@ -14,6 +14,6 @@ Compiled: \ {arg:1}, {arg:2} => case {arg:2} of
 Refers to: Main.view, Main.idL, Prelude.Basics.Nil, Prelude.Basics.(::)
 Refers to (runtime): Main.view, Main.idL, Main.Nil, Main.(::), Prelude.Basics.Nil, Prelude.Basics.(::)
 Flags: covering
-Size change: Main.idL: [Just (0, Same), Just (2, Smaller), Nothing]
+Size change: Prelude.Basics.Nil: [Just (0, Same)], Prelude.Basics.(::): [Just (0, Same), Just (2, Smaller), Nothing], Main.idL: [Just (0, Same), Just (2, Smaller), Nothing]
 Main> 
 Bye for now!
diff --git a/tests/idris2/coverage018/expected b/tests/idris2/coverage018/expected
index 2aab32ecc..1a5cb76d5 100644
--- a/tests/idris2/coverage018/expected
+++ b/tests/idris2/coverage018/expected
@@ -22,6 +22,7 @@ Compiled: \ {arg:0} => case {arg:0} of
   }
 Refers to: Prelude.Basics.True, Prelude.Basics.False
 Flags: allguarded, covering
+Size change: Prelude.Basics.True: [], Prelude.Basics.False: []
 Issue1831_1> 
 Bye for now!
 1/1: Building Issue1831_2 (Issue1831_2.idr)
@@ -48,5 +49,6 @@ Compiled: \ {arg:0} => case {arg:0} of
   }
 Refers to: Prelude.Basics.True, Prelude.Basics.False
 Flags: allguarded, covering
+Size change: Prelude.Basics.True: [], Prelude.Basics.False: []
 Issue1831_2> 
 Bye for now!
diff --git a/tests/idris2/debug001/expected b/tests/idris2/debug001/expected
index 1025d2aa9..865aed30c 100644
--- a/tests/idris2/debug001/expected
+++ b/tests/idris2/debug001/expected
@@ -11,6 +11,7 @@ Compiled: \ {arg:0} => case {arg:0} of
 Refers to: Prelude.Basics.True, Prelude.Basics.False
 Refers to (runtime): Prelude.Types.Nat
 Flags: allguarded, covering
+Size change: Prelude.Basics.True: [], Prelude.Basics.False: []
 Main> Main.isInt32
 Arguments [{arg:0}]
 Compile time tree: case {arg:0} of
@@ -23,6 +24,7 @@ Compiled: \ {arg:0} => case {arg:0} of
 Refers to: Prelude.Basics.True, Prelude.Basics.False
 Refers to (runtime): Int32
 Flags: allguarded, covering
+Size change: Prelude.Basics.True: [], Prelude.Basics.False: []
 Main> Prelude.Types.plus
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: case {arg:0} of
@@ -35,7 +37,7 @@ Compiled: \ {arg:0}, {arg:1} => case {arg:0} of
   }
 Refers to: Prelude.Types.plus, Prelude.Types.S
 Flags: total
-Size change: Prelude.Types.plus: [Just (0, Smaller), Just (1, Same)]
+Size change: Prelude.Types.S: [Nothing], Prelude.Types.plus: [Just (0, Smaller), Just (1, Same)]
 Main> Prelude.Types.minus
 Arguments [{arg:0}, {arg:1}]
 Compile time tree: case {arg:0} of
@@ -63,7 +65,7 @@ Compiled: \ {arg:0}, {arg:1} => case {arg:0} of
 Refers to: Prelude.Types.minus, Prelude.Types.Z
 Refers to (runtime): Prelude.Types.prim__integerToNat
 Flags: total
-Size change: Prelude.Types.minus: [Just (0, Smaller), Just (1, Smaller)]
+Size change: Prelude.Types.Z: [], Prelude.Types.minus: [Just (0, Smaller), Just (1, Smaller)]
 Main> Prelude.Types.SnocList.filter
 Arguments [{arg:0}, {arg:1}, {arg:2}]
 Compile time tree: case {arg:2} of
@@ -78,6 +80,6 @@ Compiled: \ {arg:1}, {arg:2} => case {arg:2} of
 Refers to: Prelude.Basics.SnocList, Prelude.Basics.Lin, Prelude.Types.SnocList.case block in filter, Prelude.Types.SnocList.filter
 Refers to (runtime): Prelude.Basics.Lin, Prelude.Basics.(:<), Prelude.Types.SnocList.filter
 Flags: total
-Size change: Prelude.Types.SnocList.filter: [Just (0, Same), Just (1, Same), Just (2, Smaller)]
+Size change: Prelude.Basics.Lin: [Just (0, Same)], Prelude.Types.SnocList.filter: [Just (0, Same), Just (1, Same), Just (2, Smaller)], Prelude.Basics.(:<): [Just (0, Same), Nothing, Just (2, Smaller)]
 Main> 
 Bye for now!
diff --git a/tests/idris2/inlining001/expected b/tests/idris2/inlining001/expected
index 118c7f2b5..f38209e97 100644
--- a/tests/idris2/inlining001/expected
+++ b/tests/idris2/inlining001/expected
@@ -19,22 +19,26 @@ Compile time tree: 10
 Compiled: 10
 Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering, noinline
+Size change: Prelude.Types.S: [Nothing], Prelude.Types.Z: []
 Main> Main.heuristicPublicInline
 Arguments []
 Compile time tree: 2
 Compiled: 2
 Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: inline, allguarded, covering
+Size change: Prelude.Types.S: [Nothing], Prelude.Types.Z: []
 Main> Main.exportedForced
 Arguments []
 Compile time tree: 33
 Compiled: 33
 Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering, inline
+Size change: Prelude.Types.S: [Nothing], Prelude.Types.Z: []
 Main> Main.exportedUnforced
 Arguments []
 Compile time tree: 66
 Compiled: 66
 Refers to: Prelude.Types.Z, Prelude.Types.S
 Flags: allguarded, covering
+Size change: Prelude.Types.S: [Nothing], Prelude.Types.Z: []
 Main> Bye for now!
diff --git a/tests/idris2/lazy003/expected b/tests/idris2/lazy003/expected
index d6f765214..bccbd8148 100644
--- a/tests/idris2/lazy003/expected
+++ b/tests/idris2/lazy003/expected
@@ -22,5 +22,5 @@ Compiled: \ {arg:0} => let f = Force Lazy (Main.switch {arg:0}) in
 Refers to: Main.case block in switch3, Main.{_:985}, Main.switch, Builtin.Pair, Prelude.Types.Nat
 Refers to (runtime): Main.switch, Builtin.MkPair
 Flags: covering
-Size change: Main.switch: [Just (0, Same)]
+Size change: Main.switch: [Just (0, Same)], Builtin.MkPair: [Nothing, Nothing, Nothing, Nothing]
 Main> Bye for now!