diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:43:17 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:43:17 +0000 |
commit | a66e0de9d5ce7561edace5d0292346832089ba12 (patch) | |
tree | b288c3b40895420c4ba3ee0c60f98d5b1fedada5 /api/dotty/tools | |
parent | 3b035e18179193ad8b2665f97d208203ee70f825 (diff) | |
download | dotty-a66e0de9d5ce7561edace5d0292346832089ba12.tar.gz dotty-a66e0de9d5ce7561edace5d0292346832089ba12.tar.bz2 dotty-a66e0de9d5ce7561edace5d0292346832089ba12.zip |
Update gh-pages site for 40954100fa0124e58dc203561ecf3ab082949f62
Diffstat (limited to 'api/dotty/tools')
-rw-r--r-- | api/dotty/tools/dotc/core/Contexts$/Context.html | 12 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/Symbol.html | 38 | ||||
-rw-r--r-- | api/dotty/tools/dotc/typer/ProtoTypes$.html | 71 | ||||
-rw-r--r-- | api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html | 60 | ||||
-rw-r--r-- | 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 @@ -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> |