Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 363 insertions, 20 deletions

diff --git a/api/dotty/tools/dotc/core/SymDenotations$.html b/api/dotty/tools/dotc/core/SymDenotations$.html
index 3f4ee4353..ba96c50dc 100644
--- a/api/dotty/tools/dotc/core/SymDenotations$.html
+++ b/api/dotty/tools/dotc/core/SymDenotations$.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             final
         </span>
@@ -5330,16 +5333,29 @@
         <span id="entity-name">
             SymDenotations
         </span>
+        
+        
     </div>
 
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section empty">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section empty">
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="ClassDenotation" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ClassDenotation');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5363,13 +5379,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The contents of a class definition during a period</p>
+                <div class="member-body-short" id="short-body-ClassDenotation">
+                    <p>The contents of a class definition during a period</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-ClassDenotation">
+                    <p>The contents of a class definition during a period</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="FingerPrint" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'FingerPrint');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5393,14 +5427,33 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A fingerprint is a bitset that acts as a bloom filter for sets
+                <div class="member-body-short" id="short-body-FingerPrint">
+                    <p>A fingerprint is a bitset that acts as a bloom filter for sets
 of names.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-FingerPrint">
+                    <p>A fingerprint is a bitset that acts as a bloom filter for sets
+of names.</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="FingerPrint$" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'FingerPrint$');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5424,12 +5477,29 @@ of names.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-FingerPrint$">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-FingerPrint$">
+                    
+                </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="LazyType" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'LazyType');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5453,16 +5523,38 @@ of names.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Instances of LazyType are carried by uncompleted symbols.
+                <div class="member-body-short" id="short-body-LazyType">
+                    <p>Instances of LazyType are carried by uncompleted symbols.
 Note: LazyTypes double up as (constant) functions from Symbol and
 from (TermSymbol, ClassSymbo...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-LazyType">
+                    <p>Instances of LazyType are carried by uncompleted symbols.
+Note: LazyTypes double up as (constant) functions from Symbol and
+from (TermSymbol, ClassSymbol) to LazyType. That way lazy types can be
+directly passed to symbol creation methods in Symbols that demand instances
+of these function types.</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="ModuleCompleter" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ModuleCompleter');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5486,16 +5578,37 @@ from (TermSymbol, ClassSymbo...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A lazy type for modules that points to the module class.
+                <div class="member-body-short" id="short-body-ModuleCompleter">
+                    <p>A lazy type for modules that points to the module class.
 Needed so that <code>moduleClass</code> works before completion.
 Completion of modules is always completion...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-ModuleCompleter">
+                    <p>A lazy type for modules that points to the module class.
+Needed so that <code>moduleClass</code> works before completion.
+Completion of modules is always completion of the underlying
+module class, followed by copying the relevant fields to the module.</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="NoCompleter" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoCompleter');">[+]</span>
                 <span class="member-annotations">
                     @sharable 
                 </span>
@@ -5519,13 +5632,31 @@ Completion of modules is always completion...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A missing completer</p>
+                <div class="member-body-short" id="short-body-NoCompleter">
+                    <p>A missing completer</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-NoCompleter">
+                    <p>A missing completer</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="NoCompleter$" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoCompleter$');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5549,12 +5680,29 @@ Completion of modules is always completion...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-NoCompleter$">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-NoCompleter$">
+                    
+                </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="NoDenotation" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoDenotation');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5578,12 +5726,29 @@ Completion of modules is always completion...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-NoDenotation">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-NoDenotation">
+                    
+                </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="PackageClassDenotation" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'PackageClassDenotation');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5607,14 +5772,33 @@ Completion of modules is always completion...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The denotation of a package class.
+                <div class="member-body-short" id="short-body-PackageClassDenotation">
+                    <p>The denotation of a package class.
+It overrides ClassDenotation to take account of package objects when looking for members</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-PackageClassDenotation">
+                    <p>The denotation of a package class.
 It overrides ClassDenotation to take account of package objects when looking for members</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="StubInfo" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'StubInfo');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5638,13 +5822,31 @@ It overrides ClassDenotation to take account of package objects when looking for
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A completer for missing references</p>
+                <div class="member-body-short" id="short-body-StubInfo">
+                    <p>A completer for missing references</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-StubInfo">
+                    <p>A completer for missing references</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="SymDenotation" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'SymDenotation');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5668,14 +5870,33 @@ It overrides ClassDenotation to take account of package objects when looking for
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A sym-denotation represents the contents of a definition
+                <div class="member-body-short" id="short-body-SymDenotation">
+                    <p>A sym-denotation represents the contents of a definition
 during a period.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-SymDenotation">
+                    <p>A sym-denotation represents the contents of a definition
+during a period.</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="SymDenotation$" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'SymDenotation$');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5699,14 +5920,33 @@ during a period.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A sym-denotation represents the contents of a definition
+                <div class="member-body-short" id="short-body-SymDenotation$">
+                    <p>A sym-denotation represents the contents of a definition
+during a period.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-SymDenotation$">
+                    <p>A sym-denotation represents the contents of a definition
 during a period.</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="TypeParamsCompleter" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'TypeParamsCompleter');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5730,14 +5970,33 @@ during a period.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A subclass of LazyTypes where type parameters can be completed independently of
+                <div class="member-body-short" id="short-body-TypeParamsCompleter">
+                    <p>A subclass of LazyTypes where type parameters can be completed independently of
 the info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-TypeParamsCompleter">
+                    <p>A subclass of LazyTypes where type parameters can be completed independently of
+the info.</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="AccessorOrLabel" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'AccessorOrLabel');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5763,12 +6022,29 @@ the info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-AccessorOrLabel">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-AccessorOrLabel">
+                    
+                </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="NoDenotation" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoDenotation');">[+]</span>
                 <span class="member-annotations">
                     @sharable 
                 </span>
@@ -5794,12 +6070,29 @@ the info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-NoDenotation">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-NoDenotation">
+                    
+                </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="NoSymbolFn" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoSymbolFn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5820,17 +6113,34 @@ the info.</p>
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: Context<span class="right-arrow"> =&gt; </span>NoSymbol$</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-NoSymbolFn">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-NoSymbolFn">
+                    
+                </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="indent" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'indent');">[+]</span>
                 <span class="member-annotations">
                     @sharable 
                 </span>
@@ -5856,12 +6166,29 @@ the info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-indent">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-indent">
+                    
+                </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="indent_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'indent_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     @sharable 
                 </span>
@@ -5900,8 +6227,24 @@ the info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-indent_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-indent_=(x$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>