aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorŁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-07-01 01:16:41 +0200
committerŁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-07-01 01:16:41 +0200
commitdb51ad0a5b2b29749f69fd82513adeedc8729735 (patch)
tree672ead3048e82903061e9f7fd9b6a7e3120968d0
parent767569881732c59378fb577d1a2b57b51bc454d0 (diff)
Re-accept hyperlinker test cases with local references stripped out.
-rw-r--r--hypsrc-test/ref/src/Constructors.html24
-rw-r--r--hypsrc-test/ref/src/Identifiers.html118
-rw-r--r--hypsrc-test/ref/src/Literals.html10
-rw-r--r--hypsrc-test/ref/src/Operators.html104
-rw-r--r--hypsrc-test/ref/src/Records.html64
5 files changed, 160 insertions, 160 deletions
diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html
index 713a85f0..6d6c7c06 100644
--- a/hypsrc-test/ref/src/Constructors.html
+++ b/hypsrc-test/ref/src/Constructors.html
@@ -315,16 +315,16 @@
></a
><span class=""
> </span
- ><a name="local-1627396015"
- ><a href="#local-1627396015"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>foo</span
></a
></a
><span class=""
> </span
- ><a name="local-1627396016"
- ><a href="#local-1627396016"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>n</span
></a
@@ -345,7 +345,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627396016"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>n</span
></a
@@ -361,7 +361,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627396015"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>foo</span
></a
@@ -425,8 +425,8 @@
>,</span
><span class=""
> </span
- ><a name="local-1627396017"
- ><a href="#local-1627396017"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>xs</span
></a
@@ -449,7 +449,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627396017"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>xs</span
></a
@@ -478,8 +478,8 @@
>,</span
><span class=""
> </span
- ><a name="local-1627396018"
- ><a href="#local-1627396018"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>xs</span
></a
@@ -506,7 +506,7 @@
>reverse</span
><span class=""
> </span
- ><a href="#local-1627396018"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>xs</span
></a
diff --git a/hypsrc-test/ref/src/Identifiers.html b/hypsrc-test/ref/src/Identifiers.html
index ee21791f..4c82ad01 100644
--- a/hypsrc-test/ref/src/Identifiers.html
+++ b/hypsrc-test/ref/src/Identifiers.html
@@ -71,16 +71,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391970"
- ><a href="#local-1627391970"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391971"
- ><a href="#local-1627391971"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -91,7 +91,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391970"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -101,7 +101,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391970"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -117,13 +117,13 @@
></a
><span class=""
> </span
- ><a href="#local-1627391971"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
><span class=""
> </span
- ><a href="#local-1627391970"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -133,7 +133,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391971"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -143,7 +143,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391971"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -158,16 +158,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391972"
- ><a href="#local-1627391972"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391973"
- ><a href="#local-1627391973"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -178,7 +178,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391973"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -188,7 +188,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391972"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -204,13 +204,13 @@
></a
><span class=""
> </span
- ><a href="#local-1627391972"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
><span class=""
> </span
- ><a href="#local-1627391973"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -220,7 +220,7 @@
>-</span
><span class=""
> </span
- ><a href="#local-1627391972"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -230,7 +230,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391973"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -245,16 +245,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391974"
- ><a href="#local-1627391974"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391975"
- ><a href="#local-1627391975"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -265,7 +265,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391974"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -275,7 +275,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391975"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -285,7 +285,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391975"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -295,7 +295,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391975"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -305,7 +305,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391974"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -342,8 +342,8 @@
></a
><span class=""
> </span
- ><a name="local-1627391976"
- ><a href="#local-1627391976"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
@@ -368,13 +368,13 @@
></a
><span class=""
> </span
- ><a href="#local-1627391976"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
><span class=""
> </span
- ><a href="#local-1627391976"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -390,13 +390,13 @@
></a
><span class=""
> </span
- ><a href="#local-1627391976"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
><span class=""
> </span
- ><a href="#local-1627391976"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -451,24 +451,24 @@
></a
><span class=""
> </span
- ><a name="local-1627391977"
- ><a href="#local-1627391977"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391978"
- ><a href="#local-1627391978"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391979"
- ><a href="#local-1627391979"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>z</span
></a
@@ -480,7 +480,7 @@
>|</span
><span class=""
> </span
- ><a href="#local-1627391977"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -504,7 +504,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627391977"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -515,7 +515,7 @@
>|</span
><span class=""
> </span
- ><a href="#local-1627391978"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -539,7 +539,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627391978"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -550,7 +550,7 @@
>|</span
><span class=""
> </span
- ><a href="#local-1627391979"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>z</span
></a
@@ -574,7 +574,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627391979"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>z</span
></a
@@ -603,7 +603,7 @@
>(</span
><span class="hs-glyph"
>-</span
- ><a href="#local-1627391977"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -615,7 +615,7 @@
>(</span
><span class="hs-glyph"
>-</span
- ><a href="#local-1627391978"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -627,7 +627,7 @@
>(</span
><span class="hs-glyph"
>-</span
- ><a href="#local-1627391979"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>z</span
></a
@@ -696,13 +696,13 @@
></a
><span class=""
> </span
- ><a href="#local-1627392781"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
><span class=""
> </span
- ><a href="#local-1627392782"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -731,7 +731,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627392783"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>z</span
></a
@@ -743,8 +743,8 @@
><span class=""
>
</span
- ><a name="local-1627392781"
- ><a href="#local-1627392781"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
@@ -760,8 +760,8 @@
><span class=""
>
</span
- ><a name="local-1627392782"
- ><a href="#local-1627392782"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -777,8 +777,8 @@
><span class=""
>
</span
- ><a name="local-1627392783"
- ><a href="#local-1627392783"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>z</span
></a
diff --git a/hypsrc-test/ref/src/Literals.html b/hypsrc-test/ref/src/Literals.html
index f8549642..f2e4749b 100644
--- a/hypsrc-test/ref/src/Literals.html
+++ b/hypsrc-test/ref/src/Literals.html
@@ -65,7 +65,7 @@
>Num</span
><span class=""
> </span
- ><a href="#local-1627395902"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -75,7 +75,7 @@
>=&gt;</span
><span class=""
> </span
- ><a href="#local-1627395902"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -144,7 +144,7 @@
>Fractional</span
><span class=""
> </span
- ><a href="#local-1627395418"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -154,7 +154,7 @@
>=&gt;</span
><span class=""
> </span
- ><a href="#local-1627395418"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -195,7 +195,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-1627395417"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html
index 04fe4ee4..9ed24ab9 100644
--- a/hypsrc-test/ref/src/Operators.html
+++ b/hypsrc-test/ref/src/Operators.html
@@ -36,7 +36,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393973"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -50,7 +50,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393973"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -64,7 +64,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393973"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -73,8 +73,8 @@
><span class=""
>
</span
- ><a name="local-1627393974"
- ><a href="#local-1627393974"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -89,8 +89,8 @@
></a
><span class=""
> </span
- ><a name="local-1627393975"
- ><a href="#local-1627393975"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>b</span
></a
@@ -101,7 +101,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627393974"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -111,7 +111,7 @@
>++</span
><span class=""
> </span
- ><a href="#local-1627393975"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
@@ -121,7 +121,7 @@
>++</span
><span class=""
> </span
- ><a href="#local-1627393974"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -143,7 +143,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393972"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -157,7 +157,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393972"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -171,7 +171,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393972"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -180,8 +180,8 @@
><span class=""
>
</span
- ><a name="local-1627393976"
- ><a href="#local-1627393976"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -196,8 +196,8 @@
></a
><span class=""
> </span
- ><a name="local-1627393977"
- ><a href="#local-1627393977"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>b</span
></a
@@ -208,7 +208,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627393977"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
@@ -220,7 +220,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627393976"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -242,7 +242,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393971"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -256,7 +256,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393971"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -270,7 +270,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393971"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -291,8 +291,8 @@
>)</span
><span class=""
> </span
- ><a name="local-1627393978"
- ><a href="#local-1627393978"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -309,7 +309,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627393978"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -324,8 +324,8 @@
>)</span
><span class=""
> </span
- ><a name="local-1627393979"
- ><a href="#local-1627393979"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -338,8 +338,8 @@
>_</span
><span class="hs-glyph"
>:</span
- ><a name="local-1627393980"
- ><a href="#local-1627393980"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>b</span
></a
@@ -352,7 +352,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627393979"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -366,7 +366,7 @@
> </span
><span class="hs-special"
>(</span
- ><a href="#local-1627393979"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -378,7 +378,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627393980"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
@@ -404,7 +404,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-1627393970"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -420,7 +420,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393970"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -434,7 +434,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627393970"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -443,8 +443,8 @@
><span class=""
>
</span
- ><a name="local-1627393981"
- ><a href="#local-1627393981"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -459,8 +459,8 @@
></a
><span class=""
> </span
- ><a name="local-1627393982"
- ><a href="#local-1627393982"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>b</span
></a
@@ -483,7 +483,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627393982"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
@@ -491,7 +491,7 @@
>)</span
><span class=""
> </span
- ><a href="#local-1627393981"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -515,7 +515,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-1627393969"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -533,7 +533,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-1627393969"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -551,7 +551,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-1627393969"
+ ><a href="#local-0"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -562,8 +562,8 @@
><span class=""
>
</span
- ><a name="local-1627394362"
- ><a href="#local-1627394362"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>a</span
></a
@@ -578,8 +578,8 @@
></a
><span class=""
> </span
- ><a name="local-1627394363"
- ><a href="#local-1627394363"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>b</span
></a
@@ -606,7 +606,7 @@
> </span
><span class="hs-special"
>[</span
- ><a href="#local-1627394362"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -618,7 +618,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627394363"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
@@ -628,7 +628,7 @@
> </span
><span class="hs-special"
>(</span
- ><a href="#local-1627394362"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>a</span
></a
@@ -640,7 +640,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627394363"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>b</span
></a
diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html
index b982c5b1..cdff7eb5 100644
--- a/hypsrc-test/ref/src/Records.html
+++ b/hypsrc-test/ref/src/Records.html
@@ -145,16 +145,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391304"
- ><a href="#local-1627391304"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391305"
- ><a href="#local-1627391305"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -185,7 +185,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391304"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -203,7 +203,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391305"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -269,8 +269,8 @@
>=</span
><span class=""
> </span
- ><a name="local-1627391306"
- ><a href="#local-1627391306"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>x</span
></a
@@ -289,8 +289,8 @@
>=</span
><span class=""
> </span
- ><a name="local-1627391307"
- ><a href="#local-1627391307"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>y</span
></a
@@ -307,7 +307,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391306"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -317,7 +317,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391306"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -327,7 +327,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391307"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -337,7 +337,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391307"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -412,7 +412,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391369"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -422,7 +422,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391369"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -432,7 +432,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391368"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -442,7 +442,7 @@
>*</span
><span class=""
> </span
- ><a href="#local-1627391368"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -498,16 +498,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391370"
- ><a href="#local-1627391370"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>p</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391371"
- ><a href="#local-1627391371"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>d</span
></a
@@ -518,7 +518,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391370"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -544,7 +544,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627391370"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -554,7 +554,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391371"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>d</span
></a
@@ -573,16 +573,16 @@
></a
><span class=""
> </span
- ><a name="local-1627391372"
- ><a href="#local-1627391372"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>p</span
></a
></a
><span class=""
> </span
- ><a name="local-1627391373"
- ><a href="#local-1627391373"
+ ><a name="local-0"
+ ><a href="#local-0"
><span class="hs-identifier"
>d</span
></a
@@ -593,7 +593,7 @@
>=</span
><span class=""
> </span
- ><a href="#local-1627391372"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -619,7 +619,7 @@
></a
><span class=""
> </span
- ><a href="#local-1627391372"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -629,7 +629,7 @@
>+</span
><span class=""
> </span
- ><a href="#local-1627391373"
+ ><a href="#local-0"
><span class="hs-identifier hs-var"
>d</span
></a