Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9

1 files changed, 145 insertions, 161 deletions

diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html
index b5e9e38ef..a31e6f148 100644
--- a/api/dotty/tools/dotc/core/Types$/Type.html
+++ b/api/dotty/tools/dotc/core/Types$/Type.html
@@ -909,6 +909,21 @@
                 
             
                 
+                
+            
+                
+                <li class="index-entity  with-companion ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a>
+                        
+                        <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a>
+                </li>
+                
+            
+                
                 <li class="index-entity  with-companion ">
                     <div class="entity-kinds">
                         
@@ -1112,16 +1127,6 @@
                 <li class="index-entity ">
                     <div class="entity-kinds">
                         
-                        <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a>
-                    </div>
-                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a>
-                </li>
-                
-            
-                
-                <li class="index-entity ">
-                    <div class="entity-kinds">
-                        
                         <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a>
                     </div>
                     <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a>
@@ -5471,10 +5476,10 @@
       |              |                +--- ThisType
       |              |                +--- SuperType
       |              |                +--- ConstantType
-      |              |                +--- MethodParam
+      |              |                +--- TermParamRef
       |              |                +----RecThis
       |              |                +--- SkolemType
-      |              +- PolyParam
+      |              +- TypeParamRef
       |              +- RefinedOrRecType -+-- RefinedType
       |              |                   -+-- RecType
       |              +- HKApply
@@ -5482,12 +5487,13 @@
       |              +- ExprType
       |              +- AnnotatedType
       |              +- TypeVar
-      |              +- PolyType
+      |              +- HKTypeLambda
       |
       +- GroundType -+- AndType
                      +- OrType
-                     +- MethodType -----+- ImplicitMethodType
-                     |                  +- JavaMethodType
+                     +- MethodOrPoly ---+-- PolyType
+                                        +-- MethodType ---+- ImplicitMethodType
+                     |                                    +- JavaMethodType
                      +- ClassInfo
                      |
                      +- NoType
@@ -6003,93 +6009,6 @@ v1 is compatible with v2, if v1 = v2 or v2 is non-variant.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="LambdaAbstract(tparams)(ctx)" class="member ">
-            <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LambdaAbstract(tparams)(ctx)');">[+]</span>
-                <span class="member-annotations">
-                    
-                </span>
-                <span class="member-modifiers">
-                    
-                </span>
-                <span class="member-kind">
-                    def
-                </span>
-                <span class="member-name ">
-                    
-                        LambdaAbstract
-                    
-                </span>
-
-                
-                    
-                    <span class="no-left">(</span>
-                        
-                        
-                            <span class="no-left">
-                                tparams:
-                            </span>
-                            List
-<span class="no-left no-right">[</span>
-TypeParamInfo
-<span class="no-left">]</span>
-                            
-                        
-                    <span class="no-left">)</span>
-                    
-                    <span class="no-left">(</span>
-                        
-                        <span class="no-left keyword">implicit</span>
-                        
-                        
-                            <span class="no-left">
-                                ctx:
-                            </span>
-                            Context
-                            
-                        
-                    <span class="no-left">)</span>
-                    
-                
-
-                
-
-                
-                <span class="no-left">: Type</span>
-                
-            </div><!-- end member-title -->
-
-            <div class="member-body">
-                <div class="member-body-short" id="short-body-LambdaAbstract(tparams)(ctx)">
-                    <p>Lambda abstract <code>self</code> with given type parameters. Examples:</p>
-<pre><code>type T[X] = U        becomes    type T = [X] -&gt; U
-type T[X] &gt;: L &lt;: U  becomes    type T &gt;: L &lt;: ([X] -&gt; U)
-</code></pre>
-<p>TODO: Handle parameterized lower bounds</p>
-
-                </div>
-                <div class="member-body-long" id ="long-body-LambdaAbstract(tparams)(ctx)">
-                    <p>Lambda abstract <code>self</code> with given type parameters. Examples:</p>
-<pre><code>type T[X] = U        becomes    type T = [X] -&gt; U
-type T[X] &gt;: L &lt;: U  becomes    type T &gt;: L &lt;: ([X] -&gt; U)
-</code></pre>
-<p>TODO: Handle parameterized lower bounds</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="abstractTermMembers(ctx)" class="member ">
             <div class="member-title">
                 <span class="expand-button invisible" onclick="toggleMemberBody(this, 'abstractTermMembers(ctx)');">[+]</span>
@@ -6339,9 +6258,9 @@ is covariant is irrelevant, so can be ignored.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="appliedTo(args)(ctx)" class="member ">
+        <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6363,12 +6282,17 @@ is covariant is irrelevant, so can be ignored.</p>
                         
                         
                             <span class="no-left">
-                                args:
+                                arg1:
                             </span>
-                            List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
+                            Type
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                arg2:
+                            </span>
+                            Type
                             
                         
                     <span class="no-left">)</span>
@@ -6396,17 +6320,11 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-appliedTo(args)(ctx)">
-                    <p>The type representing</p>
-<p>T[U1, ..., Un]</p>
-<p>where</p>
-
+                <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)">
+                    
                 </div>
-                <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)">
-                    <p>The type representing</p>
-<p>T[U1, ..., Un]</p>
-<p>where</p>
-
+                <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)">
+                    
                 </div>
             </div>
             <script>
@@ -6496,9 +6414,9 @@ Type
             </script>
         </div><!-- end member -->
         
-        <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
+        <div id="appliedTo(args)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6520,17 +6438,12 @@ Type
                         
                         
                             <span class="no-left">
-                                arg1:
-                            </span>
-                            Type
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                arg2:
+                                args:
                             </span>
-                            Type
+                            List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
                             
                         
                     <span class="no-left">)</span>
@@ -6558,11 +6471,17 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)">
-                    
+                <div class="member-body-short" id="short-body-appliedTo(args)(ctx)">
+                    <p>The type representing</p>
+<p>T[U1, ..., Un]</p>
+<p>where</p>
+
                 </div>
-                <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)">
-                    
+                <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)">
+                    <p>The type representing</p>
+<p>T[U1, ..., Un]</p>
+<p>where</p>
+
                 </div>
             </div>
             <script>
@@ -9245,7 +9164,7 @@ flags in <code>excluded</code> from consideration.</p>
             <div class="member-title">
                 <span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstParamTypes(ctx)');">[+]</span>
                 <span class="member-annotations">
-                    @tailrec 
+                    
                 </span>
                 <span class="member-modifiers">
                     final
@@ -10578,7 +10497,7 @@ be refined later.</p>
             <div class="member-title">
                 <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isParameterless(ctx)');">[+]</span>
                 <span class="member-annotations">
-                    @tailrec 
+                    
                 </span>
                 <span class="member-modifiers">
                     final
@@ -13199,9 +13118,9 @@ each other.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="paramNamess(ctx)" class="member ">
+        <div id="paramInfoss(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramInfoss(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13213,7 +13132,7 @@ each other.</p>
                 </span>
                 <span class="member-name ">
                     
-                        paramNamess
+                        paramInfoss
                     
                 </span>
 
@@ -13241,19 +13160,19 @@ each other.</p>
 <span class="no-left no-right">[</span>
 List
 <span class="no-left no-right">[</span>
-TermName
+Type
 <span class="no-left">]</span>
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-paramNamess(ctx)">
-                    <p>The parameter names of a PolyType or MethodType, Empty list for others</p>
+                <div class="member-body-short" id="short-body-paramInfoss(ctx)">
+                    <p>The parameter types of a PolyType or MethodType, Empty list for others</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-paramNamess(ctx)">
-                    <p>The parameter names of a PolyType or MethodType, Empty list for others</p>
+                <div class="member-body-long" id ="long-body-paramInfoss(ctx)">
+                    <p>The parameter types of a PolyType or MethodType, Empty list for others</p>
 
                 </div>
             </div>
@@ -13270,9 +13189,9 @@ TermName
             </script>
         </div><!-- end member -->
         
-        <div id="paramTypess(ctx)" class="member ">
+        <div id="paramNamess(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramTypess(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13284,7 +13203,7 @@ TermName
                 </span>
                 <span class="member-name ">
                     
-                        paramTypess
+                        paramNamess
                     
                 </span>
 
@@ -13312,19 +13231,19 @@ TermName
 <span class="no-left no-right">[</span>
 List
 <span class="no-left no-right">[</span>
-Type
+TermName
 <span class="no-left">]</span>
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-paramTypess(ctx)">
-                    <p>The parameter types of a PolyType or MethodType, Empty list for others</p>
+                <div class="member-body-short" id="short-body-paramNamess(ctx)">
+                    <p>The parameter names of a PolyType or MethodType, Empty list for others</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-paramTypess(ctx)">
-                    <p>The parameter types of a PolyType or MethodType, Empty list for others</p>
+                <div class="member-body-long" id ="long-body-paramNamess(ctx)">
+                    <p>The parameter names of a PolyType or MethodType, Empty list for others</p>
 
                 </div>
             </div>
@@ -13599,11 +13518,11 @@ Type
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-resultType(ctx)">
-                    <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p>
+                    <p>The resultType of a LambdaType, or ExprType, the type itself for others</p>
 
                 </div>
                 <div class="member-body-long" id ="long-body-resultType(ctx)">
-                    <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p>
+                    <p>The resultType of a LambdaType, or ExprType, the type itself for others</p>
 
                 </div>
             </div>
@@ -14430,6 +14349,71 @@ maps poly params in the current constraint set back to their type vars.</p>
             </script>
         </div><!-- end member -->
         
+        <div id="stripPoly(ctx)" class="member ">
+            <div class="member-title">
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripPoly(ctx)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        stripPoly
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        <span class="no-left keyword">implicit</span>
+                        
+                        
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: Type</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-stripPoly(ctx)">
+                    <p>Strip PolyType prefix</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-stripPoly(ctx)">
+                    <p>Strip PolyType prefix</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="stripTypeVar(ctx)" class="member ">
             <div class="member-title">
                 <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripTypeVar(ctx)');">[+]</span>
@@ -14652,13 +14636,13 @@ one of the symbols in <code>from</code> by the corresponding types in <code>to</
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-subst(from,to)(ctx)">
-                    <p>Substitute all types of the form <code>PolyParam(from, N)</code> by
-<code>PolyParam(to, N)</code>.</p>
+                    <p>Substitute all types of the form <code>TypeParamRef(from, N)</code> by
+<code>TypeParamRef(to, N)</code>.</p>
 
                 </div>
                 <div class="member-body-long" id ="long-body-subst(from,to)(ctx)">
-                    <p>Substitute all types of the form <code>PolyParam(from, N)</code> by
-<code>PolyParam(to, N)</code>.</p>
+                    <p>Substitute all types of the form <code>TypeParamRef(from, N)</code> by
+<code>TypeParamRef(to, N)</code>.</p>
 
                 </div>
             </div>
@@ -14799,7 +14783,7 @@ the type parameters.</p>
                             <span class="no-left">
                                 from:
                             </span>
-                            ParamType
+                            ParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -15377,7 +15361,7 @@ Symbol
                             <span class="no-left">
                                 tparam:
                             </span>
-                            TypeParamInfo
+                            ParamInfo
                             
                         
                     <span class="no-left">)</span>