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/Records.html | |
| parent | 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff) | |
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'hypsrc-test/ref/src/Records.html')
| -rw-r--r-- | hypsrc-test/ref/src/Records.html | 185 |
1 files changed, 84 insertions, 101 deletions
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 |