aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/ref/src
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
parent9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff)
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src')
-rw-r--r--hypsrc-test/ref/src/Classes.html161
-rw-r--r--hypsrc-test/ref/src/Constructors.html77
-rw-r--r--hypsrc-test/ref/src/Identifiers.html127
-rw-r--r--hypsrc-test/ref/src/Literals.html13
-rw-r--r--hypsrc-test/ref/src/Operators.html129
-rw-r--r--hypsrc-test/ref/src/Polymorphism.html2036
-rw-r--r--hypsrc-test/ref/src/Records.html185
-rw-r--r--hypsrc-test/ref/src/Types.html19
8 files changed, 2370 insertions, 377 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 @@
>-&gt;</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 @@
>-&gt;</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 @@
>-&gt;</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 @@
>-&gt;</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 @@
>-&gt;</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 @@
>-&gt;</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
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
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
diff --git a/hypsrc-test/ref/src/Literals.html b/hypsrc-test/ref/src/Literals.html
index a009a502..dfcefc97 100644
--- a/hypsrc-test/ref/src/Literals.html
+++ b/hypsrc-test/ref/src/Literals.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,7 +82,7 @@
>Num</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -93,7 +92,7 @@
>=&gt;</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -170,7 +169,7 @@
>Fractional</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -180,7 +179,7 @@
>=&gt;</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -229,7 +228,7 @@
>[</span
><span class="hs-special"
>[</span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-type"
>a</span
></a
@@ -425,4 +424,4 @@
></pre
></body
></html
->
+> \ No newline at end of file
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
diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html
new file mode 100644
index 00000000..602246e0
--- /dev/null
+++ b/hypsrc-test/ref/src/Polymorphism.html
@@ -0,0 +1,2036 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><link rel="stylesheet" type="text/css" href="style.css"
+ /><script type="text/javascript" src="highlight.js"
+ ></script
+ ></head
+ ><body
+ ><pre
+ ><span class="hs-pragma"
+ >{-# LANGUAGE RankNTypes #-}</span
+ ><span
+ >
+</span
+ ><a name="line-2"
+ ></a
+ ><span class="hs-pragma"
+ >{-# LANGUAGE ScopedTypeVariables #-}</span
+ ><span
+ >
+</span
+ ><a name="line-3"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-4"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-5"
+ ></a
+ ><span class="hs-keyword"
+ >module</span
+ ><span
+ > </span
+ ><span class="hs-identifier"
+ >Polymorphism</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >where</span
+ ><span
+ >
+</span
+ ><a name="line-6"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-7"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-8"
+ ></a
+ ><span class="hs-identifier"
+ >foo</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-9"
+ ></a
+ ><a name="foo"
+ ><a href="Polymorphism.html#foo"
+ ><span class="hs-identifier"
+ >foo</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-10"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-11"
+ ></a
+ ><span class="hs-identifier"
+ >foo'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-12"
+ ></a
+ ><a name="foo%27"
+ ><a href="Polymorphism.html#foo%27"
+ ><span class="hs-identifier"
+ >foo'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-13"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-14"
+ ></a
+ ><span class="hs-identifier"
+ >bar</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-15"
+ ></a
+ ><a name="bar"
+ ><a href="Polymorphism.html#bar"
+ ><span class="hs-identifier"
+ >bar</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-16"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-17"
+ ></a
+ ><span class="hs-identifier"
+ >bar'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >b</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-18"
+ ></a
+ ><a name="bar%27"
+ ><a href="Polymorphism.html#bar%27"
+ ><span class="hs-identifier"
+ >bar'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-19"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-20"
+ ></a
+ ><span class="hs-identifier"
+ >baz</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-21"
+ ></a
+ ><a name="baz"
+ ><a href="Polymorphism.html#baz"
+ ><span class="hs-identifier"
+ >baz</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-22"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-23"
+ ></a
+ ><span class="hs-identifier"
+ >baz'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >b</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-24"
+ ></a
+ ><a name="baz%27"
+ ><a href="Polymorphism.html#baz%27"
+ ><span class="hs-identifier"
+ >baz'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-25"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-26"
+ ></a
+ ><span class="hs-identifier"
+ >quux</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-27"
+ ></a
+ ><a name="quux"
+ ><a href="Polymorphism.html#quux"
+ ><span class="hs-identifier"
+ >quux</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >f</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >f</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-28"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-29"
+ ></a
+ ><span class="hs-identifier"
+ >quux'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-30"
+ ></a
+ ><a name="quux%27"
+ ><a href="Polymorphism.html#quux%27"
+ ><span class="hs-identifier"
+ >quux'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >f</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >f</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-31"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-32"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-33"
+ ></a
+ ><span class="hs-identifier"
+ >num</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Num</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-34"
+ ></a
+ ><a name="num"
+ ><a href="Polymorphism.html#num"
+ ><span class="hs-identifier"
+ >num</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-35"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-36"
+ ></a
+ ><span class="hs-identifier"
+ >num'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Num</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-37"
+ ></a
+ ><a name="num%27"
+ ><a href="Polymorphism.html#num%27"
+ ><span class="hs-identifier"
+ >num'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-38"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-39"
+ ></a
+ ><span class="hs-identifier"
+ >eq</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-identifier hs-type"
+ >Eq</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Eq</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-40"
+ ></a
+ ><a name="eq"
+ ><a href="Polymorphism.html#eq"
+ ><span class="hs-identifier"
+ >eq</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-41"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-42"
+ ></a
+ ><span class="hs-identifier"
+ >eq'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >b</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-identifier hs-type"
+ >Eq</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Eq</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >[</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >]</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-43"
+ ></a
+ ><a name="eq%27"
+ ><a href="Polymorphism.html#eq%27"
+ ><span class="hs-identifier"
+ >eq'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-44"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-45"
+ ></a
+ ><span class="hs-identifier"
+ >mon</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Monad</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-46"
+ ></a
+ ><a name="mon"
+ ><a href="Polymorphism.html#mon"
+ ><span class="hs-identifier"
+ >mon</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-47"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-48"
+ ></a
+ ><span class="hs-identifier"
+ >mon'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >m</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Monad</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >m</span
+ ></a
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-49"
+ ></a
+ ><a name="mon%27"
+ ><a href="Polymorphism.html#mon%27"
+ ><span class="hs-identifier"
+ >mon'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-var"
+ >undefined</span
+ ><span
+ >
+</span
+ ><a name="line-50"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-51"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-52"
+ ></a
+ ><span class="hs-identifier"
+ >norf</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Ord</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-53"
+ ></a
+ ><a name="norf"
+ ><a href="Polymorphism.html#norf"
+ ><span class="hs-identifier"
+ >norf</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >f</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-54"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-55"
+ ></a
+ ><span class="hs-identifier"
+ >norf'</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-identifier hs-type"
+ >Ord</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-56"
+ ></a
+ ><a name="norf%27"
+ ><a href="Polymorphism.html#norf%27"
+ ><span class="hs-identifier"
+ >norf'</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >f</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-57"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-58"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-59"
+ ></a
+ ><span class="hs-identifier"
+ >plugh</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-60"
+ ></a
+ ><a name="plugh"
+ ><a href="Polymorphism.html#plugh"
+ ><span class="hs-identifier"
+ >plugh</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-61"
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-62"
+ ></a
+ ><span class="hs-identifier"
+ >thud</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >forall</span
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >a</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >b</span
+ ></a
+ ></a
+ ><span class="hs-operator"
+ >.</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-63"
+ ></a
+ ><a name="thud"
+ ><a href="Polymorphism.html#thud"
+ ><span class="hs-identifier"
+ >thud</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >f</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ >
+</span
+ ><a name="line-64"
+ ></a
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >y</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span class="hs-special"
+ >,</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ >
+</span
+ ><a name="line-65"
+ ></a
+ ><span
+ > </span
+ ><span class="hs-keyword"
+ >where</span
+ ><span
+ >
+</span
+ ><a name="line-66"
+ ></a
+ ><span
+ > </span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >y</span
+ ></a
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >=</span
+ ><span
+ > </span
+ ><span class="hs-special"
+ >(</span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >f</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >a</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >-&gt;</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span class="hs-special"
+ >)</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-var"
+ >x</span
+ ></a
+ ><span
+ > </span
+ ><span class="hs-glyph"
+ >::</span
+ ><span
+ > </span
+ ><a href="#"
+ ><span class="hs-identifier hs-type"
+ >b</span
+ ></a
+ ><span
+ >
+</span
+ ><a name="line-67"
+ ></a
+ ></pre
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html
index eb4e0fbb..7d23d114 100644
--- a/hypsrc-test/ref/src/Records.html
+++ b/hypsrc-test/ref/src/Records.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"
@@ -197,16 +196,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
@@ -227,17 +226,15 @@
>{</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
- ></a
+ ><span class="hs-identifier"
+ >x</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -245,17 +242,15 @@
>,</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
- ></a
+ ><span class="hs-identifier"
+ >y</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -323,18 +318,16 @@
>{</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
- ></a
+ ><span class="hs-identifier"
+ >x</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>x</span
></a
@@ -343,18 +336,16 @@
>,</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
- ></a
+ ><span class="hs-identifier"
+ >y</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>y</span
></a
@@ -371,7 +362,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -381,7 +372,7 @@
>*</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -391,7 +382,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -401,7 +392,7 @@
>*</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -460,17 +451,21 @@
>{</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >x</span
+ ></a
></a
><span class="hs-special"
>,</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
+ ><a name=""
+ ><a href="#"
+ ><span class="hs-identifier"
+ >y</span
+ ></a
></a
><span
> </span
@@ -484,7 +479,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -494,7 +489,7 @@
>*</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -504,7 +499,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -514,7 +509,7 @@
>*</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -582,16 +577,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>p</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>d</span
></a
@@ -602,7 +597,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -612,23 +607,19 @@
>{</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
- ></a
+ ><span class="hs-identifier"
+ >x</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
- ></a
+ ><span class="hs-identifier"
+ >x</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -638,7 +629,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>d</span
></a
@@ -659,16 +650,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>p</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>d</span
></a
@@ -679,7 +670,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -689,23 +680,19 @@
>{</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
- ></a
+ ><span class="hs-identifier"
+ >y</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
- ></a
+ ><span class="hs-identifier"
+ >y</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -715,7 +702,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>d</span
></a
@@ -784,24 +771,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"
>p</span
></a
@@ -817,13 +804,13 @@
></a
><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"
>p</span
></a
@@ -845,8 +832,8 @@
> </span
><span class="hs-special"
>(</span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>dx</span
></a
@@ -855,8 +842,8 @@
>,</span
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>dy</span
></a
@@ -871,7 +858,7 @@
> </span
><span class="hs-special"
>(</span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -879,7 +866,7 @@
>,</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -892,8 +879,8 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>aux</span
></a
@@ -916,7 +903,7 @@
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>p</span
></a
@@ -926,17 +913,15 @@
>{</span
><span
> </span
- ><a href="Records.html#x"
- ><span class="hs-identifier hs-var"
- >x</span
- ></a
+ ><span class="hs-identifier"
+ >x</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>x</span
></a
@@ -946,7 +931,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>dx</span
></a
@@ -954,17 +939,15 @@
>,</span
><span
> </span
- ><a href="Records.html#y"
- ><span class="hs-identifier hs-var"
- >y</span
- ></a
+ ><span class="hs-identifier"
+ >y</span
><span
> </span
><span class="hs-glyph"
>=</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>y</span
></a
@@ -974,7 +957,7 @@
>+</span
><span
> </span
- ><a href="#local-0"
+ ><a href="#"
><span class="hs-identifier hs-var"
>dy</span
></a
@@ -990,4 +973,4 @@
></pre
></body
></html
->
+> \ No newline at end of file
diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html
index d59f61f8..a8be9e78 100644
--- a/hypsrc-test/ref/src/Types.html
+++ b/hypsrc-test/ref/src/Types.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"
@@ -231,16 +230,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>a</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>b</span
></a
@@ -387,16 +386,16 @@
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>a</span
></a
></a
><span
> </span
- ><a name="local-0"
- ><a href="#local-0"
+ ><a name=""
+ ><a href="#"
><span class="hs-identifier"
>b</span
></a
@@ -1054,4 +1053,4 @@
></pre
></body
></html
->
+> \ No newline at end of file