From a66e0de9d5ce7561edace5d0292346832089ba12 Mon Sep 17 00:00:00 2001
From: dotty-bot <felix.mulder@epfl.ch>
Date: Wed, 8 Feb 2017 11:43:17 +0000
Subject: Update gh-pages site for 40954100fa0124e58dc203561ecf3ab082949f62

---
 api/dotty/tools/dotc/core/Contexts$/Context.html   | 12 ++--
 api/dotty/tools/dotc/core/Symbols$/Symbol.html     | 38 ++++++------
 api/dotty/tools/dotc/typer/ProtoTypes$.html        | 71 +++++-----------------
 .../dotc/typer/ProtoTypes$/WildApproxMap.html      | 60 ++++++++++++++++++
 api/dotty/tools/io/Jar$/WManifest.html             | 12 ++--
 5 files changed, 106 insertions(+), 87 deletions(-)

diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html
index 12edd5329..accce9482 100644
--- a/api/dotty/tools/dotc/core/Contexts$/Context.html
+++ b/api/dotty/tools/dotc/core/Contexts$/Context.html
@@ -5477,6 +5477,12 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5489,12 +5495,6 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                ctx:
-                            </span>
-                            Context
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
index b93a772f4..c745e4301 100644
--- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
@@ -5396,24 +5396,6 @@
             
         
             
-            <div class="member">
-                <div class="member-title">
-                    <span class="member-name">Symbol</span>
-                    <span class="no-left">(</span>
-                        
-                        
-                            <span class="no-left">
-                                self:
-                            </span>
-                            Symbol
-                            
-                        
-                    <span class="no-left">)</span>
-                </div>
-            </div>
-            
-        
-            
             <div class="member">
                 <div class="member-title">
                     <span class="member-name">Symbol</span>
@@ -5457,7 +5439,7 @@
                         
                         
                             <span class="no-left">
-                                sym:
+                                self:
                             </span>
                             Symbol
                             
@@ -5543,6 +5525,24 @@
             </div>
             
         
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Symbol</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                sym:
+                            </span>
+                            Symbol
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
     </div>
 
     <h1 class="section ">
diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$.html b/api/dotty/tools/dotc/typer/ProtoTypes$.html
index d5e39f42d..53ba5f2d2 100644
--- a/api/dotty/tools/dotc/typer/ProtoTypes$.html
+++ b/api/dotty/tools/dotc/typer/ProtoTypes$.html
@@ -6925,9 +6925,9 @@ treat constructors specially</p>
             </script>
         </div><!-- end member -->
         
-        <div id="wildApprox(tp,theMap)(ctx)" class="member ">
+        <div id="wildApprox(tp,theMap,seen)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'wildApprox(tp,theMap)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wildApprox(tp,theMap,seen)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6961,6 +6961,17 @@ treat constructors specially</p>
                             </span>
                             WildApproxMap
                             
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                seen:
+                            </span>
+                            Set
+<span class="no-left no-right">[</span>
+<a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a>
+<span class="no-left">]</span>
+                            
                         
                     <span class="no-left">)</span>
                     
@@ -6987,64 +6998,12 @@ treat constructors specially</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-wildApprox(tp,theMap)(ctx)">
-                    <p>Approximate occurrences of parameter types and uninstantiated typevars
-by wildcard types.</p>
-
-                </div>
-                <div class="member-body-long" id ="long-body-wildApprox(tp,theMap)(ctx)">
-                    <p>Approximate occurrences of parameter types and uninstantiated typevars
-by wildcard 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="wildApprox$default$2" class="member ">
-            <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'wildApprox$default$2');">[+]</span>
-                <span class="member-annotations">
-                    
-                </span>
-                <span class="member-modifiers">
-                    
-                </span>
-                <span class="member-kind">
-                    def
-                </span>
-                <span class="member-name ">
-                    
-                        wildApprox$default$2
-                    
-                </span>
-
-                
-
-                
-
-                
-                <span class="no-left">: Null</span>
-                
-            </div><!-- end member-title -->
-
-            <div class="member-body">
-                <div class="member-body-short" id="short-body-wildApprox$default$2">
+                <div class="member-body-short" id="short-body-wildApprox(tp,theMap,seen)(ctx)">
                     <p>Approximate occurrences of parameter types and uninstantiated typevars
 by wildcard types.</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-wildApprox$default$2">
+                <div class="member-body-long" id ="long-body-wildApprox(tp,theMap,seen)(ctx)">
                     <p>Approximate occurrences of parameter types and uninstantiated typevars
 by wildcard types.</p>
 
diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
index 13f8d9173..63f081d04 100644
--- a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
+++ b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
@@ -5361,6 +5361,15 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                seen:
+                            </span>
+                            Set
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span>
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5440,6 +5449,57 @@
             </script>
         </div><!-- end member -->
         
+        <div id="seen" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'seen');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    val
+                </span>
+                <span class="member-name ">
+                    
+                        seen
+                    
+                </span>
+
+                
+
+                
+
+                
+                <span class="no-left">: Set
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a>
+<span class="no-left">]</span></span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-seen">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-seen">
+                    
+                </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="apply(tp)" class="member ">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>
diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html
index b0fdfb8bb..09a9d2c27 100644
--- a/api/dotty/tools/io/Jar$/WManifest.html
+++ b/api/dotty/tools/io/Jar$/WManifest.html
@@ -5388,6 +5388,12 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                x$0:
+                            </span>
+                            Manifest
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5400,12 +5406,6 @@
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                x$0:
-                            </span>
-                            Manifest
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
-- 
cgit v1.2.3