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/Operators.html | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 129 |
1 files changed, 64 insertions, 65 deletions
diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index fe690db2..8ce0b9ce 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.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" @@ -46,7 +45,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -60,7 +59,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -74,7 +73,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -85,8 +84,8 @@ </span ><a name="line-5" ></a - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -101,8 +100,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -113,7 +112,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -123,7 +122,7 @@ >++</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -133,7 +132,7 @@ >++</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -161,7 +160,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -175,7 +174,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -189,7 +188,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -200,8 +199,8 @@ </span ><a name="line-8" ></a - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -216,8 +215,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -228,7 +227,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -240,7 +239,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -268,7 +267,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -282,7 +281,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -296,7 +295,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -319,8 +318,8 @@ >)</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -337,7 +336,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -354,8 +353,8 @@ >)</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -368,8 +367,8 @@ >_</span ><span class="hs-glyph" >:</span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -382,7 +381,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -396,7 +395,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -408,7 +407,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -440,7 +439,7 @@ >[</span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -456,7 +455,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -470,7 +469,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -481,8 +480,8 @@ </span ><a name="line-15" ></a - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -497,8 +496,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -521,7 +520,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -529,7 +528,7 @@ >)</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -559,7 +558,7 @@ >[</span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -577,7 +576,7 @@ >[</span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -595,7 +594,7 @@ >[</span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -608,8 +607,8 @@ </span ><a name="line-18" ></a - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -624,8 +623,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -652,7 +651,7 @@ > </span ><span class="hs-special" >[</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -664,7 +663,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -674,7 +673,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -686,7 +685,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -719,7 +718,7 @@ >::</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -729,7 +728,7 @@ >-></span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a @@ -741,7 +740,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >c</span ></a @@ -753,7 +752,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >a</span ></a @@ -761,7 +760,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-type" >b</span ></a @@ -774,8 +773,8 @@ </span ><a name="line-22" ></a - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >a</span ></a @@ -790,8 +789,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >b</span ></a @@ -812,7 +811,7 @@ > </span ><span class="hs-special" >(</span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >a</span ></a @@ -820,7 +819,7 @@ >,</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >b</span ></a @@ -834,4 +833,4 @@ ></pre ></body ></html -> +>
\ No newline at end of file |