diff options
Diffstat (limited to 'api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html')
| -rw-r--r-- | api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html index 2d371eb51..9d5699fba 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html @@ -5641,52 +5641,6 @@ </script> </div><!-- end member --> - <div id="ExtractorCallProd" class="member "> - <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ExtractorCallProd');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - class - </span> - <span class="member-name "> - - <a href="../../../../../../.././api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html">ExtractorCallProd</a> - - </span> - - - - - - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-ExtractorCallProd"> - - </div> - <div class="member-body-long" id ="long-body-ExtractorCallProd"> - - </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="ExtractorCallRegular" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ExtractorCallRegular');">[+]</span> |