aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-02-08 11:43:17 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-02-08 11:43:17 +0000
commita66e0de9d5ce7561edace5d0292346832089ba12 (patch)
treeb288c3b40895420c4ba3ee0c60f98d5b1fedada5
parent3b035e18179193ad8b2665f97d208203ee70f825 (diff)
downloaddotty-a66e0de9d5ce7561edace5d0292346832089ba12.tar.gz
dotty-a66e0de9d5ce7561edace5d0292346832089ba12.tar.bz2
dotty-a66e0de9d5ce7561edace5d0292346832089ba12.zip
Update gh-pages site for 40954100fa0124e58dc203561ecf3ab082949f62
-rw-r--r--api/dotty/tools/dotc/core/Contexts$/Context.html12
-rw-r--r--api/dotty/tools/dotc/core/Symbols$/Symbol.html38
-rw-r--r--api/dotty/tools/dotc/typer/ProtoTypes$.html71
-rw-r--r--api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html60
-rw-r--r--api/dotty/tools/io/Jar$/WManifest.html12
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
@@ -5403,24 +5403,6 @@
<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>
- <span class="no-left">(</span>
-
-
- <span class="no-left">
sym:
</span>
Symbol
@@ -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>