aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src/Operators.html
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-02-08 14:37:49 +0100
committerBen Gamari <ben@smart-cactus.org>2016-02-08 15:36:08 +0100
commita427f597e081ce37a881e6612efeab7ef0bb0dac (patch)
tree43246f722a0f28614019243e34dfd83e5ca29217 /hypsrc-test/ref/src/Operators.html
parent9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (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.html129
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 @@
>-&gt;</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