diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 14:37:49 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-08 15:36:08 +0100 |
| commit | a427f597e081ce37a881e6612efeab7ef0bb0dac (patch) | |
| tree | 43246f722a0f28614019243e34dfd83e5ca29217 /hypsrc-test/ref/src/Constructors.html | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Constructors.html')
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 77 |
1 files changed, 38 insertions, 39 deletions
diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index 86a482f6..e35ca0b1 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -1,4 +1,3 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" ><head ><link rel="stylesheet" type="text/css" href="style.css" @@ -375,16 +374,16 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >foo</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >n</span ></a @@ -405,7 +404,7 @@ >*</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >n</span ></a @@ -421,7 +420,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >foo</span ></a @@ -497,8 +496,8 @@ >,</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >xs</span ></a @@ -521,7 +520,7 @@ >=</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >xs</span ></a @@ -552,8 +551,8 @@ >,</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >xs</span ></a @@ -580,7 +579,7 @@ >reverse</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >xs</span ></a @@ -651,8 +650,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x</span ></a @@ -669,8 +668,8 @@ > </span ><span class="hs-special" >(</span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >f1</span ></a @@ -689,8 +688,8 @@ >_</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >n</span ></a @@ -707,8 +706,8 @@ >,</span ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >f2</span ></a @@ -723,8 +722,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >f3</span ></a @@ -750,7 +749,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x'</span ></a @@ -760,7 +759,7 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >n</span ></a @@ -776,7 +775,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >f1</span ></a @@ -786,13 +785,13 @@ >+</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >aux</span ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >f3</span ></a @@ -812,16 +811,16 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >aux</span ></a ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >fx</span ></a @@ -838,7 +837,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >f2</span ></a @@ -854,7 +853,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >fx</span ></a @@ -870,7 +869,7 @@ ></a ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >f3</span ></a @@ -881,8 +880,8 @@ ></a ><span > </span - ><a name="local-0" - ><a href="#local-0" + ><a name="" + ><a href="#" ><span class="hs-identifier" >x'</span ></a @@ -925,7 +924,7 @@ >$</span ><span > </span - ><a href="#local-0" + ><a href="#" ><span class="hs-identifier hs-var" >x</span ></a @@ -937,4 +936,4 @@ ></pre ></body ></html -> +>
\ No newline at end of file |