diff options
| author | Tobias Dammers <tdammers@gmail.com> | 2019-06-12 10:14:59 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-15 22:13:13 -0400 |
| commit | 8d076841cd5a22a43c9f19113a6fbed49de156f8 (patch) | |
| tree | 40f902701499f23d8592b97a46df5f18403eb01a /testsuite/tests/deSugar | |
| parent | 95837c0f573dfa22d93895d4d1ad85d6c8dcbea0 (diff) | |
| download | haskell-8d076841cd5a22a43c9f19113a6fbed49de156f8.tar.gz | |
Make add_info attach unfoldings (#16615)
Diffstat (limited to 'testsuite/tests/deSugar')
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T13208.stdout | 5 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/T16615.stderr | 24 | ||||
| -rw-r--r-- | testsuite/tests/deSugar/should_compile/all.T | 2 |
3 files changed, 21 insertions, 10 deletions
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']) |