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/Classes.html | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Classes.html')
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 161 |
1 files changed, 70 insertions, 91 deletions
diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 74a7a427..abff8877 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.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" @@ -44,8 +43,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -61,19 +60,15 @@ ></a ><span > </span - ><a name="bar" - ><a href="Classes.html#bar" - ><span class="hs-identifier" - >bar</span - ></a - ></a + ><span class="hs-identifier" + >bar</span ><span > </span ><span class="hs-glyph" >::</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -92,12 +87,8 @@ ></a ><span > </span - ><a name="baz" - ><a href="Classes.html#baz" - ><span class="hs-identifier" - >baz</span - ></a - ></a + ><span class="hs-identifier" + >baz</span ><span > </span ><span class="hs-glyph" @@ -114,7 +105,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -122,7 +113,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -161,7 +152,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#bar" ><span class="hs-identifier" >bar</span @@ -182,7 +173,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#baz" ><span class="hs-identifier" >baz</span @@ -190,8 +181,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a @@ -204,7 +195,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -212,7 +203,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -240,7 +231,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -257,7 +248,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#bar" ><span class="hs-identifier" >bar</span @@ -278,7 +269,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#baz" ><span class="hs-identifier" >baz</span @@ -335,7 +326,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -353,8 +344,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -370,12 +361,8 @@ ></a ><span > </span - ><a name="quux" - ><a href="Classes.html#quux" - ><span class="hs-identifier" - >quux</span - ></a - ></a + ><span class="hs-identifier" + >quux</span ><span > </span ><span class="hs-glyph" @@ -384,7 +371,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -392,7 +379,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -404,7 +391,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -415,7 +402,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#quux" ><span class="hs-identifier" >quux</span @@ -425,8 +412,8 @@ > </span ><span class="hs-special" >(</span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a @@ -435,8 +422,8 @@ >,</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >y</span ></a @@ -457,7 +444,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -465,7 +452,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >y</span ></a @@ -483,12 +470,8 @@ ></a ><span > </span - ><a name="norf" - ><a href="Classes.html#norf" - ><span class="hs-identifier" - >norf</span - ></a - ></a + ><span class="hs-identifier" + >norf</span ><span > </span ><span class="hs-glyph" @@ -497,7 +480,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -509,7 +492,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -520,7 +503,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#norf" ><span class="hs-identifier" >norf</span @@ -601,7 +584,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#norf" ><span class="hs-identifier" >norf</span @@ -637,7 +620,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -654,7 +637,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#quux" ><span class="hs-identifier" >quux</span @@ -703,8 +686,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >p</span ></a @@ -720,31 +703,27 @@ ></a ><span > </span - ><a name="plugh" - ><a href="Classes.html#plugh" - ><span class="hs-identifier" - >plugh</span - ></a - ></a + ><span class="hs-identifier" + >plugh</span ><span > </span ><span class="hs-glyph" >::</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >p</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -754,19 +733,19 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >p</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a @@ -776,7 +755,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >p</span ></a @@ -784,7 +763,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -794,7 +773,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a @@ -804,7 +783,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a @@ -814,7 +793,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -853,7 +832,7 @@ ></a ><span > </span - ><a name="local-0" + ><a name="" ><a href="Classes.html#plugh" ><span class="hs-identifier" >plugh</span @@ -867,8 +846,8 @@ >Left</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -897,7 +876,7 @@ >const</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -918,8 +897,8 @@ >Right</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -948,7 +927,7 @@ >const</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -973,8 +952,8 @@ >Left</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -999,7 +978,7 @@ >const</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -1024,8 +1003,8 @@ >Right</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -1050,7 +1029,7 @@ >const</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -1062,4 +1041,4 @@ ></pre ></body ></html -> +>
\ No newline at end of file |