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 | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test')
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 161 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 77 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Identifiers.html | 127 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Literals.html | 13 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 129 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Polymorphism.html | 2036 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Records.html | 185 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 19 | ||||
| -rw-r--r-- | hypsrc-test/src/Polymorphism.hs | 8 |
9 files changed, 2374 insertions, 381 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 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 @@ >=></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 @@ >=></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 @@ >-></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" + >-></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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-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" + >-></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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-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" + >-></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >b</span + ></a + ><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-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" + >-></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >b</span + ></a + ><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-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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >-></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" + >=></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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" + >-></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" + >=></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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" + >-></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" + >=></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" + >-></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" + >-></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" + >=></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" + >-></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" + >-></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" + >=></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" + >-></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" + >-></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" + >=></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" + >-></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" + >-></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" + >-></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" + >=></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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 + ><span class="hs-glyph" + >-></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" + >-></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" + >=></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</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 + ><span class="hs-glyph" + >-></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" + >-></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" + >-></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" + >-></span + ><span + > </span + ><a href="#" + ><span class="hs-identifier hs-type" + >a</span + ></a + ><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-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" + >-></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 diff --git a/hypsrc-test/src/Polymorphism.hs b/hypsrc-test/src/Polymorphism.hs index a74ac492..3f0103bf 100644 --- a/hypsrc-test/src/Polymorphism.hs +++ b/hypsrc-test/src/Polymorphism.hs @@ -24,10 +24,10 @@ baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b baz' = undefined quux :: a -> (forall a. a -> a) -> a -quux = undefined +quux x f = f x quux' :: forall a. a -> (forall a. a -> a) -> a -quux' = undefined +quux' x f = f x num :: Num a => a -> a -> a @@ -50,10 +50,10 @@ mon' = undefined norf :: a -> (forall a. Ord a => a -> a) -> a -norf = undefined +norf x f = x norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a -norf' = undefined +norf' x f = x plugh :: forall a. a -> a |