Skip to content
Snippets Groups Projects
Commit 059acb11 authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

Update output for nullary TyConApp optimisation (ghc/ghc!2952)

parent c577da9c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
html-test/ref/TypeFamilies.html
+ 105
− 105
View file @ 059acb11
......@@ -222,37 +222,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"
></span
> '<a href="#" title="TypeFamilies"
>XX</a
> <a href="#" title="TypeFamilies"
>&gt;&lt;</a
> '<a href="#" title="TypeFamilies"
>XXX</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
><td colspan="2"
><details id="i:id:X:-62--60-:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>TypeFamilies</a
></p
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:1"
></span
> <a href="#" title="TypeFamilies"
>Assoc</a
......@@ -269,7 +239,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:Assoc:2"
><details id="i:id:X:Assoc:1"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -306,7 +276,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:2"
></span
> <a href="#" title="TypeFamilies"
>Test</a
......@@ -323,7 +293,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:Test:3"
><details id="i:id:X:Test:2"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -336,68 +306,56 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:3"
></span
> <span class="keyword"
>type</span
> <a href="#" title="TypeFamilies2"
>Foo</a
> '<a href="#" title="TypeFamilies"
>XX</a
> <a href="#" title="TypeFamilies"
>X</a
>&gt;&lt;</a
> '<a href="#" title="TypeFamilies"
>XXX</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc"
><p
>External instance</p
></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
><td colspan="2"
><details id="i:id:X:Foo:4"
><details id="i:id:X:-62--60-:3"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>TypeFamilies</a
></p
> <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies2"
>Foo</a
> <a href="#" title="TypeFamilies"
>X</a
> = <a href="#" title="TypeFamilies"
>Y</a
></div
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:5"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
></span
> <span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies2"
>Foo</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
>X</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc empty"
>&nbsp;</td
><td class="doc"
><p
>External instance</p
></td
></tr
><tr
><td colspan="2"
><details id="i:id:X:-60--62-:5"
><details id="i:id:X:Foo:4"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -407,14 +365,12 @@
> <div class="src"
><span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies2"
>Foo</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
> = '<a href="#" title="TypeFamilies"
>X</a
> = <a href="#" title="TypeFamilies"
>Y</a
></div
></details
></td
......@@ -422,7 +378,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:6"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:5"
></span
> <span class="keyword"
>data</span
......@@ -439,7 +395,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:AssocD:6"
><details id="i:id:X:AssocD:5"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -462,7 +418,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:7"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:6"
></span
> <span class="keyword"
>type</span
......@@ -479,7 +435,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:AssocT:7"
><details id="i:id:X:AssocT:6"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -506,7 +462,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:8"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:7"
></span
> <span class="keyword"
>data</span
......@@ -525,7 +481,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:Bat:8"
><details id="i:id:X:Bat:7"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -572,7 +528,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:9"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:8"
></span
> <span class="keyword"
>type</span
......@@ -591,7 +547,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:Foo:9"
><details id="i:id:X:Foo:8"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -614,7 +570,7 @@
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:9"
></span
> <span class="keyword"
>type</span
......@@ -633,7 +589,7 @@
></tr
><tr
><td colspan="2"
><details id="i:id:X:-60--62-:10"
><details id="i:id:X:-60--62-:9"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
......@@ -655,6 +611,50 @@
></details
></td
></tr
><tr
><td class="src clearfix"
><span class="inst-left"
><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
></span
> <span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
></span
> <a href="#" class="selflink"
>#</a
></td
><td class="doc empty"
>&nbsp;</td
></tr
><tr
><td colspan="2"
><details id="i:id:X:-60--62-:10"
><summary class="hide-when-js-enabled"
>Instance details</summary
><p
>Defined in <a href="#"
>TypeFamilies</a
></p
> <div class="src"
><span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
> = '<a href="#" title="TypeFamilies"
>X</a
></div
></details
></td
></tr
></table
></details
></div
......@@ -1738,13 +1738,13 @@
></span
> <span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
></span
> (a :: <a href="#" title="Data.Kind"
>Type</a
>)</span
> <a href="#" class="selflink"
>#</a
></td
......@@ -1763,15 +1763,13 @@
> <div class="src"
><span class="keyword"
>type</span
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>Y</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> '<a href="#" title="TypeFamilies"
>XX</a
> = '<a href="#" title="TypeFamilies"
>X</a
></div
> (a :: <a href="#" title="Data.Kind"
>Type</a
>) = a</div
></details
></td
></tr
......@@ -1783,7 +1781,7 @@
> <span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
>Y</a
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
......@@ -1808,12 +1806,14 @@
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
>Y</a
>X</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
>Type</a
>) = a</div
>) = <a href="#" title="TypeFamilies"
>X</a
></div
></details
></td
></tr
......@@ -1824,13 +1824,13 @@
></span
> <span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
>X</a
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
>Type</a
>)</span
> '<a href="#" title="TypeFamilies"
>XX</a
></span
> <a href="#" class="selflink"
>#</a
></td
......@@ -1849,13 +1849,13 @@
> <div class="src"
><span class="keyword"
>type</span
> <a href="#" title="TypeFamilies"
>X</a
> '<a href="#" title="TypeFamilies"
>XXX</a
> <a href="#" title="TypeFamilies"
>&lt;&gt;</a
> (a :: <a href="#" title="Data.Kind"
>Type</a
>) = <a href="#" title="TypeFamilies"
> '<a href="#" title="TypeFamilies"
>XX</a
> = '<a href="#" title="TypeFamilies"
>X</a
></div
></details
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment