aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-11 11:46:26 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-11 11:46:26 +0000
commitdb0e81121b822a28bff2e08c3e752c1f346a82ee (patch)
tree5e1c646ca1d4a800a84e6cdcad11ecf4bb50702b
parentc89c74c0a1762995ee70b57cc428bc978115b881 (diff)
downloaddotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.tar.gz
dotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.tar.bz2
dotty-db0e81121b822a28bff2e08c3e752c1f346a82ee.zip
Update gh-pages site for 92a9d05fd64ac97140aa0f01214c4738526383c3
-rw-r--r--api/dotty/tools/dotc/core/Contexts$/Context.html190
-rw-r--r--api/dotty/tools/dotc/core/Definitions.html200
-rw-r--r--api/dotty/tools/dotc/core/Flags$/FlagConjunction.html48
-rw-r--r--api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html82
-rw-r--r--api/dotty/tools/dotc/core/Symbols$/Symbol.html126
-rw-r--r--api/dotty/tools/dotc/core/Types$/Type.html76
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html2
-rw-r--r--api/dotty/tools/dotc/repl/ammonite/terminal/index.html2
-rw-r--r--api/dotty/tools/dotc/typer/Applications$.html156
-rw-r--r--api/dotty/tools/dotc/util/Positions$/Position.html36
10 files changed, 483 insertions, 435 deletions
diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html
index bbb06210d..7043cd5cb 100644
--- a/api/dotty/tools/dotc/core/Contexts$/Context.html
+++ b/api/dotty/tools/dotc/core/Contexts$/Context.html
@@ -5506,7 +5506,7 @@ classes (which should be short-lived).</li>
<span class="no-left">
- c:
+ ctx:
</span>
Context
@@ -5554,7 +5554,7 @@ classes (which should be short-lived).</li>
<span class="no-left">
- ctx:
+ c:
</span>
Context
@@ -9515,9 +9515,9 @@ was created, otherwise <code>null</code>.</p>
</script>
</div><!-- end member -->
- <div id="dclText(sym)" class="member ">
+ <div id="dclText(sd)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dclText(sym)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dclText(sd)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9539,9 +9539,9 @@ was created, otherwise <code>null</code>.</p>
<span class="no-left">
- sym:
+ sd:
</span>
- Symbol
+ SingleDenotation
<span class="no-left">)</span>
@@ -9556,12 +9556,12 @@ was created, otherwise <code>null</code>.</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-dclText(sym)">
- <p>Textual representation of symbol's declaration</p>
+ <div class="member-body-short" id="short-body-dclText(sd)">
+ <p>Textual representation of single denotation's declaration</p>
</div>
- <div class="member-body-long" id ="long-body-dclText(sym)">
- <p>Textual representation of symbol's declaration</p>
+ <div class="member-body-long" id ="long-body-dclText(sd)">
+ <p>Textual representation of single denotation's declaration</p>
</div>
</div>
@@ -9578,9 +9578,9 @@ was created, otherwise <code>null</code>.</p>
</script>
</div><!-- end member -->
- <div id="dclText(sd)" class="member ">
+ <div id="dclText(sym)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dclText(sd)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dclText(sym)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9602,9 +9602,9 @@ was created, otherwise <code>null</code>.</p>
<span class="no-left">
- sd:
+ sym:
</span>
- SingleDenotation
+ Symbol
<span class="no-left">)</span>
@@ -9619,12 +9619,12 @@ was created, otherwise <code>null</code>.</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-dclText(sd)">
- <p>Textual representation of single denotation's declaration</p>
+ <div class="member-body-short" id="short-body-dclText(sym)">
+ <p>Textual representation of symbol's declaration</p>
</div>
- <div class="member-body-long" id ="long-body-dclText(sd)">
- <p>Textual representation of single denotation's declaration</p>
+ <div class="member-body-long" id ="long-body-dclText(sym)">
+ <p>Textual representation of symbol's declaration</p>
</div>
</div>
@@ -16088,9 +16088,9 @@ It has</p>
</script>
</div><!-- end member -->
- <div id="toText(tp)" class="member ">
+ <div id="toText(annot)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(annot)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16112,9 +16112,9 @@ It has</p>
<span class="no-left">
- tp:
+ annot:
</span>
- Type
+ Annotation
<span class="no-left">)</span>
@@ -16129,12 +16129,12 @@ It has</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(tp)">
- <p>Textual representation of type</p>
+ <div class="member-body-short" id="short-body-toText(annot)">
+ <p>Textual representation of annotation</p>
</div>
- <div class="member-body-long" id ="long-body-toText(tp)">
- <p>Textual representation of type</p>
+ <div class="member-body-long" id ="long-body-toText(annot)">
+ <p>Textual representation of annotation</p>
</div>
</div>
@@ -16151,9 +16151,9 @@ It has</p>
</script>
</div><!-- end member -->
- <div id="toText(name)" class="member ">
+ <div id="toText(tree)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(name)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16175,9 +16175,12 @@ It has</p>
<span class="no-left">
- name:
+ tree:
</span>
- Name
+ <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span>
<span class="no-left">)</span>
@@ -16192,12 +16195,12 @@ It has</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(name)">
- <p>The name as a text</p>
+ <div class="member-body-short" id="short-body-toText(tree)">
+ <p>Textual representation of tree</p>
</div>
- <div class="member-body-long" id ="long-body-toText(name)">
- <p>The name as a text</p>
+ <div class="member-body-long" id ="long-body-toText(tree)">
+ <p>Textual representation of tree</p>
</div>
</div>
@@ -16214,9 +16217,9 @@ It has</p>
</script>
</div><!-- end member -->
- <div id="toText(const)" class="member ">
+ <div id="toText(sym)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span>
+ <span class="expand-button " onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16238,9 +16241,9 @@ It has</p>
<span class="no-left">
- const:
+ sym:
</span>
- Constant
+ Symbol
<span class="no-left">)</span>
@@ -16255,12 +16258,14 @@ It has</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(const)">
- <p>Textual representation of constant</p>
+ <div class="member-body-short" id="short-body-toText(sym)">
+ <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
</div>
- <div class="member-body-long" id ="long-body-toText(const)">
- <p>Textual representation of constant</p>
+ <div class="member-body-long" id ="long-body-toText(sym)">
+ <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p>
</div>
</div>
@@ -16277,9 +16282,9 @@ It has</p>
</script>
</div><!-- end member -->
- <div id="toText(tree)" class="member ">
+ <div id="toText(result)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16301,12 +16306,9 @@ It has</p>
<span class="no-left">
- tree:
+ result:
</span>
- <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
-<span class="no-left no-right">[</span>
-T
-<span class="no-left">]</span>
+ ImportInfo
<span class="no-left">)</span>
@@ -16321,12 +16323,12 @@ T
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(tree)">
- <p>Textual representation of tree</p>
+ <div class="member-body-short" id="short-body-toText(result)">
+ <p>Textual representation of info relating to an import clause</p>
</div>
- <div class="member-body-long" id ="long-body-toText(tree)">
- <p>Textual representation of tree</p>
+ <div class="member-body-long" id ="long-body-toText(result)">
+ <p>Textual representation of info relating to an import clause</p>
</div>
</div>
@@ -16343,9 +16345,9 @@ T
</script>
</div><!-- end member -->
- <div id="toText(sym)" class="member ">
+ <div id="toText(result)" class="member ">
<div class="member-title">
- <span class="expand-button " onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16367,9 +16369,9 @@ T
<span class="no-left">
- sym:
+ result:
</span>
- Symbol
+ SearchResult
<span class="no-left">)</span>
@@ -16384,14 +16386,12 @@ T
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(sym)">
- <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
-If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
+ <div class="member-body-short" id="short-body-toText(result)">
+ <p>Textual representation of implicit search result</p>
</div>
- <div class="member-body-long" id ="long-body-toText(sym)">
- <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
-If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p>
+ <div class="member-body-long" id ="long-body-toText(result)">
+ <p>Textual representation of implicit search result</p>
</div>
</div>
@@ -16471,9 +16471,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</script>
</div><!-- end member -->
- <div id="toText(result)" class="member ">
+ <div id="toText(name)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(name)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16495,9 +16495,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
<span class="no-left">
- result:
+ name:
</span>
- SearchResult
+ Name
<span class="no-left">)</span>
@@ -16512,12 +16512,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(result)">
- <p>Textual representation of implicit search result</p>
+ <div class="member-body-short" id="short-body-toText(name)">
+ <p>The name as a text</p>
</div>
- <div class="member-body-long" id ="long-body-toText(result)">
- <p>Textual representation of implicit search result</p>
+ <div class="member-body-long" id ="long-body-toText(name)">
+ <p>The name as a text</p>
</div>
</div>
@@ -16534,9 +16534,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</script>
</div><!-- end member -->
- <div id="toText(annot)" class="member ">
+ <div id="toText(tp)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(annot)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16558,9 +16558,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
<span class="no-left">
- annot:
+ tp:
</span>
- Annotation
+ Type
<span class="no-left">)</span>
@@ -16575,12 +16575,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(annot)">
- <p>Textual representation of annotation</p>
+ <div class="member-body-short" id="short-body-toText(tp)">
+ <p>Textual representation of type</p>
</div>
- <div class="member-body-long" id ="long-body-toText(annot)">
- <p>Textual representation of annotation</p>
+ <div class="member-body-long" id ="long-body-toText(tp)">
+ <p>Textual representation of type</p>
</div>
</div>
@@ -16597,9 +16597,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</script>
</div><!-- end member -->
- <div id="toText(result)" class="member ">
+ <div id="toText(denot)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16621,9 +16621,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
<span class="no-left">
- result:
+ denot:
</span>
- ImportInfo
+ Denotation
<span class="no-left">)</span>
@@ -16638,12 +16638,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(result)">
- <p>Textual representation of info relating to an import clause</p>
+ <div class="member-body-short" id="short-body-toText(denot)">
+ <p>Textual representation of denotation</p>
</div>
- <div class="member-body-long" id ="long-body-toText(result)">
- <p>Textual representation of info relating to an import clause</p>
+ <div class="member-body-long" id ="long-body-toText(denot)">
+ <p>Textual representation of denotation</p>
</div>
</div>
@@ -16660,9 +16660,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</script>
</div><!-- end member -->
- <div id="toText(denot)" class="member ">
+ <div id="toText(const)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span>
<span class="member-annotations">
</span>
@@ -16684,9 +16684,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
<span class="no-left">
- denot:
+ const:
</span>
- Denotation
+ Constant
<span class="no-left">)</span>
@@ -16701,12 +16701,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toText(denot)">
- <p>Textual representation of denotation</p>
+ <div class="member-body-short" id="short-body-toText(const)">
+ <p>Textual representation of constant</p>
</div>
- <div class="member-body-long" id ="long-body-toText(denot)">
- <p>Textual representation of denotation</p>
+ <div class="member-body-long" id ="long-body-toText(const)">
+ <p>Textual representation of constant</p>
</div>
</div>
diff --git a/api/dotty/tools/dotc/core/Definitions.html b/api/dotty/tools/dotc/core/Definitions.html
index 6e9c6009e..9710922c5 100644
--- a/api/dotty/tools/dotc/core/Definitions.html
+++ b/api/dotty/tools/dotc/core/Definitions.html
@@ -9721,6 +9721,54 @@ TypeRef
</script>
</div><!-- end member -->
+ <div id="IndexOutOfBoundsException" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'IndexOutOfBoundsException');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+ lazy
+ </span>
+ <span class="member-kind">
+ val
+ </span>
+ <span class="member-name ">
+
+ IndexOutOfBoundsException
+
+ </span>
+
+
+
+
+
+
+ <span class="no-left">: ClassSymbol</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-IndexOutOfBoundsException">
+
+ </div>
+ <div class="member-body-long" id ="long-body-IndexOutOfBoundsException">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="InlineAnnotType" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'InlineAnnotType');">[+]</span>
@@ -26690,11 +26738,11 @@ Type
<div class="member-body">
<div class="member-body-short" id="short-body-isFunctionType(tp)(ctx)">
- <p>Is <code>tp</code> (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN ?</p>
+ <p>Is <code>tp</code> (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN?</p>
</div>
<div class="member-body-long" id ="long-body-isFunctionType(tp)(ctx)">
- <p>Is <code>tp</code> (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN ?</p>
+ <p>Is <code>tp</code> (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN?</p>
</div>
</div>
@@ -27083,80 +27131,6 @@ Type
</script>
</div><!-- end member -->
- <div id="isProductSubType(tp)(ctx)" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isProductSubType(tp)(ctx)');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- def
- </span>
- <span class="member-name ">
-
- isProductSubType
-
- </span>
-
-
-
- <span class="no-left">(</span>
-
-
- <span class="no-left">
- tp:
- </span>
- Type
-
-
- <span class="no-left">)</span>
-
- <span class="no-left">(</span>
-
- <span class="no-left keyword">implicit</span>
-
-
- <span class="no-left">
- ctx:
- </span>
- Context
-
-
- <span class="no-left">)</span>
-
-
-
-
-
-
- <span class="no-left">: Boolean</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-isProductSubType(tp)(ctx)">
-
- </div>
- <div class="member-body-long" id ="long-body-isProductSubType(tp)(ctx)">
-
- </div>
- </div>
- <script>
- function toggleMemberBody(span, sig) {
- var shortBody = document.getElementById("short-body-" + sig);
- var longBody = document.getElementById("long-body-" + sig);
-
- shortBody.classList.toggle("toggled")
- longBody.classList.toggle("toggled")
-
- span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
- }
- </script>
- </div><!-- end member -->
-
<div id="isSyntheticFunctionClass(cls)" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'isSyntheticFunctionClass(cls)');">[+]</span>
@@ -28401,80 +28375,6 @@ TypeRef
</script>
</div><!-- end member -->
- <div id="productArity(tp)(ctx)" class="member ">
- <div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity(tp)(ctx)');">[+]</span>
- <span class="member-annotations">
-
- </span>
- <span class="member-modifiers">
-
- </span>
- <span class="member-kind">
- def
- </span>
- <span class="member-name ">
-
- productArity
-
- </span>
-
-
-
- <span class="no-left">(</span>
-
-
- <span class="no-left">
- tp:
- </span>
- Type
-
-
- <span class="no-left">)</span>
-
- <span class="no-left">(</span>
-
- <span class="no-left keyword">implicit</span>
-
-
- <span class="no-left">
- ctx:
- </span>
- Context
-
-
- <span class="no-left">)</span>
-
-
-
-
-
-
- <span class="no-left">: Int</span>
-
- </div><!-- end member-title -->
-
- <div class="member-body">
- <div class="member-body-short" id="short-body-productArity(tp)(ctx)">
-
- </div>
- <div class="member-body-long" id ="long-body-productArity(tp)(ctx)">
-
- </div>
- </div>
- <script>
- function toggleMemberBody(span, sig) {
- var shortBody = document.getElementById("short-body-" + sig);
- var longBody = document.getElementById("long-body-" + sig);
-
- shortBody.classList.toggle("toggled")
- longBody.classList.toggle("toggled")
-
- span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
- }
- </script>
- </div><!-- end member -->
-
<div id="runtimeMethodRef(name)" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'runtimeMethodRef(name)');">[+]</span>
diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
index d96eb25a8..31f3d9ad2 100644
--- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
+++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
@@ -6018,9 +6018,9 @@ String
</script>
</div><!-- end member -->
- <div id="is(flags,butNot)" class="member ">
+ <div id="is(flags)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(flags,butNot)');">[+]</span>
+ <span class="expand-button " onclick="toggleMemberBody(this, 'is(flags)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6046,14 +6046,6 @@ String
</span>
FlagSet
- <span class="no-left">, </span>
-
-
- <span class="">
- butNot:
- </span>
- FlagSet
-
<span class="no-left">)</span>
@@ -6067,14 +6059,14 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(flags,butNot)">
- <p>Does this flag set have a non-empty intersection with the given flag set,
-and at the same time contain none of the flags in the <code>butNot</code> set?</p>
+ <div class="member-body-short" id="short-body-is(flags)">
+ <p>Does this flag set have a non-empty intersection with the given flag set?
+This means that both the kind flags and the carrier bits have non-empty inter...</p>
</div>
- <div class="member-body-long" id ="long-body-is(flags,butNot)">
- <p>Does this flag set have a non-empty intersection with the given flag set,
-and at the same time contain none of the flags in the <code>butNot</code> set?</p>
+ <div class="member-body-long" id ="long-body-is(flags)">
+ <p>Does this flag set have a non-empty intersection with the given flag set?
+This means that both the kind flags and the carrier bits have non-empty intersection.</p>
</div>
</div>
@@ -6231,9 +6223,9 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p>
</script>
</div><!-- end member -->
- <div id="is(flags)" class="member ">
+ <div id="is(flags,butNot)" class="member ">
<div class="member-title">
- <span class="expand-button " onclick="toggleMemberBody(this, 'is(flags)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(flags,butNot)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6259,6 +6251,14 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p>
</span>
FlagSet
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ butNot:
+ </span>
+ FlagSet
+
<span class="no-left">)</span>
@@ -6272,14 +6272,14 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(flags)">
- <p>Does this flag set have a non-empty intersection with the given flag set?
-This means that both the kind flags and the carrier bits have non-empty inter...</p>
+ <div class="member-body-short" id="short-body-is(flags,butNot)">
+ <p>Does this flag set have a non-empty intersection with the given flag set,
+and at the same time contain none of the flags in the <code>butNot</code> set?</p>
</div>
- <div class="member-body-long" id ="long-body-is(flags)">
- <p>Does this flag set have a non-empty intersection with the given flag set?
-This means that both the kind flags and the carrier bits have non-empty intersection.</p>
+ <div class="member-body-long" id ="long-body-is(flags,butNot)">
+ <p>Does this flag set have a non-empty intersection with the given flag set,
+and at the same time contain none of the flags in the <code>butNot</code> set?</p>
</div>
</div>
diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
index fca5b2fd3..d221ed0b7 100644
--- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
@@ -11885,9 +11885,9 @@ in <code>butNot</code> are set?</p>
</script>
</div><!-- end member -->
- <div id="is(fs,butNot)(ctx)" class="member ">
+ <div id="is(fs)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -11913,14 +11913,6 @@ in <code>butNot</code> are set?</p>
</span>
FlagConjunction
- <span class="no-left">, </span>
-
-
- <span class="">
- butNot:
- </span>
- FlagSet
-
<span class="no-left">)</span>
@@ -11947,14 +11939,12 @@ in <code>butNot</code> are set?</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+ <div class="member-body-short" id="short-body-is(fs)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set?</p>
</div>
- <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+ <div class="member-body-long" id ="long-body-is(fs)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set?</p>
</div>
</div>
@@ -12047,9 +12037,9 @@ in <code>butNot</code> are set?</p>
</script>
</div><!-- end member -->
- <div id="is(fs)(ctx)" class="member ">
+ <div id="is(fs,butNot)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -12075,6 +12065,14 @@ in <code>butNot</code> are set?</p>
</span>
FlagConjunction
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ butNot:
+ </span>
+ FlagSet
+
<span class="no-left">)</span>
@@ -12101,12 +12099,14 @@ in <code>butNot</code> are set?</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(fs)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set?</p>
+ <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
</div>
- <div class="member-body-long" id ="long-body-is(fs)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set?</p>
+ <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
</div>
</div>
@@ -18446,9 +18446,9 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
</script>
</div><!-- end member -->
- <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
+ <div id="requiredMethod(name)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -18474,17 +18474,6 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
</span>
PreName
- <span class="no-left">, </span>
-
-
- <span class="">
- argTypes:
- </span>
- List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
-
<span class="no-left">)</span>
@@ -18511,10 +18500,10 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
+ <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
</div>
- <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
+ <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
</div>
</div>
@@ -18531,9 +18520,9 @@ Type
</script>
</div><!-- end member -->
- <div id="requiredMethod(name)(ctx)" class="member ">
+ <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -18559,6 +18548,17 @@ Type
</span>
PreName
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ argTypes:
+ </span>
+ List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
+
<span class="no-left">)</span>
@@ -18585,10 +18585,10 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
+ <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
</div>
- <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
+ <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
</div>
</div>
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
index 0330583a1..cacfa7959 100644
--- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
@@ -5476,18 +5476,18 @@
</div>
</div>
-
-
<div class="member">
<div class="member-title">
<span class="member-name">Symbol</span>
<span class="no-left">(</span>
+ <span class="no-left keyword">implicit</span>
+
<span class="no-left">
- sym:
+ ctx:
</span>
- Symbol
+ Context
<span class="no-left">)</span>
@@ -5530,24 +5530,6 @@
</div>
</div>
- <div class="member">
- <div class="member-title">
- <span class="member-name">Symbol</span>
- <span class="no-left">(</span>
-
- <span class="no-left keyword">implicit</span>
-
-
- <span class="no-left">
- ctx:
- </span>
- Context
-
-
- <span class="no-left">)</span>
- </div>
- </div>
-
<div class="member">
@@ -5607,6 +5589,24 @@
</div>
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">Symbol</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ sym:
+ </span>
+ Symbol
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
</div>
<h1 class="section ">
@@ -12580,9 +12580,9 @@ in <code>butNot</code> are set?</p>
</script>
</div><!-- end member -->
- <div id="is(fs,butNot)(ctx)" class="member ">
+ <div id="is(fs)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -12608,14 +12608,6 @@ in <code>butNot</code> are set?</p>
</span>
FlagConjunction
- <span class="no-left">, </span>
-
-
- <span class="">
- butNot:
- </span>
- FlagSet
-
<span class="no-left">)</span>
@@ -12642,14 +12634,12 @@ in <code>butNot</code> are set?</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+ <div class="member-body-short" id="short-body-is(fs)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set?</p>
</div>
- <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+ <div class="member-body-long" id ="long-body-is(fs)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set?</p>
</div>
</div>
@@ -12742,9 +12732,9 @@ in <code>butNot</code> are set?</p>
</script>
</div><!-- end member -->
- <div id="is(fs)(ctx)" class="member ">
+ <div id="is(fs,butNot)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -12770,6 +12760,14 @@ in <code>butNot</code> are set?</p>
</span>
FlagConjunction
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ butNot:
+ </span>
+ FlagSet
+
<span class="no-left">)</span>
@@ -12796,12 +12794,14 @@ in <code>butNot</code> are set?</p>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-is(fs)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set?</p>
+ <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
</div>
- <div class="member-body-long" id ="long-body-is(fs)(ctx)">
- <p>Has this denotation all of the flags in <code>fs</code> set?</p>
+ <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
+ <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
</div>
</div>
@@ -20354,9 +20354,9 @@ from source.</p>
</script>
</div><!-- end member -->
- <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
+ <div id="requiredMethod(name)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -20382,17 +20382,6 @@ from source.</p>
</span>
PreName
- <span class="no-left">, </span>
-
-
- <span class="">
- argTypes:
- </span>
- List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
-
<span class="no-left">)</span>
@@ -20419,10 +20408,10 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
+ <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
</div>
- <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
+ <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
</div>
</div>
@@ -20439,9 +20428,9 @@ Type
</script>
</div><!-- end member -->
- <div id="requiredMethod(name)(ctx)" class="member ">
+ <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -20467,6 +20456,17 @@ Type
</span>
PreName
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ argTypes:
+ </span>
+ List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
+
<span class="no-left">)</span>
@@ -20493,10 +20493,10 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
+ <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
</div>
- <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
+ <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
</div>
</div>
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html
index 55a769bc4..b293bb6fd 100644
--- a/api/dotty/tools/dotc/core/Types$/Type.html
+++ b/api/dotty/tools/dotc/core/Types$/Type.html
@@ -6213,9 +6213,9 @@ is covariant is irrelevant, so can be ignored.</p>
</script>
</div><!-- end member -->
- <div id="appliedTo(args)(ctx)" class="member ">
+ <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6237,12 +6237,17 @@ is covariant is irrelevant, so can be ignored.</p>
<span class="no-left">
- args:
+ arg1:
</span>
- List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
+ Type
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ arg2:
+ </span>
+ Type
<span class="no-left">)</span>
@@ -6270,17 +6275,11 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-appliedTo(args)(ctx)">
- <p>The type representing</p>
-<p>T[U1, ..., Un]</p>
-<p>where</p>
-
+ <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)">
+
</div>
- <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)">
- <p>The type representing</p>
-<p>T[U1, ..., Un]</p>
-<p>where</p>
-
+ <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)">
+
</div>
</div>
<script>
@@ -6296,9 +6295,9 @@ Type
</script>
</div><!-- end member -->
- <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
+ <div id="appliedTo(arg)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6320,15 +6319,7 @@ Type
<span class="no-left">
- arg1:
- </span>
- Type
-
- <span class="no-left">, </span>
-
-
- <span class="">
- arg2:
+ arg:
</span>
Type
@@ -6358,10 +6349,10 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)">
+ <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)">
</div>
- <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)">
+ <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)">
</div>
</div>
@@ -6378,9 +6369,9 @@ Type
</script>
</div><!-- end member -->
- <div id="appliedTo(arg)(ctx)" class="member ">
+ <div id="appliedTo(args)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -6402,9 +6393,12 @@ Type
<span class="no-left">
- arg:
+ args:
</span>
- Type
+ List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
<span class="no-left">)</span>
@@ -6432,11 +6426,17 @@ Type
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)">
-
+ <div class="member-body-short" id="short-body-appliedTo(args)(ctx)">
+ <p>The type representing</p>
+<p>T[U1, ..., Un]</p>
+<p>where</p>
+
</div>
- <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)">
-
+ <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)">
+ <p>The type representing</p>
+<p>T[U1, ..., Un]</p>
+<p>where</p>
+
</div>
</div>
<script>
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
index ee956eb75..3aa3b7e3e 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/TermAction.html
@@ -5389,7 +5389,7 @@
</span>
<span id="entity-modifiers">
- sealed
+
</span>
<span id="entity-kind">
trait
diff --git a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
index 95dcb5b31..01ec9b6ae 100644
--- a/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
+++ b/api/dotty/tools/dotc/repl/ammonite/terminal/index.html
@@ -6480,7 +6480,7 @@ easy-to-remember names</p>
</span>
<span class="member-modifiers">
- sealed
+
</span>
<span class="member-kind">
trait
diff --git a/api/dotty/tools/dotc/typer/Applications$.html b/api/dotty/tools/dotc/typer/Applications$.html
index 650b29a2e..a77947314 100644
--- a/api/dotty/tools/dotc/typer/Applications$.html
+++ b/api/dotty/tools/dotc/typer/Applications$.html
@@ -5417,6 +5417,80 @@
<div id="entity-members" class="entity-section ">
+ <div id="canProductMatch(tp)(ctx)" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'canProductMatch(tp)(ctx)');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+
+ </span>
+ <span class="member-kind">
+ def
+ </span>
+ <span class="member-name ">
+
+ canProductMatch
+
+ </span>
+
+
+
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ tp:
+ </span>
+ <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a>
+
+
+ <span class="no-left">)</span>
+
+ <span class="no-left">(</span>
+
+ <span class="no-left keyword">implicit</span>
+
+
+ <span class="no-left">
+ ctx:
+ </span>
+ <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a>
+
+
+ <span class="no-left">)</span>
+
+
+
+
+
+
+ <span class="no-left">: Boolean</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-canProductMatch(tp)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-canProductMatch(tp)(ctx)">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="extractorMember(tp,name)(ctx)" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'extractorMember(tp,name)(ctx)');">[+]</span>
@@ -5987,14 +6061,14 @@ parameterless <code>isDefined</code> member of result type <code>Boolean</code>.
<div class="member-body">
<div class="member-body-short" id="short-body-isProductMatch(tp,numArgs)(ctx)">
<p>Does <code>tp</code> fit the &quot;product match&quot; conditions as an unapply result type
-for a pattern with <code>numArgs</code> subpatterns&gt;
-This is the case of <code>tp</code> is a subtype of the...<numArgs></p>
+for a pattern with <code>numArgs</code> subpatterns?
+This is the case of <code>tp</code> has members <code>_1</code> to <code>_N</code></p>
</div>
<div class="member-body-long" id ="long-body-isProductMatch(tp,numArgs)(ctx)">
<p>Does <code>tp</code> fit the &quot;product match&quot; conditions as an unapply result type
-for a pattern with <code>numArgs</code> subpatterns&gt;
-This is the case of <code>tp</code> is a subtype of the Product<numArgs> class.</p>
+for a pattern with <code>numArgs</code> subpatterns?
+This is the case of <code>tp</code> has members <code>_1</code> to <code>_N</code> where <code>N == numArgs</code>.</p>
</div>
</div>
@@ -6011,6 +6085,80 @@ This is the case of <code>tp</code> is a subtype of the Product<numArgs> class.<
</script>
</div><!-- end member -->
+ <div id="productArity(tp)(ctx)" class="member ">
+ <div class="member-title">
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity(tp)(ctx)');">[+]</span>
+ <span class="member-annotations">
+
+ </span>
+ <span class="member-modifiers">
+
+ </span>
+ <span class="member-kind">
+ def
+ </span>
+ <span class="member-name ">
+
+ productArity
+
+ </span>
+
+
+
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ tp:
+ </span>
+ <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a>
+
+
+ <span class="no-left">)</span>
+
+ <span class="no-left">(</span>
+
+ <span class="no-left keyword">implicit</span>
+
+
+ <span class="no-left">
+ ctx:
+ </span>
+ <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a>
+
+
+ <span class="no-left">)</span>
+
+
+
+
+
+
+ <span class="no-left">: Int</span>
+
+ </div><!-- end member-title -->
+
+ <div class="member-body">
+ <div class="member-body-short" id="short-body-productArity(tp)(ctx)">
+
+ </div>
+ <div class="member-body-long" id ="long-body-productArity(tp)(ctx)">
+
+ </div>
+ </div>
+ <script>
+ function toggleMemberBody(span, sig) {
+ var shortBody = document.getElementById("short-body-" + sig);
+ var longBody = document.getElementById("long-body-" + sig);
+
+ shortBody.classList.toggle("toggled")
+ longBody.classList.toggle("toggled")
+
+ span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]";
+ }
+ </script>
+ </div><!-- end member -->
+
<div id="productSelectorTypes(tp,errorPos)(ctx)" class="member ">
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'productSelectorTypes(tp,errorPos)(ctx)');">[+]</span>
diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html
index ad8b25e3a..4ad71ccc0 100644
--- a/api/dotty/tools/dotc/util/Positions$/Position.html
+++ b/api/dotty/tools/dotc/util/Positions$/Position.html
@@ -5453,24 +5453,6 @@ All quantities are encoded opaquely in a Long.</p>
<span class="no-left">
- encoding:
- </span>
- Int
-
-
- <span class="no-left">)</span>
- </div>
- </div>
-
-
-
- <div class="member">
- <div class="member-title">
- <span class="member-name">Position</span>
- <span class="no-left">(</span>
-
-
- <span class="no-left">
source:
</span>
SourceFile
@@ -5497,6 +5479,24 @@ All quantities are encoded opaquely in a Long.</p>
</div>
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">Position</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ encoding:
+ </span>
+ Int
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
</div>
<h1 class="section ">