diff options
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 | 
