diff options
Diffstat (limited to 'api/dotty/tools/dotc/transform/PatternMatcher/Translator')
74 files changed, 74 insertions, 74 deletions
diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore.html index a5a373a44..bbd47c982 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/AbsCodegen.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/AbsCodegen.html index 33a33c7d3..85800e84f 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/AbsCodegen.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/AbsCodegen.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/Casegen.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/Casegen.html index 6af1d2fd4..b894a7add 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/Casegen.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/Casegen.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/CommonCodegen.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/CommonCodegen.html index 8466004d6..0de170965 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/CommonCodegen.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/CodegenCore/CommonCodegen.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchOptimizer.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchOptimizer.html index c31254c92..bcd79f4d0 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchOptimizer.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchOptimizer.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html index 574b51c4a..2d371eb51 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree$.html index fe83c8957..bbb95aac0 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree.html index 75e5b62cd..a620127b3 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/ConstantPattern$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/ConstantPattern$.html index 462bf56b1..4cfb5e6b7 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/ConstantPattern$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/ConstantPattern$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndTypeBound$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndTypeBound$.html index 67bbe08ce..75ad0e125 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndTypeBound$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndTypeBound$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndValueBound$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndValueBound$.html index 43ca2c125..6d15316ea 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndValueBound$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/SymbolAndValueBound$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/TypeBound$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/TypeBound$.html index b1e75789a..e0467e0b8 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/TypeBound$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/BoundTree/TypeBound$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall$.html index 2116580c1..b1a128b66 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall.html index 278db505d..e437fe2d7 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCall.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html index c14c2708e..9a97793b4 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallProd.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallRegular.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallRegular.html index ea1bd00a8..31621b26c 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallRegular.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/ExtractorCallRegular.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/PatternBoundToUnderscore$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/PatternBoundToUnderscore$.html index 503d8b1fd..9a6dd61d4 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/PatternBoundToUnderscore$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/PatternBoundToUnderscore$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/SymbolBound$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/SymbolBound$.html index d1b225bd3..92d145cbe 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/SymbolBound$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/SymbolBound$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep$.html index 2919a642e..bdf5cc317 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep.html index fd0f1c338..e766e696e 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/TranslationStep.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/WildcardPattern$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/WildcardPattern$.html index 2a4f2b57b..9a6ccc618 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/WildcardPattern$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/MatchTranslator/WildcardPattern$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/NoRebindings$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/NoRebindings$.html index 332d6e042..442f1495c 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/NoRebindings$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/NoRebindings$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen.html index ba91b2609..574b98711 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$.html index 82d72111d..e07aa167d 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$/OptimizedCasegen.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$/OptimizedCasegen.html index d40b95ec2..b6bc63eaa 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$/OptimizedCasegen.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizedCodegen/optimizedCodegen$/OptimizedCasegen.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizingMatchTranslator.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizingMatchTranslator.html index 93298c4a4..09bc751cf 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizingMatchTranslator.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/OptimizingMatchTranslator.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander.html index 70b86ebb5..2f2f7a331 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned$.html index 2a196a283..0c0a01115 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned.html index dba21f190..697385532 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Aligned.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor$.html index 0e8797a6c..4e424c1f7 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor.html index 106a72d4e..f281b1578 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Extractor.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/NoRepeated$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/NoRepeated$.html index e30c4b89b..3ec075b2c 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/NoRepeated$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/NoRepeated$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns$.html index c19e31fc4..c6f53b640 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns.html index dd0034529..65afe18f6 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Patterns.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated$.html index 45b251911..ba7c6e856 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated.html index e9ef41255..81ecd03a2 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/Repeated.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat$.html index ffd227e62..af7dfc303 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat.html index e6e632b09..f51d25b2e 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/TypedPat.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings$.html index 1fdb59602..c3f950aab 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings.html index 44cb0837e..428fd32ed 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Rebindings.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders.html index 8558731b8..a4d52da4c 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/AlignedOps.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/AlignedOps.html index f3496097d..90871a861 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/AlignedOps.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/AlignedOps.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/ScalacPatternExpander.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/ScalacPatternExpander.html index a92ad54ce..7d105d1a1 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/ScalacPatternExpander.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/ScalacPatternExpander.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html index d818c5e23..3e972c15a 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$/Applied$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$/Applied$.html index 0215e6ad3..fb2e5378d 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$/Applied$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/ScalacPatternExpanders/alignPatterns$/Applied$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression$.html index 7339c0278..51efd99d8 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression.html index 48f2d9d6d..c483c1a51 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/Suppression.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html index 04fb60857..3cb60fe97 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker$.html index 3837764a0..6144be095 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker.html index c53f2a9bc..88bd12b67 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/AlternativesTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker$.html index b7005c31b..8aef04723 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker.html index af7f5c695..28ffb3758 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/BodyTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/CondTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/CondTreeMaker.html index 6e75f8afa..429b9093a 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/CondTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/CondTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker$.html index 9a70315d5..c2a501a7b 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker.html index e829c9593..40f146618 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/EqualityTestTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker$.html index 1abebc48c..87b4dbb7d 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker.html index e52b3a7d4..f4d6e9a1b 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ExtractorTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/FunTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/FunTreeMaker.html index 79a47acd6..7ff438194 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/FunTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/FunTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker$.html index 11b546e83..047f14a85 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker.html index 0a6895604..aa290d547 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/GuardTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/IrrefutableExtractorTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/IrrefutableExtractorTreeMaker$.html index 2b0f30b18..a1bad1f31 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/IrrefutableExtractorTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/IrrefutableExtractorTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/NoNewBinders.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/NoNewBinders.html index 7ee8b9aea..60438d84b 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/NoNewBinders.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/NoNewBinders.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/PreserveSubPatBinders.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/PreserveSubPatBinders.html index 2884b690c..57481305e 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/PreserveSubPatBinders.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/PreserveSubPatBinders.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html index c3aa0ac81..24e3d22fc 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html index b9bdfb4a8..dfb829449 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/ProductExtractorTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker$.html index 03e6cadb6..60a13d683 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker.html index 11e68ee0e..124bc01da 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/SubstOnlyTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TreeMaker.html index e59afa8ec..bdffae982 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker$.html index eb36347b0..5422a2bb3 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker.html index db6cba74d..d73aa23a9 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TrivialTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$.html index cd570ebef..fb63a5bd0 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/TypeTestCondStrategy.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/TypeTestCondStrategy.html index fcbfe899b..93e9928a6 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/TypeTestCondStrategy.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/TypeTestCondStrategy.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/treeCondStrategy$.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/treeCondStrategy$.html index bf6502e52..abfe9818a 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/treeCondStrategy$.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker$/treeCondStrategy$.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> diff --git a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker.html b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker.html index 0ce57639b..6b42fa517 100644 --- a/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker.html +++ b/api/dotty/tools/dotc/transform/PatternMatcher/Translator/TreeMakers/TypeTestTreeMaker.html @@ -91,7 +91,7 @@ <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Contributing");child.classList.toggle("show");child.classList.toggle("hide");})();'>Contributing</a> <ul id="Contributing" class="hide"> - <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li> + <li><a href="../../../../../../../.././docs/contributing/eclipse.html">Eclipse</a></li><li><a href="../../../../../../../.././docs/contributing/getting-started.html">Getting Started</a></li><li><a href="../../../../../../../.././docs/contributing/intellij-idea.html">IntelliJ IDEA</a></li><li><a href="../../../../../../../.././docs/contributing/workflow.html">Workflow</a></li><li><a href="../../../../../../../.././docs/contributing/testing.html">Testing</a></li> </ul></li> <li><a class="toggle-children" onclick='(function(){var child=document.getElementById("Internals");child.classList.toggle("show");child.classList.toggle("hide");})();'>Internals</a> |