diff options
| -rw-r--r-- | hypsrc-test/ref/src/Classes.html | 498 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Constructors.html | 402 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Identifiers.html | 422 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Literals.html | 172 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Operators.html | 288 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Records.html | 448 | ||||
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 454 | 
7 files changed, 1673 insertions, 1011 deletions
| diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 13c8389a..74a7a427 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -9,22 +9,32 @@    ><pre      ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Classes</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-keyword"        >class</span -      ><span class="" +      ><span        > </span        ><a name="Foo"        ><a href="Classes.html#Foo" @@ -32,7 +42,7 @@  	  >Foo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -40,59 +50,67 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-5" +      ></a +      ><span +      >    </span        ><a name="bar"        ><a href="Classes.html#bar"  	><span class="hs-identifier"  	  >bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-6" +      ></a +      ><span +      >    </span        ><a name="baz"        ><a href="Classes.html#baz"  	><span class="hs-identifier"  	  >baz</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -102,7 +120,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type" @@ -110,53 +128,67 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-7" +      ></a +      ><span +      > +</span +      ><a name="line-8" +      ></a        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-9" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#bar"  	><span class="hs-identifier"  	  >bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >id</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-10" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#baz"  	><span class="hs-identifier"  	  >baz</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -164,11 +196,11 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -178,7 +210,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -186,19 +218,25 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-11" +      ></a +      ><span +      > +</span +      ><a name="line-12" +      ></a        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -208,45 +246,53 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-13" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#bar"  	><span class="hs-identifier"  	  >bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >length</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-14" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#baz"  	><span class="hs-identifier"  	  >baz</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -256,7 +302,7 @@        >]</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -264,30 +310,40 @@        >]</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-15" +      ></a +      ><span        > - -  </span +      ><a name="line-16" +      ></a +      ><span +      > +</span +      ><a name="line-17" +      ></a        ><span class="hs-keyword"        >class</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=></span -      ><span class="" +      ><span        > </span        ><a name="Foo%27"        ><a href="Classes.html#Foo%27" @@ -295,7 +351,7 @@  	  >Foo'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -303,24 +359,28 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-18" +      ></a +      ><span +      >    </span        ><a name="quux"        ><a href="Classes.html#quux"  	><span class="hs-identifier"  	  >quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -330,7 +390,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type" @@ -338,26 +398,30 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-19" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#quux"  	><span class="hs-identifier"  	  >quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -369,7 +433,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -379,17 +443,17 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#norf"        ><span class="hs-identifier hs-var"  	>norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -399,7 +463,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -407,21 +471,29 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > - -    </span +</span +      ><a name="line-20" +      ></a +      ><span +      > +</span +      ><a name="line-21" +      ></a +      ><span +      >    </span        ><a name="norf"        ><a href="Classes.html#norf"  	><span class="hs-identifier"  	  >norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -431,117 +503,137 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-22" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#norf"  	><span class="hs-identifier"  	  >norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#baz"        ><span class="hs-identifier hs-var"  	>baz</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >sum</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >map</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#bar"        ><span class="hs-identifier hs-var"  	>bar</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-23" +      ></a +      ><span        > -  </span +      ><a name="line-24" +      ></a        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Foo%27"        ><span class="hs-identifier hs-type"  	>Foo'</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-25" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#norf"  	><span class="hs-identifier"  	  >norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >sum</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-26" +      ></a +      ><span        > -  </span +      ><a name="line-27" +      ></a        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Foo%27"        ><span class="hs-identifier hs-type"  	>Foo'</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -551,28 +643,32 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-28" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#quux"  	><span class="hs-identifier"  	  >quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >uncurry</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -580,14 +676,24 @@        >++</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-29" +      ></a +      ><span +      > +</span +      ><a name="line-30" +      ></a +      ><span        > - -  </span +      ><a name="line-31" +      ></a        ><span class="hs-keyword"        >class</span -      ><span class="" +      ><span        > </span        ><a name="Plugh"        ><a href="Classes.html#Plugh" @@ -595,7 +701,7 @@  	  >Plugh</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -603,74 +709,78 @@  	  >p</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-32" +      ></a +      ><span +      >    </span        ><a name="plugh"        ><a href="Classes.html#plugh"  	><span class="hs-identifier"  	  >plugh</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -678,11 +788,11 @@        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type" @@ -690,7 +800,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -698,11 +808,11 @@        ><span class="hs-identifier hs-type"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type" @@ -710,42 +820,52 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-33" +      ></a +      ><span        > -  </span +      ><a name="line-34" +      ></a        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Classes.html#Plugh"        ><span class="hs-identifier hs-type"  	>Plugh</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Either</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-35" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="Classes.html#plugh"  	><span class="hs-identifier"  	  >plugh</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-identifier hs-var"        >Left</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -755,44 +875,48 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >Right</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >const</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-36" +      ></a +      ><span +      >    </span        ><span class="hs-identifier"        >plugh</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-identifier hs-var"        >Right</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -802,48 +926,52 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >Right</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >const</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-37" +      ></a +      ><span +      >    </span        ><span class="hs-identifier"        >plugh</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-identifier hs-var"        >Left</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -853,44 +981,48 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >Left</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >const</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>b</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-38" +      ></a +      ><span +      >    </span        ><span class="hs-identifier"        >plugh</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-identifier hs-var"        >Right</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -900,31 +1032,33 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >Left</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >const</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>b</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-39" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index 96be3627..86a482f6 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -9,22 +9,32 @@    ><pre      ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Constructors</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><a name="Foo"        ><a href="Constructors.html#Foo" @@ -32,12 +42,16 @@  	  >Foo</span  	  ></a  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-5" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="Bar"        ><a href="Constructors.html#Bar" @@ -45,12 +59,16 @@  	  >Bar</span  	  ></a  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-6" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a name="Baz"        ><a href="Constructors.html#Baz" @@ -58,12 +76,16 @@  	  >Baz</span  	  ></a  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-7" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a name="Quux"        ><a href="Constructors.html#Quux" @@ -71,23 +93,29 @@  	  >Quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-8" +      ></a +      ><span +      > +</span +      ><a name="line-9" +      ></a        ><span class="hs-keyword"        >newtype</span -      ><span class="" +      ><span        > </span        ><a name="Norf"        ><a href="Constructors.html#Norf" @@ -95,11 +123,11 @@  	  >Norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="Norf"        ><a href="Constructors.html#Norf" @@ -107,7 +135,7 @@  	  >Norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -117,7 +145,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -129,7 +157,7 @@        >]</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Foo"        ><span class="hs-identifier hs-type" @@ -137,175 +165,207 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-10" +      ></a +      ><span        > - -  </span +      ><a name="line-11" +      ></a +      ><span +      > +</span +      ><a name="line-12" +      ></a        ><span class="hs-identifier"        >bar</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >baz</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >quux</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-13" +      ></a        ><a name="bar"        ><a href="Constructors.html#bar"  	><span class="hs-identifier"  	  >bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Bar"        ><span class="hs-identifier hs-var"  	>Bar</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-14" +      ></a        ><a name="baz"        ><a href="Constructors.html#baz"  	><span class="hs-identifier"  	  >baz</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Baz"        ><span class="hs-identifier hs-var"  	>Baz</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-15" +      ></a        ><a name="quux"        ><a href="Constructors.html#quux"  	><span class="hs-identifier"  	  >quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Quux"        ><span class="hs-identifier hs-var"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-16" +      ></a +      ><span        > - -  </span +      ><a name="line-17" +      ></a +      ><span +      > +</span +      ><a name="line-18" +      ></a        ><span class="hs-identifier"        >unfoo</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-19" +      ></a        ><a name="unfoo"        ><a href="Constructors.html#unfoo"  	><span class="hs-identifier"  	  >unfoo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Bar"        ><span class="hs-identifier hs-var"  	>Bar</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-20" +      ></a        ><span class="hs-identifier"        >unfoo</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Baz"        ><span class="hs-identifier hs-var"  	>Baz</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-21" +      ></a        ><span class="hs-identifier"        >unfoo</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -313,7 +373,7 @@        ><span class="hs-identifier hs-var"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -321,7 +381,7 @@  	  >foo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -331,62 +391,72 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >42</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>n</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>foo</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-22" +      ></a +      ><span        > - -  </span +      ><a name="line-23" +      ></a +      ><span +      > +</span +      ><a name="line-24" +      ></a        ><span class="hs-identifier"        >unnorf</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -396,16 +466,18 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-25" +      ></a        ><a name="unnorf"        ><a href="Constructors.html#unnorf"  	><span class="hs-identifier"  	  >unnorf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -413,7 +485,7 @@        ><span class="hs-identifier hs-var"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -423,7 +495,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -433,7 +505,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Bar"        ><span class="hs-identifier hs-var" @@ -443,22 +515,24 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>xs</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-26" +      ></a        ><span class="hs-identifier"        >unnorf</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -466,7 +540,7 @@        ><span class="hs-identifier hs-var"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -476,7 +550,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -486,7 +560,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Baz"        ><span class="hs-identifier hs-var" @@ -496,72 +570,86 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >reverse</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>xs</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-27" +      ></a        ><span class="hs-identifier"        >unnorf</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >undefined</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-28" +      ></a +      ><span +      > +</span +      ><a name="line-29" +      ></a +      ><span        > - -  </span +      ><a name="line-30" +      ></a        ><span class="hs-identifier"        >unnorf'</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-31" +      ></a        ><a name="unnorf%27"        ><a href="Constructors.html#unnorf%27"  	><span class="hs-identifier"  	  >unnorf'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -577,7 +665,7 @@        ><span class="hs-identifier hs-var"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -595,11 +683,11 @@        ><span class="hs-identifier hs-var"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -611,13 +699,13 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -633,7 +721,7 @@        ><span class="hs-identifier hs-var"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -641,7 +729,7 @@  	  >f3</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >_</span @@ -651,74 +739,86 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-32" +      ></a +      ><span +      >    </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x'</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>n</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>f1</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>aux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>f3</span  	></a -      ><span class="" +      ><span        > -  </span +</span +      ><a name="line-33" +      ></a +      ><span +      >  </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-34" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >aux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -726,108 +826,114 @@  	  >fx</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>f2</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>fx</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>f3</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-35" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >x'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >sum</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >map</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unfoo"        ><span class="hs-identifier hs-var"  	>unfoo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><a href="Constructors.html#unnorf"        ><span class="hs-identifier hs-var"  	>unnorf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-36" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Identifiers.html b/hypsrc-test/ref/src/Identifiers.html index 14cfbd8b..7680b3ef 100644 --- a/hypsrc-test/ref/src/Identifiers.html +++ b/hypsrc-test/ref/src/Identifiers.html @@ -9,67 +9,79 @@    ><pre      ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Identifiers</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-identifier"        >foo</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >bar</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >baz</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-5" +      ></a        ><a name="foo"        ><a href="Identifiers.html#foo"  	><span class="hs-identifier"  	  >foo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -77,7 +89,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -85,78 +97,80 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#bar"        ><span class="hs-identifier hs-var"  	>bar</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-6" +      ></a        ><a name="bar"        ><a href="Identifiers.html#bar"  	><span class="hs-identifier"  	  >bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -164,7 +178,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -172,78 +186,80 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#baz"        ><span class="hs-identifier hs-var"  	>baz</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-7" +      ></a        ><a name="baz"        ><a href="Identifiers.html#baz"  	><span class="hs-identifier"  	  >baz</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -251,7 +267,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -259,88 +275,96 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-8" +      ></a +      ><span        > -  </span +      ><a name="line-9" +      ></a        ><span class="hs-identifier"        >quux</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-10" +      ></a        ><a name="quux"        ><a href="Identifiers.html#quux"  	><span class="hs-identifier"  	  >quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -348,17 +372,17 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#foo"        ><span class="hs-identifier hs-var"  	>foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -366,13 +390,13 @@        ><span class="hs-identifier hs-var"  	>bar</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -380,7 +404,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -388,13 +412,13 @@        ><span class="hs-identifier hs-var"  	>bar</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -402,54 +426,62 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-11" +      ></a +      ><span +      > +</span +      ><a name="line-12" +      ></a        ><span class="hs-identifier"        >norf</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-13" +      ></a        ><a name="norf"        ><a href="Identifiers.html#norf"  	><span class="hs-identifier"  	  >norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -457,7 +489,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -465,7 +497,7 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -473,131 +505,147 @@  	  >z</span  	  ></a  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-14" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        ><</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-15" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        ><</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-16" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>z</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        ><</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>z</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-17" +      ></a +      ><span +      >    </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >otherwise</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#norf"        ><span class="hs-identifier hs-var"  	>norf</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -609,7 +657,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -621,7 +669,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -633,126 +681,150 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-18" +      ></a +      ><span +      > +</span +      ><a name="line-19" +      ></a +      ><span +      > +</span +      ><a name="line-20" +      ></a        ><span class="hs-identifier"        >main</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >IO</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-21" +      ></a        ><a name="main"        ><a href="Identifiers.html#main"  	><span class="hs-identifier"  	  >main</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >do</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-22" +      ></a +      ><span +      >    </span        ><span class="hs-identifier hs-var"        >putStrLn</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >show</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#foo"        ><span class="hs-identifier hs-var"  	>foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-23" +      ></a +      ><span +      >    </span        ><span class="hs-identifier hs-var"        >putStrLn</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >show</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#quux"        ><span class="hs-identifier hs-var"  	>quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>z</span  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-24" +      ></a +      ><span +      >    </span        ><span class="hs-identifier hs-var"        >putStrLn</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >.</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >show</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><a href="Identifiers.html#norf"        ><span class="hs-identifier hs-var" @@ -762,83 +834,101 @@  	><span class="hs-identifier hs-var"  	>norf</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>z</span  	></a -      ><span class="" +      ><span        > -  </span +</span +      ><a name="line-25" +      ></a +      ><span +      >  </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-26" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >10</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-27" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >20</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-28" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >z</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >30</span -      ><span class="" +      ><span        >  </span +      ><a name="line-29" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Literals.html b/hypsrc-test/ref/src/Literals.html index f2e4749b..a009a502 100644 --- a/hypsrc-test/ref/src/Literals.html +++ b/hypsrc-test/ref/src/Literals.html @@ -9,183 +9,217 @@    ><pre      ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Literals</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-identifier"        >str</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >String</span -      ><span class="" +      ><span        >  </span +      ><a name="line-5" +      ></a        ><a name="str"        ><a href="Literals.html#str"  	><span class="hs-identifier"  	  >str</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-string"        >"str literal"</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-6" +      ></a +      ><span        > -  </span +      ><a name="line-7" +      ></a        ><span class="hs-identifier"        >num</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Num</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-8" +      ></a        ><a name="num"        ><a href="Literals.html#num"  	><span class="hs-identifier"  	  >num</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1010011</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >41231</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >12131</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-9" +      ></a +      ><span +      > +</span +      ><a name="line-10" +      ></a        ><span class="hs-identifier"        >frac</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Fractional</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-11" +      ></a        ><a name="frac"        ><a href="Literals.html#frac"  	><span class="hs-identifier"  	  >frac</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >42.0000001</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-12" +      ></a +      ><span        > -  </span +      ><a name="line-13" +      ></a        ><span class="hs-identifier"        >list</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -207,20 +241,22 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-14" +      ></a        ><a name="list"        ><a href="Literals.html#list"  	><span class="hs-identifier"  	  >list</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -230,7 +266,7 @@        >]</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -242,7 +278,7 @@        >]</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -258,17 +294,23 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-15" +      ></a +      ><span        > -  </span +      ><a name="line-16" +      ></a        ><span class="hs-identifier"        >pair</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -278,7 +320,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -288,7 +330,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -296,7 +338,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -306,7 +348,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -314,20 +356,22 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-17" +      ></a        ><a name="pair"        ><a href="Literals.html#pair"  	><span class="hs-identifier"  	  >pair</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -337,7 +381,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -347,7 +391,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -355,7 +399,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -365,7 +409,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -373,9 +417,11 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-18" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index beefda58..fe690db2 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -9,30 +9,40 @@    ><pre      ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Operators</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >+++</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -42,11 +52,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -56,11 +66,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -70,16 +80,18 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-5" +      ></a        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="%2B%2B%2B"        ><a href="Operators.html#%2B%2B%2B" @@ -87,7 +99,7 @@  	  >+++</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -95,51 +107,57 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >++</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >++</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > -  </span +      ><a name="line-6" +      ></a +      ><span +      > +</span +      ><a name="line-7" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >$$$</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -149,11 +167,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -163,11 +181,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -177,16 +195,18 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-8" +      ></a        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="%24%24%24"        ><a href="Operators.html#%24%24%24" @@ -194,7 +214,7 @@  	  >$$$</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -202,43 +222,49 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Operators.html#%2B%2B%2B"        ><span class="hs-operator hs-var"  	>+++</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-9" +      ></a +      ><span        > -  </span +      ><a name="line-10" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >***</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -248,11 +274,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -262,11 +288,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -276,9 +302,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-11" +      ></a        ><span class="hs-special"        >(</span        ><a name="%2A%2A%2A" @@ -289,7 +317,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -297,32 +325,34 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-12" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >***</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -330,7 +360,7 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -346,23 +376,23 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Operators.html#%2B%2B%2B"        ><span class="hs-operator hs-var"  	>+++</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -370,13 +400,13 @@        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Operators.html#%2A%2A%2A"        ><span class="hs-operator hs-var"  	>***</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -384,21 +414,27 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > -  </span +      ><a name="line-13" +      ></a +      ><span +      > +</span +      ><a name="line-14" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >*/\*</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -412,11 +448,11 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -426,11 +462,11 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -440,16 +476,18 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-15" +      ></a        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="%2A%2F%5C%2A"        ><a href="Operators.html#%2A%2F%5C%2A" @@ -457,7 +495,7 @@  	  >*/\*</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -465,15 +503,15 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >concatMap</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -481,7 +519,7 @@        ><span class="hs-operator hs-var"  	>***</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -489,27 +527,33 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-16" +      ></a +      ><span        > -  </span +      ><a name="line-17" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >**/\**</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -523,11 +567,11 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -541,11 +585,11 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -559,16 +603,18 @@        >]</span        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        >  </span +      ><a name="line-18" +      ></a        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="%2A%2A%2F%5C%2A%2A"        ><a href="Operators.html#%2A%2A%2F%5C%2A%2A" @@ -576,7 +622,7 @@  	  >**/\**</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -584,15 +630,15 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >zipWith</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -602,7 +648,7 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >[</span @@ -610,13 +656,13 @@        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Operators.html#%2B%2B%2B"        ><span class="hs-operator hs-var"  	>+++</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -624,7 +670,7 @@  	></a        ><span class="hs-special"        >]</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -632,13 +678,13 @@        ><span class="hs-identifier hs-var"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Operators.html#%24%24%24"        ><span class="hs-operator hs-var"  	>$$$</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -646,42 +692,52 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-19" +      ></a +      ><span +      > +</span +      ><a name="line-20" +      ></a +      ><span        > - -  </span +      ><a name="line-21" +      ></a        ><span class="hs-special"        >(</span        ><span class="hs-operator"        >#.#</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>a</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type"  	>b</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -689,11 +745,11 @@        ><span class="hs-identifier hs-type"  	>c</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -703,7 +759,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-type" @@ -713,16 +769,18 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-22" +      ></a        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="%23.%23"        ><a href="Operators.html#%23.%23" @@ -730,7 +788,7 @@  	  >#.#</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -738,19 +796,19 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-var"        >const</span -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >$</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -760,7 +818,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -768,9 +826,11 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-23" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html index 0751782a..eb4e0fbb 100644 --- a/hypsrc-test/ref/src/Records.html +++ b/hypsrc-test/ref/src/Records.html @@ -9,34 +9,56 @@    ><pre      ><span class="hs-pragma"        >{-# LANGUAGE NamedFieldPuns #-}</span -      ><span class="" +      ><span        >  </span +      ><a name="line-2" +      ></a        ><span class="hs-pragma"        >{-# LANGUAGE RecordWildCards #-}</span -      ><span class="" +      ><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 class="" +      ><span        > </span        ><span class="hs-identifier"        >Records</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-6" +      ></a +      ><span +      > +</span +      ><a name="line-7" +      ></a +      ><span        > - -  </span +      ><a name="line-8" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><a name="Point"        ><a href="Records.html#Point" @@ -44,11 +66,11 @@  	  >Point</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="Point"        ><a href="Records.html#Point" @@ -56,12 +78,16 @@  	  >Point</span  	  ></a  	></a -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-9" +      ></a +      ><span +      >    </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a name="x"        ><a href="Records.html#x" @@ -69,22 +95,26 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >!</span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-10" +      ></a +      ><span +      >    </span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="y"        ><a href="Records.html#y" @@ -92,64 +122,80 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >!</span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-11" +      ></a +      ><span +      >    </span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-12" +      ></a +      ><span +      > +</span +      ><a name="line-13" +      ></a +      ><span        > - -  </span +      ><a name="line-14" +      ></a        ><span class="hs-identifier"        >point</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-15" +      ></a        ><a name="point"        ><a href="Records.html#point"  	><span class="hs-identifier"  	  >point</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -157,7 +203,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -165,31 +211,31 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-var"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -197,61 +243,73 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-16" +      ></a +      ><span +      > +</span +      ><a name="line-17" +      ></a +      ><span +      > +</span +      ><a name="line-18" +      ></a        ><span class="hs-identifier"        >lengthSqr</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-19" +      ></a        ><a name="lengthSqr"        ><a href="Records.html#lengthSqr"  	><span class="hs-identifier"  	  >lengthSqr</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -259,21 +317,21 @@        ><span class="hs-identifier hs-var"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -283,17 +341,17 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -301,86 +359,94 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-20" +      ></a +      ><span        > -  </span +      ><a name="line-21" +      ></a        ><span class="hs-identifier"        >lengthSqr'</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-22" +      ></a        ><a name="lengthSqr%27"        ><a href="Records.html#lengthSqr%27"  	><span class="hs-identifier"  	  >lengthSqr'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -388,11 +454,11 @@        ><span class="hs-identifier hs-var"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var" @@ -400,109 +466,121 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >*</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-23" +      ></a +      ><span        > - -  </span +      ><a name="line-24" +      ></a +      ><span +      > +</span +      ><a name="line-25" +      ></a        ><span class="hs-identifier"        >translateX</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >translateY</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-26" +      ></a        ><a name="translateX"        ><a href="Records.html#translateX"  	><span class="hs-identifier"  	  >translateX</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -510,7 +588,7 @@  	  >p</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -518,66 +596,68 @@  	  >d</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>d</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span        >  </span +      ><a name="line-27" +      ></a        ><a name="translateY"        ><a href="Records.html#translateY"  	><span class="hs-identifier"  	  >translateY</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -585,7 +665,7 @@  	  >p</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -593,108 +673,116 @@  	  >d</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>d</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-28" +      ></a +      ><span        > -  </span +      ><a name="line-29" +      ></a        ><span class="hs-identifier"        >translate</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-type"  	>Point</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-30" +      ></a        ><a name="translate"        ><a href="Records.html#translate"  	><span class="hs-identifier"  	  >translate</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -702,7 +790,7 @@  	  >x</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -710,7 +798,7 @@  	  >y</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -718,31 +806,43 @@  	  >p</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-31" +      ></a +      ><span +      >    </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>aux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > -  </span +</span +      ><a name="line-32" +      ></a +      ><span +      >  </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-33" +      ></a +      ><span +      >    </span        ><span class="hs-special"        >(</span        ><a name="local-0" @@ -753,7 +853,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -763,11 +863,11 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -777,7 +877,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -785,16 +885,20 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > -    </span +</span +      ><a name="line-34" +      ></a +      ><span +      >    </span        ><a name="local-0"        ><a href="#local-0"  	><span class="hs-identifier"  	  >aux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a href="Records.html#Point"        ><span class="hs-identifier hs-var" @@ -806,41 +910,41 @@        >..</span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>p</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >{</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#x"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>x</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var" @@ -848,39 +952,41 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Records.html#y"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>y</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-operator hs-var"        >+</span -      ><span class="" +      ><span        > </span        ><a href="#local-0"        ><span class="hs-identifier hs-var"  	>dy</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >}</span -      ><span class="" +      ><span        >  </span +      ><a name="line-35" +      ></a        ></pre      ></body    ></html diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index bdb68ed6..d59f61f8 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -9,29 +9,49 @@    ><pre      ><span class="hs-pragma"        >{-# LANGUAGE TypeFamilies #-}</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-2" +      ></a +      ><span +      > +</span +      ><a name="line-3" +      ></a +      ><span +      > +</span +      ><a name="line-4" +      ></a        ><span class="hs-keyword"        >module</span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier"        >Types</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >where</span -      ><span class="" +      ><span        > - -  </span +      ><a name="line-5" +      ></a +      ><span +      > +</span +      ><a name="line-6" +      ></a +      ><span +      > +</span +      ><a name="line-7" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><a name="Quux"        ><a href="Types.html#Quux" @@ -39,11 +59,11 @@  	  >Quux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="Bar"        ><a href="Types.html#Bar" @@ -51,11 +71,11 @@  	  >Bar</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >|</span -      ><span class="" +      ><span        > </span        ><a name="Baz"        ><a href="Types.html#Baz" @@ -63,13 +83,19 @@  	  >Baz</span  	  ></a  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-8" +      ></a +      ><span        > -  </span +      ><a name="line-9" +      ></a        ><span class="hs-keyword"        >newtype</span -      ><span class="" +      ><span        > </span        ><a name="Foo"        ><a href="Types.html#Foo" @@ -77,11 +103,11 @@  	  >Foo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="Foo"        ><a href="Types.html#Foo" @@ -89,19 +115,25 @@  	  >Foo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-10" +      ></a +      ><span        > -  </span +      ><a name="line-11" +      ></a        ><span class="hs-keyword"        >type</span -      ><span class="" +      ><span        > </span        ><a name="FooQuux"        ><a href="Types.html#FooQuux" @@ -109,11 +141,11 @@  	  >FooQuux</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -123,7 +155,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type" @@ -131,12 +163,14 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-12" +      ></a        ><span class="hs-keyword"        >type</span -      ><span class="" +      ><span        > </span        ><a name="QuuxFoo"        ><a href="Types.html#QuuxFoo" @@ -144,11 +178,11 @@  	  >QuuxFoo</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -158,7 +192,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type" @@ -166,18 +200,28 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-13" +      ></a +      ><span        > - -  </span +      ><a name="line-14" +      ></a +      ><span +      > +</span +      ><a name="line-15" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >family</span -      ><span class="" +      ><span        > </span        ><a name="Norf"        ><a href="Types.html#Norf" @@ -185,7 +229,7 @@  	  >Norf</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -193,7 +237,7 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -201,39 +245,45 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span +      > +</span +      ><a name="line-16" +      ></a +      ><span        > -  </span +      ><a name="line-17" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="NFQ"        ><a href="Types.html#NFQ" @@ -241,50 +291,52 @@  	  >NFQ</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        >  </span +      ><a name="line-18" +      ></a        ><span class="hs-keyword"        >data</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><a name="NQF"        ><a href="Types.html#NQF" @@ -292,30 +344,40 @@  	  >NQF</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > - -  </span +      ><a name="line-19" +      ></a +      ><span +      > +</span +      ><a name="line-20" +      ></a +      ><span +      > +</span +      ><a name="line-21" +      ></a        ><span class="hs-keyword"        >type</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >family</span -      ><span class="" +      ><span        > </span        ><a name="Norf%27"        ><a href="Types.html#Norf%27" @@ -323,7 +385,7 @@  	  >Norf'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -331,7 +393,7 @@  	  >a</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><a name="local-0"        ><a href="#local-0" @@ -339,39 +401,45 @@  	  >b</span  	  ></a  	></a -      ><span class="" +      ><span        > -  </span +      ><a name="line-22" +      ></a +      ><span +      > +</span +      ><a name="line-23" +      ></a        ><span class="hs-keyword"        >type</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf%27"        ><span class="hs-identifier hs-type"  	>Norf'</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -381,7 +449,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type" @@ -389,38 +457,40 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        >  </span +      ><a name="line-24" +      ></a        ><span class="hs-keyword"        >type</span -      ><span class="" +      ><span        > </span        ><span class="hs-keyword"        >instance</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf%27"        ><span class="hs-identifier hs-type"  	>Norf'</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -430,7 +500,7 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type" @@ -438,53 +508,65 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-25" +      ></a +      ><span +      > +</span +      ><a name="line-26" +      ></a +      ><span        > - -  </span +      ><a name="line-27" +      ></a        ><span class="hs-identifier"        >norf1</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-28" +      ></a        ><a name="norf1"        ><a href="Types.html#norf1"  	><span class="hs-identifier"  	  >norf1</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -492,7 +574,7 @@        ><span class="hs-identifier hs-var"  	>NFQ</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -500,7 +582,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -508,7 +590,7 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Bar"        ><span class="hs-identifier hs-var" @@ -516,20 +598,22 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-29" +      ></a        ><span class="hs-identifier"        >norf1</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -537,7 +621,7 @@        ><span class="hs-identifier hs-var"  	>NFQ</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -545,7 +629,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -553,7 +637,7 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Baz"        ><span class="hs-identifier hs-var" @@ -561,60 +645,68 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-30" +      ></a +      ><span        > -  </span +      ><a name="line-31" +      ></a        ><span class="hs-identifier"        >norf2</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf"        ><span class="hs-identifier hs-type"  	>Norf</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-32" +      ></a        ><a name="norf2"        ><a href="Types.html#norf2"  	><span class="hs-identifier"  	  >norf2</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -622,13 +714,13 @@        ><span class="hs-identifier hs-var"  	>NQF</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Bar"        ><span class="hs-identifier hs-var"  	>Bar</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -636,7 +728,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -646,20 +738,22 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-33" +      ></a        ><span class="hs-identifier"        >norf2</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -667,13 +761,13 @@        ><span class="hs-identifier hs-var"  	>NQF</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Baz"        ><span class="hs-identifier hs-var"  	>Baz</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -681,7 +775,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -691,61 +785,73 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-34" +      ></a +      ><span        > - -  </span +      ><a name="line-35" +      ></a +      ><span +      > +</span +      ><a name="line-36" +      ></a        ><span class="hs-identifier"        >norf1'</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf%27"        ><span class="hs-identifier hs-type"  	>Norf'</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-37" +      ></a        ><a name="norf1%27"        ><a href="Types.html#norf1%27"  	><span class="hs-identifier"  	  >norf1'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -753,7 +859,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -761,7 +867,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Bar"        ><span class="hs-identifier hs-var" @@ -769,20 +875,22 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-38" +      ></a        ><span class="hs-identifier"        >norf1'</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -790,7 +898,7 @@        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -798,7 +906,7 @@        >)</span        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Baz"        ><span class="hs-identifier hs-var" @@ -806,60 +914,68 @@  	></a        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1</span -      ><span class="" +      ><span +      > +</span +      ><a name="line-39" +      ></a +      ><span        > -  </span +      ><a name="line-40" +      ></a        ><span class="hs-identifier"        >norf2'</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >::</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Norf%27"        ><span class="hs-identifier hs-type"  	>Norf'</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Quux"        ><span class="hs-identifier hs-type"  	>Quux</span  	></a -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-type"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >-></span -      ><span class="" +      ><span        > </span        ><span class="hs-identifier hs-type"        >Int</span -      ><span class="" +      ><span        >  </span +      ><a name="line-41" +      ></a        ><a name="norf2%27"        ><a href="Types.html#norf2%27"  	><span class="hs-identifier"  	  >norf2'</span  	  ></a  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -869,13 +985,13 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -883,20 +999,22 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >0</span -      ><span class="" +      ><span        >  </span +      ><a name="line-42" +      ></a        ><span class="hs-identifier"        >norf2'</span -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -906,13 +1024,13 @@  	></a        ><span class="hs-special"        >,</span -      ><span class="" +      ><span        > </span        ><a href="Types.html#Foo"        ><span class="hs-identifier hs-var"  	>Foo</span  	></a -      ><span class="" +      ><span        > </span        ><span class="hs-special"        >(</span @@ -920,17 +1038,19 @@        >)</span        ><span class="hs-special"        >)</span -      ><span class="" +      ><span        > </span        ><span class="hs-glyph"        >=</span -      ><span class="" +      ><span        > </span        ><span class="hs-number"        >1</span -      ><span class="" +      ><span        >  </span +      ><a name="line-43" +      ></a        ></pre      ></body    ></html | 
