diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-03 18:05:53 +0000 |
commit | 881c3b182fda1036d5a507d08ff85f7709d70703 (patch) | |
tree | c0248d0a1664dcbf9f483b65f65e4d4710c3d0bb /api/dotty/tools/dotc/core/Mode$.html | |
parent | b45ed2e609603cdaa94f9b7f5099da01e5e45314 (diff) | |
download | dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.gz dotty-881c3b182fda1036d5a507d08ff85f7709d70703.tar.bz2 dotty-881c3b182fda1036d5a507d08ff85f7709d70703.zip |
Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359
Diffstat (limited to 'api/dotty/tools/dotc/core/Mode$.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Mode$.html | 482 |
1 files changed, 457 insertions, 25 deletions
diff --git a/api/dotty/tools/dotc/core/Mode$.html b/api/dotty/tools/dotc/core/Mode$.html index 747612fcf..d8916aa67 100644 --- a/api/dotty/tools/dotc/core/Mode$.html +++ b/api/dotty/tools/dotc/core/Mode$.html @@ -5321,6 +5321,9 @@ <div id="entity-container"> <div id="entity-title"> + <span id="entity-annotations"> + + </span> <span id="entity-modifiers"> final </span> @@ -5330,16 +5333,29 @@ <span id="entity-name"> Mode </span> + + </div> - <h1 class="section ">Members</h1> + <h1 class="section empty"> + Constructors + </h1> + + <div id="entity-constructors" class="entity-section empty"> + + </div> + + <h1 class="section "> + Members + </h1> <div id="entity-members" class="entity-section "> <div id="AllowDependentFunctions" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AllowDependentFunctions');">[+]</span> <span class="member-annotations"> </span> @@ -5365,15 +5381,35 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Allow dependent functions. This is currently necessary for unpickling, because + <div class="member-body-short" id="short-body-AllowDependentFunctions"> + <p>Allow dependent functions. This is currently necessary for unpickling, because some dependent functions are passed through from the front end(s?), even... </p> + </div> + <div class="member-body-long" id ="long-body-AllowDependentFunctions"> + <p>Allow dependent functions. This is currently necessary for unpickling, because +some dependent functions are passed through from the front end(s?), even though they +are technically speaking illegal.</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="AllowLambdaWildcardApply" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'AllowLambdaWildcardApply');">[+]</span> <span class="member-annotations"> </span> @@ -5399,14 +5435,33 @@ some dependent functions are passed through from the front end(s?), even... </div><!-- end member-title --> <div class="member-body"> - <p>Allow hk applications of type lambdas to wildcard arguments; + <div class="member-body-short" id="short-body-AllowLambdaWildcardApply"> + <p>Allow hk applications of type lambdas to wildcard arguments; used for checking that such applications do not normally arise</p> + </div> + <div class="member-body-long" id ="long-body-AllowLambdaWildcardApply"> + <p>Allow hk applications of type lambdas to wildcard arguments; +used for checking that such applications do not normally arise</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="CheckCyclic" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'CheckCyclic');">[+]</span> <span class="member-annotations"> </span> @@ -5432,12 +5487,29 @@ used for checking that such applications do not normally arise</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-CheckCyclic"> + + </div> + <div class="member-body-long" id ="long-body-CheckCyclic"> + + </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="GADTflexible" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'GADTflexible');">[+]</span> <span class="member-annotations"> </span> @@ -5463,13 +5535,31 @@ used for checking that such applications do not normally arise</p> </div><!-- end member-title --> <div class="member-body"> - <p>Allow GADTFlexType labelled types to have their bounds adjusted</p> + <div class="member-body-short" id="short-body-GADTflexible"> + <p>Allow GADTFlexType labelled types to have their bounds adjusted</p> + + </div> + <div class="member-body-long" id ="long-body-GADTflexible"> + <p>Allow GADTFlexType labelled types to have their bounds adjusted</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="ImplicitExploration" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitExploration');">[+]</span> <span class="member-annotations"> </span> @@ -5495,15 +5585,35 @@ used for checking that such applications do not normally arise</p> </div><!-- end member-title --> <div class="member-body"> - <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous + <div class="member-body-short" id="short-body-ImplicitExploration"> + <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous +implicits checks are disabled and we succeed with the first implicit +found.</p> + + </div> + <div class="member-body-long" id ="long-body-ImplicitExploration"> + <p>We are currently in a <code>viewExists</code> check. In that case, ambiguous implicits checks are disabled and we succeed with the first implicit found.</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="ImplicitShadowing" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitShadowing');">[+]</span> <span class="member-annotations"> </span> @@ -5529,14 +5639,33 @@ found.</p> </div><!-- end member-title --> <div class="member-body"> - <p>We are currently typechecking an ident to determine whether some implicit + <div class="member-body-short" id="short-body-ImplicitShadowing"> + <p>We are currently typechecking an ident to determine whether some implicit +is shadowed - don't do any other shadowing tests.</p> + + </div> + <div class="member-body-long" id ="long-body-ImplicitShadowing"> + <p>We are currently typechecking an ident to determine whether some implicit is shadowed - don't do any other shadowing tests.</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="ImplicitsEnabled" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ImplicitsEnabled');">[+]</span> <span class="member-annotations"> </span> @@ -5562,12 +5691,29 @@ is shadowed - don't do any other shadowing tests.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-ImplicitsEnabled"> + + </div> + <div class="member-body-long" id ="long-body-ImplicitsEnabled"> + + </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="InPackageClauseName" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InPackageClauseName');">[+]</span> <span class="member-annotations"> </span> @@ -5593,14 +5739,33 @@ is shadowed - don't do any other shadowing tests.</p> </div><!-- end member-title --> <div class="member-body"> - <p>We are elaborating the fully qualified name of a package clause. + <div class="member-body-short" id="short-body-InPackageClauseName"> + <p>We are elaborating the fully qualified name of a package clause. In this case, identifiers should never be imported.</p> + </div> + <div class="member-body-long" id ="long-body-InPackageClauseName"> + <p>We are elaborating the fully qualified name of a package clause. +In this case, identifiers should never be imported.</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="InSuperCall" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InSuperCall');">[+]</span> <span class="member-annotations"> </span> @@ -5626,12 +5791,29 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-InSuperCall"> + + </div> + <div class="member-body-long" id ="long-body-InSuperCall"> + + </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="InferringReturnType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'InferringReturnType');">[+]</span> <span class="member-annotations"> </span> @@ -5657,12 +5839,29 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-InferringReturnType"> + + </div> + <div class="member-body-long" id ="long-body-InferringReturnType"> + + </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="None" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'None');">[+]</span> <span class="member-annotations"> </span> @@ -5688,12 +5887,29 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-None"> + + </div> + <div class="member-body-long" id ="long-body-None"> + + </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="OldOverloadingResolution" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'OldOverloadingResolution');">[+]</span> <span class="member-annotations"> </span> @@ -5719,13 +5935,31 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Use Scala2 scheme for overloading and implicit resolution</p> + <div class="member-body-short" id="short-body-OldOverloadingResolution"> + <p>Use Scala2 scheme for overloading and implicit resolution</p> + </div> + <div class="member-body-long" id ="long-body-OldOverloadingResolution"> + <p>Use Scala2 scheme for overloading and implicit resolution</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="Pattern" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Pattern');">[+]</span> <span class="member-annotations"> </span> @@ -5751,12 +5985,29 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Pattern"> + + </div> + <div class="member-body-long" id ="long-body-Pattern"> + + </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="PatternOrType" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'PatternOrType');">[+]</span> <span class="member-annotations"> </span> @@ -5782,12 +6033,29 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-PatternOrType"> + + </div> + <div class="member-body-long" id ="long-body-PatternOrType"> + + </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="Printing" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Printing');">[+]</span> <span class="member-annotations"> </span> @@ -5813,14 +6081,33 @@ In this case, identifiers should never be imported.</p> </div><!-- end member-title --> <div class="member-body"> - <p>We are currently printing something: avoid to produce more logs about + <div class="member-body-short" id="short-body-Printing"> + <p>We are currently printing something: avoid to produce more logs about +the printing</p> + + </div> + <div class="member-body-long" id ="long-body-Printing"> + <p>We are currently printing something: avoid to produce more logs about the printing</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="ReadPositions" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'ReadPositions');">[+]</span> <span class="member-annotations"> </span> @@ -5846,13 +6133,31 @@ the printing</p> </div><!-- end member-title --> <div class="member-body"> - <p>Read original positions when unpickling from TASTY</p> + <div class="member-body-short" id="short-body-ReadPositions"> + <p>Read original positions when unpickling from TASTY</p> + + </div> + <div class="member-body-long" id ="long-body-ReadPositions"> + <p>Read original positions when unpickling from TASTY</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="Scala2Unpickling" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Scala2Unpickling');">[+]</span> <span class="member-annotations"> </span> @@ -5878,13 +6183,31 @@ the printing</p> </div><!-- end member-title --> <div class="member-body"> - <p>We are currently unpickling Scala2 info</p> + <div class="member-body-short" id="short-body-Scala2Unpickling"> + <p>We are currently unpickling Scala2 info</p> + + </div> + <div class="member-body-long" id ="long-body-Scala2Unpickling"> + <p>We are currently unpickling Scala2 info</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="Type" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'Type');">[+]</span> <span class="member-annotations"> </span> @@ -5910,12 +6233,29 @@ the printing</p> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-Type"> + + </div> + <div class="member-body-long" id ="long-body-Type"> + + </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="TypevarsMissContext" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'TypevarsMissContext');">[+]</span> <span class="member-annotations"> </span> @@ -5941,16 +6281,38 @@ the printing</p> </div><!-- end member-title --> <div class="member-body"> - <p>This mode bit is set if we collect information without reference to a valid + <div class="member-body-short" id="short-body-TypevarsMissContext"> + <p>This mode bit is set if we collect information without reference to a valid context with typerstate and constraint. This is typically done when we cache... </p> + </div> + <div class="member-body-long" id ="long-body-TypevarsMissContext"> + <p>This mode bit is set if we collect information without reference to a valid +context with typerstate and constraint. This is typically done when we +cache the eligibility of implicits. Caching needs to be done across different constraints. +Therefore, if TypevarsMissContext is set, subtyping becomes looser, and assumes +that PolyParams can be sub- and supertypes of anything. See TypeComparer.</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="modeName" class="member private"> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'modeName');">[+]</span> <span class="member-annotations"> </span> @@ -5971,17 +6333,37 @@ cache... - <span class="no-left">: Array</span> + <span class="no-left">: Array +<span class="no-left no-right">[</span> +String +<span class="no-left">]</span></span> </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-modeName"> + + </div> + <div class="member-body-long" id ="long-body-modeName"> + + </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(bits)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'apply(bits)');">[+]</span> <span class="member-annotations"> </span> @@ -6020,12 +6402,29 @@ cache... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-apply(bits)"> + + </div> + <div class="member-body-long" id ="long-body-apply(bits)"> + + </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="newMode(bit,name)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'newMode(bit,name)');">[+]</span> <span class="member-annotations"> </span> @@ -6072,12 +6471,29 @@ cache... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-newMode(bit,name)"> + + </div> + <div class="member-body-long" id ="long-body-newMode(bit,name)"> + + </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="unapply(x$1)" class="member "> <div class="member-title"> + <span class="expand-button" onclick="toggleMemberBody(this, 'unapply(x$1)');">[+]</span> <span class="member-annotations"> </span> @@ -6116,8 +6532,24 @@ cache... </div><!-- end member-title --> <div class="member-body"> - + <div class="member-body-short" id="short-body-unapply(x$1)"> + + </div> + <div class="member-body-long" id ="long-body-unapply(x$1)"> + + </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> |