aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src/Constructors.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/Constructors.html
parent9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff)
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Constructors.html')
-rw-r--r--hypsrc-test/ref/src/Constructors.html77
1 files changed, 38 insertions, 39 deletions
diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html
index 86a482f6..e35ca0b1 100644
--- a/hypsrc-test/ref/src/Constructors.html
+++ b/hypsrc-test/ref/src/Constructors.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"
@@ -375,16 +374,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>foo</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>n</span
></a
@@ -405,7 +404,7 @@
>*</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>n</span
></a
@@ -421,7 +420,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>foo</span
></a
@@ -497,8 +496,8 @@
>,</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>xs</span
></a
@@ -521,7 +520,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>xs</span
></a
@@ -552,8 +551,8 @@
>,</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>xs</span
></a
@@ -580,7 +579,7 @@
>reverse</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>xs</span
></a
@@ -651,8 +650,8 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>x</span
></a
@@ -669,8 +668,8 @@
> </span
><span class="hs-special"
>(</span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>f1</span
></a
@@ -689,8 +688,8 @@
>_</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>n</span
></a
@@ -707,8 +706,8 @@
>,</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>f2</span
></a
@@ -723,8 +722,8 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>f3</span
></a
@@ -750,7 +749,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x'</span
></a
@@ -760,7 +759,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>n</span
></a
@@ -776,7 +775,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>f1</span
></a
@@ -786,13 +785,13 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>aux</span
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>f3</span
></a
@@ -812,16 +811,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>aux</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>fx</span
></a
@@ -838,7 +837,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>f2</span
></a
@@ -854,7 +853,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>fx</span
></a
@@ -870,7 +869,7 @@
></a
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>f3</span
></a
@@ -881,8 +880,8 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>x'</span
></a
@@ -925,7 +924,7 @@
>$</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -937,4 +936,4 @@
></pre
></body
></html
->
+> \ No newline at end of file