Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 304 insertions, 16 deletions

diff --git a/api/dotty/tools/dotc/core/Signature.html b/api/dotty/tools/dotc/core/Signature.html
index 0e44914ab..26aa554e0 100644
--- a/api/dotty/tools/dotc/core/Signature.html
+++ b/api/dotty/tools/dotc/core/Signature.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,6 +5333,8 @@
         <span id="entity-name">
             Signature
         </span>
+        
+        
     </div>
 
     
@@ -5359,12 +5364,52 @@ The signature name of a type is the fully qualified name of the type symbol of t
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Signature</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                paramsSig:
+                            </span>
+                            List
+<span class="no-left no-right">[</span>
+TypeName
+<span class="no-left">]</span>
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                resSig:
+                            </span>
+                            TypeName
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="paramsSig" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'paramsSig');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5385,17 +5430,37 @@ The signature name of a type is the fully qualified name of the type symbol of t
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+TypeName
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-paramsSig">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-paramsSig">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="resSig" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'resSig');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5421,12 +5486,29 @@ The signature name of a type is the fully qualified name of the type symbol of t
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-resSig">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-resSig">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_1" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5452,12 +5534,29 @@ The signature name of a type is the fully qualified name of the type symbol of t
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-_1">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-_1">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5483,12 +5582,29 @@ The signature name of a type is the fully qualified name of the type symbol of t
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-_2">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-_2">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="consistent(name1,name2)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'consistent(name1,name2)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5535,13 +5651,31 @@ The signature name of a type is the fully qualified name of the type symbol of t
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Two names are consistent if they are the same or one of them is tpnme.Uninstantiated</p>
+                <div class="member-body-short" id="short-body-consistent(name1,name2)">
+                    <p>Two names are consistent if they are the same or one of them is tpnme.Uninstantiated</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-consistent(name1,name2)">
+                    <p>Two names are consistent if they are the same or one of them is tpnme.Uninstantiated</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="consistentParams(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'consistentParams(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5580,15 +5714,35 @@ The signature name of a type is the fully qualified name of the type symbol of t
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does this signature coincide with that signature on their parameter parts?
+                <div class="member-body-short" id="short-body-consistentParams(that)">
+                    <p>Does this signature coincide with that signature on their parameter parts?
 This is the case if all parameter names are <em>consistent</em>, i.e. they are either
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-consistentParams(that)">
+                    <p>Does this signature coincide with that signature on their parameter parts?
+This is the case if all parameter names are <em>consistent</em>, i.e. they are either
+equal or on of them is tpnme.Uninstantiated.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="copy(paramsSig,resSig)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'copy(paramsSig,resSig)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5638,12 +5792,29 @@ TypeName
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-copy(paramsSig,resSig)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-copy(paramsSig,resSig)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="copy$default$1" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5664,17 +5835,37 @@ TypeName
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+TypeName
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-copy$default$1">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-copy$default$1">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="copy$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'copy$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5700,12 +5891,29 @@ TypeName
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-copy$default$2">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-copy$default$2">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isUnderDefined(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isUnderDefined(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5746,16 +5954,37 @@ TypeName
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A signature is under-defined if its paramsSig part contains at least one
+                <div class="member-body-short" id="short-body-isUnderDefined(ctx)">
+                    <p>A signature is under-defined if its paramsSig part contains at least one
 <code>tpnme.Uninstantiated</code>. Under-defined signatures arise when taking a signature
 of...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isUnderDefined(ctx)">
+                    <p>A signature is under-defined if its paramsSig part contains at least one
+<code>tpnme.Uninstantiated</code>. Under-defined signatures arise when taking a signature
+of a type that still contains uninstantiated type variables. They are eliminated
+by <code>fixSignature</code> in <code>PostTyper</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isWildcard(name)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isWildcard(name)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5794,13 +6023,31 @@ of...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>name.toString == &quot;&quot; or name.toString == &quot;_&quot;</p>
+                <div class="member-body-short" id="short-body-isWildcard(name)">
+                    <p>name.toString == &quot;&quot; or name.toString == &quot;_&quot;</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isWildcard(name)">
+                    <p>name.toString == &quot;&quot; or name.toString == &quot;_&quot;</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="matchDegree(that)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'matchDegree(that)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5852,16 +6099,39 @@ of...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The degree to which this signature matches <code>that</code>.
+                <div class="member-body-short" id="short-body-matchDegree(that)(ctx)">
+                    <p>The degree to which this signature matches <code>that</code>.
 If parameter names are consistent and result types names match (i.e. they are the same
 or one is a wild...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-matchDegree(that)(ctx)">
+                    <p>The degree to which this signature matches <code>that</code>.
+If parameter names are consistent and result types names match (i.e. they are the same
+or one is a wildcard), the result is <code>FullMatch</code>.
+If only the parameter names are consistent, the result is <code>ParamMatch</code> before erasure and
+<code>NoMatch</code> otherwise.
+If the parameters are inconsistent, the result is always <code>NoMatch</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="prepend(params,isJava)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'prepend(params,isJava)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5924,10 +6194,28 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Construct a signature by prepending the signature names of the given <code>params</code>
+                <div class="member-body-short" id="short-body-prepend(params,isJava)(ctx)">
+                    <p>Construct a signature by prepending the signature names of the given <code>params</code>
+to the parameter part of this signature.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-prepend(params,isJava)(ctx)">
+                    <p>Construct a signature by prepending the signature names of the given <code>params</code>
 to the parameter part of this signature.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>