diff options
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 |
commit | db51ad0a5b2b29749f69fd82513adeedc8729735 (patch) | |
tree | 672ead3048e82903061e9f7fd9b6a7e3120968d0 /hypsrc-test/ref | |
parent | 767569881732c59378fb577d1a2b57b51bc454d0 (diff) |
Re-accept hyperlinker test cases with local references stripped out.
Diffstat (limited to 'hypsrc-test/ref')
-rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 24 | ||||
-rw-r--r-- | hypsrc-test/ref/src/Identifiers.html | 118 | ||||
-rw-r--r-- | hypsrc-test/ref/src/Literals.html | 10 | ||||
-rw-r--r-- | hypsrc-test/ref/src/Operators.html | 104 | ||||
-rw-r--r-- | hypsrc-test/ref/src/Records.html | 64 |
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 @@ >=></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 @@ >=></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 |