aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html
diff options
context:
space:
mode:
Diffstat (limited to 'api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html')
-rw-r--r--api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html61
1 files changed, 0 insertions, 61 deletions
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html
index 90d8284b1..5ddba80fb 100644
--- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html
+++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html
@@ -5877,67 +5877,6 @@ They are discarded during the translation.</p>
</script>
</div><!-- end member -->
- <div id="isBackquoted(x)" class="member ">
- <div class="member-title">
- <span class="expand-button" onclick="toggleMemberBody(this, 'isBackquoted(x)');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- def
- </span>
- <span class="member-name ">
-
- isBackquoted
-
- </span>
-
-
-
- <span class="no-left">(</span>
-
-
- <span class="no-left">
- x:
- </span>
- <a href="../../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a>
-
-
- <span class="no-left">)</span>
-
-
-
-
-
-
- <span class="no-left">: Boolean</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-isBackquoted(x)">
-
- </div>
- <div class="member-body-long" id ="long-body-isBackquoted(x)">
-
- </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="isSyntheticDefaultCase(cdef)" class="member ">
<div class="member-title">
<span class="expand-button" onclick="toggleMemberBody(this, 'isSyntheticDefaultCase(cdef)');">[+]</span>