diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 14:37:49 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 15:36:08 +0100 |
| commit | a427f597e081ce37a881e6612efeab7ef0bb0dac (patch) | |
| tree | 43246f722a0f28614019243e34dfd83e5ca29217 /hypsrc-test/ref/src/Identifiers.html | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Identifiers.html')
| -rw-r--r-- | hypsrc-test/ref/src/Identifiers.html | 127 |
1 files changed, 63 insertions, 64 deletions
diff --git a/hypsrc-test/ref/src/Identifiers.html b/hypsrc-test/ref/src/Identifiers.html index 7680b3ef..f52db4ab 100644 --- a/hypsrc-test/ref/src/Identifiers.html +++ b/hypsrc-test/ref/src/Identifiers.html @@ -1,4 +1,3 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" ><head ><link rel="stylesheet" type="text/css" href="style.css" @@ -83,16 +82,16 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a @@ -103,7 +102,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -113,7 +112,7 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -129,13 +128,13 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -145,7 +144,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -155,7 +154,7 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -172,16 +171,16 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a @@ -192,7 +191,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -202,7 +201,7 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -218,13 +217,13 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -234,7 +233,7 @@ >-</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -244,7 +243,7 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -261,16 +260,16 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a @@ -281,7 +280,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -291,7 +290,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -301,7 +300,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -311,7 +310,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -321,7 +320,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -366,8 +365,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a @@ -392,13 +391,13 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -414,13 +413,13 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -483,24 +482,24 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >z</span ></a @@ -516,7 +515,7 @@ >|</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -540,7 +539,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -555,7 +554,7 @@ >|</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -579,7 +578,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -594,7 +593,7 @@ >|</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >z</span ></a @@ -618,7 +617,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >z</span ></a @@ -651,7 +650,7 @@ >(</span ><span class="hs-glyph" >-</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -663,7 +662,7 @@ >(</span ><span class="hs-glyph" >-</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -675,7 +674,7 @@ >(</span ><span class="hs-glyph" >-</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >z</span ></a @@ -760,13 +759,13 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -799,7 +798,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >z</span ></a @@ -836,19 +835,19 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >z</span ></a @@ -868,8 +867,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a @@ -889,8 +888,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a @@ -910,8 +909,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >z</span ></a @@ -932,4 +931,4 @@ ></pre ></body ></html -> +>
\ No newline at end of file |