Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9

1 files changed, 47 insertions, 42 deletions

diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$.html b/api/dotty/tools/dotc/typer/ProtoTypes$.html
index 04e23ab4b..fb89a3e0b 100644
--- a/api/dotty/tools/dotc/typer/ProtoTypes$.html
+++ b/api/dotty/tools/dotc/typer/ProtoTypes$.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>
@@ -6663,9 +6668,9 @@ operation is further selection. In this case, the expression need not be a value
             </script>
         </div><!-- end member -->
         
-        <div id="constrained(pt,owningTree)(ctx)" class="member ">
+        <div id="constrained(tl,owningTree)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button " onclick="toggleMemberBody(this, 'constrained(pt,owningTree)(ctx)');">[+]</span>
+                <span class="expand-button " onclick="toggleMemberBody(this, 'constrained(tl,owningTree)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6687,9 +6692,9 @@ operation is further selection. In this case, the expression need not be a value
                         
                         
                             <span class="no-left">
-                                pt:
+                                tl:
                             </span>
-                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a>
                             
                                 <span class="no-left">, </span>
                             
@@ -6721,7 +6726,7 @@ operation is further selection. In this case, the expression need not be a value
 
                 
                 <span class="no-left">: <span class="no-right">(</span>
-<a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a><span>, </span>List
+<a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a><span>, </span>List
 <span class="no-left no-right">[</span>
 <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#TypeTree">TypeTree</a>
 <span class="no-left">]</span>
@@ -6730,18 +6735,18 @@ operation is further selection. In this case, the expression need not be a value
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-constrained(pt,owningTree)(ctx)">
-                    <p>Add all parameters in given polytype <code>pt</code> to the constraint's domain.
+                <div class="member-body-short" id="short-body-constrained(tl,owningTree)(ctx)">
+                    <p>Add all parameters of given type lambda <code>tl</code> to the constraint's domain.
 If the constraint contains already some of these parameters in its domain,
-make a co...
+make a...
 </p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-constrained(pt,owningTree)(ctx)">
-                    <p>Add all parameters in given polytype <code>pt</code> to the constraint's domain.
+                <div class="member-body-long" id ="long-body-constrained(tl,owningTree)(ctx)">
+                    <p>Add all parameters of given type lambda <code>tl</code> to the constraint's domain.
 If the constraint contains already some of these parameters in its domain,
-make a copy of the polytype and add the copy's type parameters instead.
-Return either the original polytype, or the copy, if one was made.
+make a copy of the type lambda and add the copy's type parameters instead.
+Return either the original type lambda, or the copy, if one was made.
 Also, if <code>owningTree</code> is non-empty, add a type variable for each parameter.</p>
 
                 </div>
@@ -6759,9 +6764,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
             </script>
         </div><!-- end member -->
         
-        <div id="constrained(pt)(ctx)" class="member ">
+        <div id="constrained(tl)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'constrained(pt)(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'constrained(tl)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6783,9 +6788,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
                         
                         
                             <span class="no-left">
-                                pt:
+                                tl:
                             </span>
-                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a>
                             
                         
                     <span class="no-left">)</span>
@@ -6808,17 +6813,17 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
                 
 
                 
-                <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a></span>
+                <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-constrained(pt)(ctx)">
-                    <p>Same as <code>constrained(pt, EmptyTree)</code>, but returns just the created polytype</p>
+                <div class="member-body-short" id="short-body-constrained(tl)(ctx)">
+                    <p>Same as <code>constrained(tl, EmptyTree)</code>, but returns just the created type lambda</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-constrained(pt)(ctx)">
-                    <p>Same as <code>constrained(pt, EmptyTree)</code>, but returns just the created polytype</p>
+                <div class="member-body-long" id ="long-body-constrained(tl)(ctx)">
+                    <p>Same as <code>constrained(tl, EmptyTree)</code>, but returns just the created type lambda</p>
 
                 </div>
             </div>
@@ -6835,9 +6840,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
             </script>
         </div><!-- end member -->
         
-        <div id="newDepPolyParam(tp)(ctx)" class="member ">
+        <div id="newDepTypeParamRef(tp)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'newDepPolyParam(tp)(ctx)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'newDepTypeParamRef(tp)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6849,7 +6854,7 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
                 </span>
                 <span class="member-name ">
                     
-                        newDepPolyParam
+                        newDepTypeParamRef
                     
                 </span>
 
@@ -6884,17 +6889,17 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para
                 
 
                 
-                <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a></span>
+                <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-newDepPolyParam(tp)(ctx)">
-                    <p>Create a new polyparam that represents a dependent method parameter singleton</p>
+                <div class="member-body-short" id="short-body-newDepTypeParamRef(tp)(ctx)">
+                    <p>Create a new TypeParamRef that represents a dependent method parameter singleton</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-newDepPolyParam(tp)(ctx)">
-                    <p>Create a new polyparam that represents a dependent method parameter singleton</p>
+                <div class="member-body-long" id ="long-body-newDepTypeParamRef(tp)(ctx)">
+                    <p>Create a new TypeParamRef that represents a dependent method parameter singleton</p>
 
                 </div>
             </div>
@@ -7067,12 +7072,12 @@ function type is not compatible with the prototype.</p>
             <div class="member-body">
                 <div class="member-body-short" id="short-body-resultTypeApprox(mt)(ctx)">
                     <p>The result type of <code>mt</code>, where all references to parameters of <code>mt</code> are
-replaced by either wildcards (if typevarsMissContext) or polyparams.</p>
+replaced by either wildcards (if typevarsMissContext) or TypeParamRefs.</p>
 
                 </div>
                 <div class="member-body-long" id ="long-body-resultTypeApprox(mt)(ctx)">
                     <p>The result type of <code>mt</code>, where all references to parameters of <code>mt</code> are
-replaced by either wildcards (if typevarsMissContext) or polyparams.</p>
+replaced by either wildcards (if typevarsMissContext) or TypeParamRefs.</p>
 
                 </div>
             </div>
@@ -7227,7 +7232,7 @@ treat constructors specially</p>
                             </span>
                             Set
 <span class="no-left no-right">[</span>
-<a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a>
+<a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a>
 <span class="no-left">]</span>