<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">

<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>

<head>

<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">

<title>

GitLab

</title>

<style data-premailer="ignore" type="text/css">

a { color: #1068bf; }

</style>

<style>img {

max-width: 100%; height: auto;

}

body {

font-size: 0.875rem;

}

body {

-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;

}

body {

font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;

}

</style>

</head>

<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>

<div class="content">

<h3 style="margin-top: 20px; margin-bottom: 10px;">

Marge Bot pushed to branch master at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>

</h3>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Commits:

</h4>

<ul>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3">cbc03fa0</a></strong>

<div>

<span> by Sebastian Graf </span> <i> at 2023-11-30T12:37:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>perf tests: Move comments into new `Note [Sensitivity to unique increment]` (#19414)

And additionally to T12545, link from T8095, T13386 to this new Note.

</pre>

</li>

</ul>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

4 changed files:

</h4>

<ul>

<li class="file-stats">

<a href="#d9fac726bc04134d1fc9192a8aa5227ded6ada3f">

testsuite/tests/perf/compiler/T12545.hs

</a>

</li>

<li class="file-stats">

<a href="#8e53a55623d70cd0c9e0f0f71feaea24ec1e5066">

testsuite/tests/perf/compiler/T13386.hs

</a>

</li>

<li class="file-stats">

<a href="#9bbb72a3477960b1480a45eb8fcd644645e2d60c">

testsuite/tests/perf/compiler/T8095.hs

</a>

</li>

<li class="file-stats">

<a href="#fd4a0b65d74153aed8b33b01a04eb3ff7442cd45">

testsuite/tests/perf/compiler/all.T

</a>

</li>

</ul>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Changes:

</h4>

<li id="d9fac726bc04134d1fc9192a8aa5227ded6ada3f">

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3#d9fac726bc04134d1fc9192a8aa5227ded6ada3f"><strong style="font-weight: bold;">testsuite/tests/perf/compiler/T12545.hs</strong></a>

<hr style="overflow: hidden; border: 1px solid #e1e1e1;">

<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="15" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="15" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -15,6 +15,29 @@ type instance ElemsOf A = [ T1, T2, T3, T4, T5, T6, T7, T8</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="15" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

15

</td>

<td class="new_line diff-line-num" data-linenumber="15" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

15

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC15" class="line" lang="haskell">                          <span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T25</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T26</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T27</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T28</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T29</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T30</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T31</span><span class="p">,</span> <span class="kt" style="color: #458; font-weight: 600;">T32</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="16" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

16

</td>

<td class="new_line diff-line-num" data-linenumber="16" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

16

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC16" class="line" lang="haskell">                          <span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="17" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

17

</td>

<td class="new_line diff-line-num" data-linenumber="17" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

17

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC17" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

18

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC18" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">{- Note [Sensitivity to unique increment]</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

19

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC19" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

20

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC20" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">T12545 is sensitive to -dunique-increments changes, see #19414. I've seen</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="21" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

21

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC21" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">variations of as much as 4.8% by playing with that parameter.</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="22" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

22

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC22" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="23" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

23

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC23" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">The issue with this test is that it does too little so is very sensitive to</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="24" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

24

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC24" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">any small variations during initialisation and in particular populating the</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="25" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

25

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC25" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">initial environments with wired-in things. Therefore it has a very high change</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="26" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

26

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC26" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">threshold so we catch if it regresses a lot but don't worry if it regresses a little.</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="27" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

27

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC27" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="28" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

28

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC28" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">You can measure the variance by running T12545.measure.sh.</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="29" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

29

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC29" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="30" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

30

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC30" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">Whenever we identify such a test (T8095 being another example), we leave a link</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="31" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

31

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC31" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">to this Note in the source code of the test *and* in the corresponding all.T,</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="32" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

32

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC32" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">detailing the spread as measured by adjusting T12545.measure.sh.</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="33" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

33

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC33" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">For example,</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="34" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

34

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC34" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="35" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

35

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC35" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;"># See Note [Sensitivity to unique increment] in T12545.hs; spread was 4.8%</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="36" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

36

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC36" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="37" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

37

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC37" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">and then double the spread to come up with a stable acceptance threshold (e.g.,</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="38" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

38

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC38" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">10%).</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="39" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

39

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC39" class="line" lang="haskell"><span class="cm" style="color: #998; font-style: italic;">-}</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="40" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

40

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC40" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

18

</td>

<td class="new_line diff-line-num" data-linenumber="41" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

41

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC41" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">data</span> <span class="kt" style="color: #458; font-weight: 600;">T1</span><span class="p">;</span> <span class="kr" style="font-weight: 600;">instance</span> <span class="kt" style="color: #458; font-weight: 600;">ElemOf</span> <span class="kt" style="color: #458; font-weight: 600;">A</span> <span class="kt" style="color: #458; font-weight: 600;">T1</span> <span class="kr" style="font-weight: 600;">where</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

19

</td>

<td class="new_line diff-line-num" data-linenumber="42" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

42

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC42" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">data</span> <span class="kt" style="color: #458; font-weight: 600;">T2</span><span class="p">;</span> <span class="kr" style="font-weight: 600;">instance</span> <span class="kt" style="color: #458; font-weight: 600;">ElemOf</span> <span class="kt" style="color: #458; font-weight: 600;">A</span> <span class="kt" style="color: #458; font-weight: 600;">T2</span> <span class="kr" style="font-weight: 600;">where</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

20

</td>

<td class="new_line diff-line-num" data-linenumber="43" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

43

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC43" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">data</span> <span class="kt" style="color: #458; font-weight: 600;">T3</span><span class="p">;</span> <span class="kr" style="font-weight: 600;">instance</span> <span class="kt" style="color: #458; font-weight: 600;">ElemOf</span> <span class="kt" style="color: #458; font-weight: 600;">A</span> <span class="kt" style="color: #458; font-weight: 600;">T3</span> <span class="kr" style="font-weight: 600;">where</span></span>

</pre></td>

</tr>

</table>

<br>

</li>

<li id="8e53a55623d70cd0c9e0f0f71feaea24ec1e5066">

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3#8e53a55623d70cd0c9e0f0f71feaea24ec1e5066"><strong style="font-weight: bold;">testsuite/tests/perf/compiler/T13386.hs</strong></a>

<hr style="overflow: hidden; border: 1px solid #e1e1e1;">

<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

1

</td>

<td class="new_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

1

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC1" class="line" lang="haskell"><span class="cp" style="color: #999; font-weight: 600;">{-# LANGUAGE DataKinds, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

2

</td>

<td class="new_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

2

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC2" class="line" lang="haskell"><span class="cp" style="color: #999; font-weight: 600;">{-# OPTIONS_GHC -O0 -freduction-depth=500 #-}</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

3

</td>

<td class="new_line diff-line-num old" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC3" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

3

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC3" class="line" lang="haskell"><span class="c1" style="color: #998; font-style: italic;">-- Subject to Note [Sensitivity to unique increment] with spread of 1.5%</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

4

</td>

<td class="new_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

4

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC4" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">module</span> <span class="nn" style="color: #555;">T13386</span> <span class="kr" style="font-weight: 600;">where</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

5

</td>

<td class="new_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

5

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC5" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

6

</td>

<td class="new_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

6

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC6" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">import</span> <span class="nn" style="color: #555;">GHC.TypeLits</span></span>

</pre></td>

</tr>

</table>

<br>

</li>

<li id="9bbb72a3477960b1480a45eb8fcd644645e2d60c">

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3#9bbb72a3477960b1480a45eb8fcd644645e2d60c"><strong style="font-weight: bold;">testsuite/tests/perf/compiler/T8095.hs</strong></a>

<hr style="overflow: hidden; border: 1px solid #e1e1e1;">

<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

1

</td>

<td class="new_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

1

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC1" class="line" lang="haskell"><span class="cp" style="color: #999; font-weight: 600;">{-# OPTIONS_GHC -freduction-depth=1000 #-}</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

2

</td>

<td class="new_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

2

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC2" class="line" lang="haskell"><span class="cp" style="color: #999; font-weight: 600;">{-# LANGUAGE TypeOperators,DataKinds,KindSignatures,TypeFamilies,PolyKinds,UndecidableInstances #-}</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

3

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC3" class="line" lang="haskell"><span class="c1" style="color: #998; font-style: italic;">-- Subject to Note [Sensitivity to unique increment] with spread of 1.7%</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

3

</td>

<td class="new_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

4

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC4" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">import</span> <span class="nn" style="color: #555;">GHC.TypeLits</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

4

</td>

<td class="new_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

5

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC5" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">data</span> <span class="kt" style="color: #458; font-weight: 600;">Nat1</span> <span class="o" style="font-weight: 600;">=</span> <span class="kt" style="color: #458; font-weight: 600;">Zero</span> <span class="o" style="font-weight: 600;">|</span> <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="kt" style="color: #458; font-weight: 600;">Nat1</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="5" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

5

</td>

<td class="new_line diff-line-num" data-linenumber="6" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

6

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC6" class="line" lang="haskell"><span class="kr" style="font-weight: 600;">type</span> <span class="n" style="color: #333;">family</span> <span class="kt" style="color: #458; font-weight: 600;">Replicate1</span> <span class="p">(</span><span class="n" style="color: #333;">n</span> <span class="o" style="font-weight: 600;">::</span> <span class="kt" style="color: #458; font-weight: 600;">Nat1</span><span class="p">)</span> <span class="p">(</span><span class="n" style="color: #333;">x</span><span class="o" style="font-weight: 600;">::</span><span class="n" style="color: #333;">a</span><span class="p">)</span> <span class="o" style="font-weight: 600;">::</span> <span class="p">[</span><span class="n" style="color: #333;">a</span><span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="16" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="17" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -16,4 +17,3 @@ instance (xs ~ Replicate1 ( Succ (  Succ (  Succ (  Succ (  Succ (  Succ (  Succ</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="16" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

16

</td>

<td class="new_line diff-line-num" data-linenumber="17" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

17

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC17" class="line" lang="haskell">    <span class="n" style="color: #333;">f</span> <span class="kt" style="color: #458; font-weight: 600;">X</span> <span class="o" style="font-weight: 600;">=</span> <span class="kt" style="color: #458; font-weight: 600;">Y</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="17" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

17

</td>

<td class="new_line diff-line-num" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

18

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC18" class="line" lang="haskell">    <span class="n" style="color: #333;">f</span> <span class="kt" style="color: #458; font-weight: 600;">Y</span> <span class="o" style="font-weight: 600;">=</span> <span class="kt" style="color: #458; font-weight: 600;">X</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="18" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

18

</td>

<td class="new_line diff-line-num" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

19

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC19" class="line" lang="haskell"><span class="n" style="color: #333;">test1</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">f</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">X</span> <span class="o" style="font-weight: 600;">::</span> <span class="kt" style="color: #458; font-weight: 600;">Data</span> <span class="p">(</span> <span class="kt" style="color: #458; font-weight: 600;">Replicate1</span> <span class="p">(</span> <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Succ</span> <span class="p">(</span>  <span class="kt" style="color: #458; font-weight: 600;">Zero</span> <span class="p">)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))</span> <span class="nb" style="color: #0086b3;">()</span> <span class="p">))</span></span></pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

19

</td>

<td class="new_line diff-line-num old" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC19" class="line" lang="haskell"></span></pre></td>

</tr>

</table>

<br>

</li>

<li id="fd4a0b65d74153aed8b33b01a04eb3ff7442cd45">

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3#fd4a0b65d74153aed8b33b01a04eb3ff7442cd45"><strong style="font-weight: bold;">testsuite/tests/perf/compiler/all.T</strong></a>

<hr style="overflow: hidden; border: 1px solid #e1e1e1;">

<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="167" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="167" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -167,14 +167,18 @@ test('T9872d',</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="167" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

167

</td>

<td class="new_line diff-line-num" data-linenumber="167" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

167

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC167" class="line" lang="perl">      <span class="p">],</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="168" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

168

</td>

<td class="new_line diff-line-num" data-linenumber="168" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

168

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC168" class="line" lang="perl">     <span class="nv" style="color: #008080;">compile</span><span class="p">,</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="169" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

169

</td>

<td class="new_line diff-line-num" data-linenumber="169" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

169

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC169" class="line" lang="perl">     <span class="p">[''])</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="170" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="170" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

170

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC170" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># Since major improvements to T8095 in in</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="170" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="171" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

171

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC171" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># 4bf9fa0f216bb294c1bd3644363b008a8643a653 it is subject to</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="170" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="172" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

172

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC172" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># Note [Sensitivity to unique increment] in T12545.hs; spread was 1.7%</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="170" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

170

</td>

<td class="new_line diff-line-num" data-linenumber="173" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

173

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC173" class="line" lang="perl"><span class="nv" style="color: #008080;">test</span> <span class="p">('</span><span class="s1" style="color: #d14;">T8095</span><span class="p">',</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="171" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

171

</td>

<td class="new_line diff-line-num" data-linenumber="174" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

174

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC174" class="line" lang="perl">      <span class="p">[</span> <span class="nv" style="color: #008080;">only_ways</span><span class="p">(['</span><span class="s1" style="color: #d14;">normal</span><span class="p">']),</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="172" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

172

</td>

<td class="new_line diff-line-num old" data-linenumber="175" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC172" class="line" lang="perl">        <span class="nv" style="color: #008080;">collect_compiler_stats</span><span class="p">('</span><span class="s1" style="color: #d14;">bytes allocated</span><span class="p">',</span><span class="mi" style="color: #099;"><span class="idiff left right deletion" style="background-color: #fac5cd;">2</span></span><span class="p">)</span> <span class="p">],</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="173" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="175" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

175

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC175" class="line" lang="perl">        <span class="nv" style="color: #008080;">collect_compiler_stats</span><span class="p">('</span><span class="s1" style="color: #d14;">bytes allocated</span><span class="p">',</span><span class="mi" style="color: #099;"><span class="idiff left right addition" style="background-color: #c7f0d2;">4</span></span><span class="p">)</span> <span class="p">],</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="173" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

173

</td>

<td class="new_line diff-line-num" data-linenumber="176" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

176

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC176" class="line" lang="perl">      <span class="nv" style="color: #008080;">compile</span><span class="p">,</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="174" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

174

</td>

<td class="new_line diff-line-num" data-linenumber="177" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

177

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC177" class="line" lang="perl">      <span class="p">['</span><span class="s1" style="color: #d14;">-v0 -O</span><span class="p">'])</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="175" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="178" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

178

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC178" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># See Note [Sensitivity to unique increment] in T12545.hs; spread was 1.5%</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="175" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

175

</td>

<td class="new_line diff-line-num" data-linenumber="179" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

179

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC179" class="line" lang="perl"><span class="nv" style="color: #008080;">test</span> <span class="p">('</span><span class="s1" style="color: #d14;">T13386</span><span class="p">',</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="176" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

176

</td>

<td class="new_line diff-line-num" data-linenumber="180" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

180

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC180" class="line" lang="perl">      <span class="p">[</span> <span class="nv" style="color: #008080;">only_ways</span><span class="p">(['</span><span class="s1" style="color: #d14;">normal</span><span class="p">']),</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="177" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

177

</td>

<td class="new_line diff-line-num old" data-linenumber="181" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC177" class="line" lang="perl">        <span class="nv" style="color: #008080;">collect_compiler_stats</span><span class="p">('</span><span class="s1" style="color: #d14;">bytes allocated</span><span class="p">',</span><span class="mi" style="color: #099;"><span class="idiff left right deletion" style="background-color: #fac5cd;">1</span></span><span class="p">)</span> <span class="p">],</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="178" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="181" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

181

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC181" class="line" lang="perl">        <span class="nv" style="color: #008080;">collect_compiler_stats</span><span class="p">('</span><span class="s1" style="color: #d14;">bytes allocated</span><span class="p">',</span><span class="mi" style="color: #099;"><span class="idiff left right addition" style="background-color: #c7f0d2;">3</span></span><span class="p">)</span> <span class="p">],</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="178" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

178

</td>

<td class="new_line diff-line-num" data-linenumber="182" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

182

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC182" class="line" lang="perl">      <span class="nv" style="color: #008080;">compile</span><span class="p">,</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="179" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

179

</td>

<td class="new_line diff-line-num" data-linenumber="183" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

183

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC183" class="line" lang="perl">      <span class="p">['</span><span class="s1" style="color: #d14;">-v0 -O0</span><span class="p">'])</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="180" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

180

</td>

<td class="new_line diff-line-num" data-linenumber="184" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

184

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC184" class="line" lang="perl"></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="261" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="265" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -261,15 +265,7 @@ test('T12234',</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="261" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

261

</td>

<td class="new_line diff-line-num" data-linenumber="265" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

265

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC265" class="line" lang="perl">     <span class="nv" style="color: #008080;">compile</span><span class="p">,</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="262" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

262

</td>

<td class="new_line diff-line-num" data-linenumber="266" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

266

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC266" class="line" lang="perl">     <span class="p">[''])</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="263" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

263

</td>

<td class="new_line diff-line-num" data-linenumber="267" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

267

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC267" class="line" lang="perl"></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="264" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

264

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC264" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># T12545 is sensitive to -dunique-increments changes, see #19414. I've seen</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="265" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

265

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC265" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># variations of as much as 4.8% by playing with that parameter,</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="266" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

266

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC266" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;">#</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="267" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

267

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC267" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># The issue with the test is that it does too little so is very sensitive to</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

268

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC268" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># any small variations during initialisation and in particular populating the</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="269" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

269

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC269" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># initial environments with wired-in things. Therefore it has a very high change</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="270" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

270

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC270" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># threshold so we catch if it regresses a lot but don't worry if it regresses a little.</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="271" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

271

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC271" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;">#</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="272" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

272

</td>

<td class="new_line diff-line-num old" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC272" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># You can measure the variance by running T12545.measure.sh.</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="273" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="268" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

268

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC268" class="line" lang="perl"><span class="c1" style="color: #998; font-style: italic;"># See Note [Sensitivity to unique increment] in T12545.hs; spread was 4.8%</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="273" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

273

</td>

<td class="new_line diff-line-num" data-linenumber="269" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

269

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC269" class="line" lang="perl"><span class="nv" style="color: #008080;">test</span><span class="p">('</span><span class="s1" style="color: #d14;">T12545</span><span class="p">',</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="274" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

274

</td>

<td class="new_line diff-line-num" data-linenumber="270" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

270

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC270" class="line" lang="perl">     <span class="p">[</span> <span class="nv" style="color: #008080;">only_ways</span><span class="p">(['</span><span class="s1" style="color: #d14;">normal</span><span class="p">']),</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="275" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

275

</td>

<td class="new_line diff-line-num" data-linenumber="271" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

271

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC271" class="line" lang="perl">       <span class="nv" style="color: #008080;">collect_compiler_stats</span><span class="p">('</span><span class="s1" style="color: #d14;">bytes allocated</span><span class="p">',</span> <span class="mi" style="color: #099;">10</span><span class="p">),</span> <span class="c1" style="color: #998; font-style: italic;">#</span></span>

</pre></td>

</tr>

</table>

<br>

</li>

</div>

<div class="footer" style="margin-top: 10px;">

<p style="font-size: small; color: #737278;">

—

<br>

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3">View it on GitLab</a>.

<br>

You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>

<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://gitlab.haskell.org/ghc/ghc/-/commit/cbc03fa0a2cf167d5c688f0f5bd4a2c9651888b3"}}</script>

</p>

</div>

</body>

</html>