From 8d076841cd5a22a43c9f19113a6fbed49de156f8 Mon Sep 17 00:00:00 2001
From: Tobias Dammers <tdammers@gmail.com>
Date: Wed, 12 Jun 2019 10:14:59 +0200
Subject: Make add_info attach unfoldings (#16615)

---
 .../tests/deSugar/should_compile/T13208.stdout     |  5 +++++
 .../tests/deSugar/should_compile/T16615.stderr     | 24 ++++++++++++++--------
 testsuite/tests/deSugar/should_compile/all.T       |  2 +-
 3 files changed, 21 insertions(+), 10 deletions(-)

(limited to 'testsuite/tests/deSugar')

diff --git a/testsuite/tests/deSugar/should_compile/T13208.stdout b/testsuite/tests/deSugar/should_compile/T13208.stdout
index 2917dddfea..d2e0c1fd05 100644
--- a/testsuite/tests/deSugar/should_compile/T13208.stdout
+++ b/testsuite/tests/deSugar/should_compile/T13208.stdout
@@ -1 +1,6 @@
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True,
+         Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
 f = \ (@ p) _ [Occ=Dead] -> GHC.Types.True
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 80 30}]
diff --git a/testsuite/tests/deSugar/should_compile/T16615.stderr b/testsuite/tests/deSugar/should_compile/T16615.stderr
index ba79cbf63c..41b754c37e 100644
--- a/testsuite/tests/deSugar/should_compile/T16615.stderr
+++ b/testsuite/tests/deSugar/should_compile/T16615.stderr
@@ -5,7 +5,9 @@ Result size of Desugar (after optimization)
 
 -- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0}
 T16615.$trModule :: GHC.Types.Module
-[LclIdX]
+[LclIdX,
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 80 30}]
 T16615.$trModule
   = GHC.Types.Module
       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T16615"#)
@@ -13,19 +15,23 @@ T16615.$trModule
 Rec {
 -- RHS size: {terms: 14, types: 4, coercions: 0, joins: 0/0}
 g :: Int -> Bool
-[LclIdX]
-g = \ (i_a26O :: Int) ->
-      case == @ Int GHC.Classes.$fEqInt i_a26O (GHC.Types.I# 0#) of {
-        False -> f (pred @ Int GHC.Enum.$fEnumInt i_a26O);
+[LclIdX,
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 120 10}]
+g = \ (i :: Int) ->
+      case == @ Int GHC.Classes.$fEqInt i (GHC.Types.I# 0#) of {
+        False -> f (pred @ Int GHC.Enum.$fEnumInt i);
         True -> GHC.Types.False
       }
 
 -- RHS size: {terms: 14, types: 4, coercions: 0, joins: 0/0}
 f [Occ=LoopBreaker] :: Int -> Bool
-[LclIdX]
-f = \ (i_aWp :: Int) ->
-      case == @ Int GHC.Classes.$fEqInt i_aWp (GHC.Types.I# 0#) of {
-        False -> g (pred @ Int GHC.Enum.$fEnumInt i_aWp);
+[LclIdX,
+ Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
+         WorkFree=True, Expandable=True, Guidance=IF_ARGS [0] 120 10}]
+f = \ (i :: Int) ->
+      case == @ Int GHC.Classes.$fEqInt i (GHC.Types.I# 0#) of {
+        False -> g (pred @ Int GHC.Enum.$fEnumInt i);
         True -> GHC.Types.True
       }
 end Rec }
diff --git a/testsuite/tests/deSugar/should_compile/all.T b/testsuite/tests/deSugar/should_compile/all.T
index e678b3beca..5369b3f473 100644
--- a/testsuite/tests/deSugar/should_compile/all.T
+++ b/testsuite/tests/deSugar/should_compile/all.T
@@ -107,4 +107,4 @@ test('T14773a', normal, compile, ['-Wincomplete-patterns'])
 test('T14773b', normal, compile, ['-Wincomplete-patterns'])
 test('T14815', [], makefile_test, ['T14815'])
 test('T13208', [], makefile_test, ['T13208'])
-test('T16615', normal, compile, ['-ddump-ds'])
+test('T16615', normal, compile, ['-ddump-ds -dsuppress-uniques'])
-- 
cgit v1.2.1