Update gh-pages

Store path: /nix/store/hsai7w9cakz4pkhnryyj4xfnivy3h8w7-lambda-buffers-book

print.html

@@ -2180,15 +2180,15 @@ <h5 id="opaque-type-definition"><a class="header" href="#opaque-type-definition"
 <h4 id="class-definition"><a class="header" href="#class-definition">Class definition</a></h4>
 <p>A class definition introduces a new class.</p>
 <pre><code class="language-text">classdef       -&gt; 'class' [ constraintexps '&lt;=' ] classname { varname }
-constraintexp  -&gt; classref { varname }
+constraintexp  -&gt; longclassname { varname }
                 | '(' constraintexps ')'
 constraintexps -&gt; [ constraintexp { ',' constraintexp } ]
 </code></pre>
 <p>Class definitions communicate with the code generator the implementations that already exist (via instance clauses) or that one would like to generate (via derive clauses).</p>
 <h4 id="instance-clause"><a class="header" href="#instance-clause">Instance clause</a></h4>
 <p>An instance clause specifies a type is an instance of a class.</p>
 <pre><code class="language-text">instanceclause -&gt; 'instance'  constraint [ ':-' constraintexps ]
-constraint     -&gt; classref { typeexp }
+constraint     -&gt; longclassname { typeexp }
 </code></pre>
 <p>Instance clauses do not instruct the code generator to generate code, but instead instructs the compiler (semantic checking) that the target language environment provides type class implementations for the given type (provided that the given <code>constraintexps</code> also have implementations).</p>
 <h4 id="derive-clause"><a class="header" href="#derive-clause">Derive clause</a></h4>
@@ -2227,12 +2227,12 @@ <h3 id="syntax-reference"><a class="header" href="#syntax-reference">Syntax refe
 opaquetypedef -&gt; 'opaque' typename { varname }
 
 classdef       -&gt; 'class' [ constraintexps '&lt;=' ] classname { varname }
-constraintexp  -&gt; classref { varname }
+constraintexp  -&gt; longclassname { varname }
                 | '(' constraintexps ')'
 constraintexps -&gt; [ constraintexp { ',' constraintexp } ]
 
 instanceclause -&gt; 'instance'  constraint [ ':-' constraintexps ]
-constraint     -&gt; classref { typeexp }
+constraint     -&gt; longclassname { typeexp }
 
 deriveclause -&gt; 'derive' constraint
 </code></pre>

syntax.html

@@ -294,15 +294,15 @@ <h5 id="opaque-type-definition"><a class="header" href="#opaque-type-definition"
 <h4 id="class-definition"><a class="header" href="#class-definition">Class definition</a></h4>
 <p>A class definition introduces a new class.</p>
 <pre><code class="language-text">classdef       -&gt; 'class' [ constraintexps '&lt;=' ] classname { varname }
-constraintexp  -&gt; classref { varname }
+constraintexp  -&gt; longclassname { varname }
                 | '(' constraintexps ')'
 constraintexps -&gt; [ constraintexp { ',' constraintexp } ]
 </code></pre>
 <p>Class definitions communicate with the code generator the implementations that already exist (via instance clauses) or that one would like to generate (via derive clauses).</p>
 <h4 id="instance-clause"><a class="header" href="#instance-clause">Instance clause</a></h4>
 <p>An instance clause specifies a type is an instance of a class.</p>
 <pre><code class="language-text">instanceclause -&gt; 'instance'  constraint [ ':-' constraintexps ]
-constraint     -&gt; classref { typeexp }
+constraint     -&gt; longclassname { typeexp }
 </code></pre>
 <p>Instance clauses do not instruct the code generator to generate code, but instead instructs the compiler (semantic checking) that the target language environment provides type class implementations for the given type (provided that the given <code>constraintexps</code> also have implementations).</p>
 <h4 id="derive-clause"><a class="header" href="#derive-clause">Derive clause</a></h4>
@@ -341,12 +341,12 @@ <h3 id="syntax-reference"><a class="header" href="#syntax-reference">Syntax refe
 opaquetypedef -&gt; 'opaque' typename { varname }
 
 classdef       -&gt; 'class' [ constraintexps '&lt;=' ] classname { varname }
-constraintexp  -&gt; classref { varname }
+constraintexp  -&gt; longclassname { varname }
                 | '(' constraintexps ')'
 constraintexps -&gt; [ constraintexp { ',' constraintexp } ]
 
 instanceclause -&gt; 'instance'  constraint [ ':-' constraintexps ]
-constraint     -&gt; classref { typeexp }
+constraint     -&gt; longclassname { typeexp }
 
 deriveclause -&gt; 'derive' constraint
 </code></pre>