diff options
Diffstat (limited to 'api/dotty/tools/dotc')
23 files changed, 792 insertions, 468 deletions
diff --git a/api/dotty/tools/dotc/ast/Trees$/MemberDef.html b/api/dotty/tools/dotc/ast/Trees$/MemberDef.html index 27d43221e..e1e7bc9f2 100644 --- a/api/dotty/tools/dotc/ast/Trees$/MemberDef.html +++ b/api/dotty/tools/dotc/ast/Trees$/MemberDef.html @@ -5915,7 +5915,7 @@ Comment </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5937,20 +5937,6 @@ Comment <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -6011,7 +5997,7 @@ Comment </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6033,6 +6019,20 @@ Comment <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/ast/TypedTreeInfo.html b/api/dotty/tools/dotc/ast/TypedTreeInfo.html index 1b3d9c20f..f05a4cea8 100644 --- a/api/dotty/tools/dotc/ast/TypedTreeInfo.html +++ b/api/dotty/tools/dotc/ast/TypedTreeInfo.html @@ -6206,6 +6206,65 @@ For a tree to be found, The symbol must have a position and its defi... </div> </div><!-- end member --> + <div id="isStructuralTermSelect(tree)(ctx)" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + isStructuralTermSelect + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tree: + </span> + Tree + + + <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"> + <p>Is this a selection of a member of a structural type that is not a member +of an underlying class or trait?</p> + + </div> + </div><!-- end member --> + <div id="isVariableOrGetter(tree)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 7819deb95..d43a9f6f5 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -7913,7 +7913,7 @@ was created, otherwise <code>null</code>.</p> </div> </div><!-- end member --> - <div id="dclText(sd)" class="member "> + <div id="dclText(sym)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7936,9 +7936,9 @@ was created, otherwise <code>null</code>.</p> <span class="no-left"> - sd: + sym: </span> - SingleDenotation + Symbol <span class="no-left">)</span> @@ -7953,12 +7953,12 @@ was created, otherwise <code>null</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of single denotation's declaration</p> + <p>Textual representation of symbol's declaration</p> </div> </div><!-- end member --> - <div id="dclText(sym)" class="member "> + <div id="dclText(sd)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7981,9 +7981,9 @@ was created, otherwise <code>null</code>.</p> <span class="no-left"> - sym: + sd: </span> - Symbol + SingleDenotation <span class="no-left">)</span> @@ -7998,7 +7998,7 @@ was created, otherwise <code>null</code>.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of symbol's declaration</p> + <p>Textual representation of single denotation's declaration</p> </div> </div><!-- end member --> @@ -12622,7 +12622,7 @@ It has</p> </div> </div><!-- end member --> - <div id="toText(sym)" class="member "> + <div id="toText(const)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12645,9 +12645,9 @@ It has</p> <span class="no-left"> - sym: + const: </span> - Symbol + Constant <span class="no-left">)</span> @@ -12662,13 +12662,12 @@ It has</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> + <p>Textual representation of constant</p> </div> </div><!-- end member --> - <div id="toText(const)" class="member "> + <div id="toText(denot)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12691,9 +12690,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> <span class="no-left"> - const: + denot: </span> - Constant + Denotation <span class="no-left">)</span> @@ -12708,12 +12707,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of constant</p> + <p>Textual representation of denotation</p> </div> </div><!-- end member --> - <div id="toText(tree)" class="member "> + <div id="toText(annot)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12736,12 +12735,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> <span class="no-left"> - tree: + annot: </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> + Annotation <span class="no-left">)</span> @@ -12751,18 +12747,17 @@ T - <span class="no-left">: [T >: dotty.tools.dotc.ast.Trees.Untyped] => - (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled)</span> + <span class="no-left">: Text</span> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of tree</p> + <p>Textual representation of annotation</p> </div> </div><!-- end member --> - <div id="toText(name)" class="member "> + <div id="toText(sym)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12785,9 +12780,9 @@ T <span class="no-left"> - name: + sym: </span> - Name + Symbol <span class="no-left">)</span> @@ -12802,12 +12797,13 @@ T </div><!-- end member-title --> <div class="member-body"> - <p>The name as a text</p> + <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p> </div> </div><!-- end member --> - <div id="toText(annot)" class="member "> + <div id="toText(tree)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12830,9 +12826,12 @@ T <span class="no-left"> - annot: + tree: </span> - Annotation + <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> @@ -12842,17 +12841,18 @@ T - <span class="no-left">: Text</span> + <span class="no-left">: [T >: dotty.tools.dotc.ast.Trees.Untyped] => + (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled)</span> </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of annotation</p> + <p>Textual representation of tree</p> </div> </div><!-- end member --> - <div id="toText(denot)" class="member "> + <div id="toText(sc)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12875,9 +12875,9 @@ T <span class="no-left"> - denot: + sc: </span> - Denotation + Scope <span class="no-left">)</span> @@ -12892,12 +12892,12 @@ T </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of denotation</p> + <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> </div> </div><!-- end member --> - <div id="toText(sc)" class="member "> + <div id="toText(tp)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12920,9 +12920,9 @@ T <span class="no-left"> - sc: + tp: </span> - Scope + Type <span class="no-left">)</span> @@ -12937,12 +12937,12 @@ T </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> + <p>Textual representation of type</p> </div> </div><!-- end member --> - <div id="toText(tp)" class="member "> + <div id="toText(name)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -12965,9 +12965,9 @@ T <span class="no-left"> - tp: + name: </span> - Type + Name <span class="no-left">)</span> @@ -12982,7 +12982,7 @@ T </div><!-- end member-title --> <div class="member-body"> - <p>Textual representation of type</p> + <p>The name as a text</p> </div> </div><!-- end member --> @@ -13644,7 +13644,7 @@ if squashing is enabled, phases in same subgroup will be sq...</p> </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -13666,20 +13666,6 @@ if squashing is enabled, phases in same subgroup will be sq...</p> <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -13740,7 +13726,7 @@ if squashing is enabled, phases in same subgroup will be sq...</p> </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -13762,6 +13748,20 @@ if squashing is enabled, phases in same subgroup will be sq...</p> <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/core/Definitions$.html b/api/dotty/tools/dotc/core/Definitions$.html index 7c7c00635..1507c03b0 100644 --- a/api/dotty/tools/dotc/core/Definitions$.html +++ b/api/dotty/tools/dotc/core/Definitions$.html @@ -5374,6 +5374,38 @@ but are mapped in erasure... </div> </div><!-- end member --> + <div id="MaxStructuralMethodArity" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + MaxStructuralMethodArity + + </span> + + + + + + + <span class="no-left">: Int</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <p>The maximal arity of a function that can be accessed as member of a structural type</p> + + </div> + </div><!-- end member --> + <div id="MaxTupleArity" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/core/Definitions.html b/api/dotty/tools/dotc/core/Definitions.html index 4b6677701..8ef71990b 100644 --- a/api/dotty/tools/dotc/core/Definitions.html +++ b/api/dotty/tools/dotc/core/Definitions.html @@ -8805,6 +8805,41 @@ because after erasure the Any and AnyVal references get... </div> </div><!-- end member --> + <div id="NoInitClasses" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + lazy + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + NoInitClasses + + </span> + + + + + + + <span class="no-left">: This</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <p>Classes that are known not to have an initializer irrespective of +whether NoInits is set. Note: FunctionXXLClass is in this set +because if it is compile... +</p> + + </div> + </div><!-- end member --> + <div id="NonLocalReturnControlType" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -10515,6 +10550,37 @@ be visible as members of... </div> </div><!-- end member --> + <div id="SelectableType" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + lazy + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + SelectableType + + </span> + + + + + + + <span class="no-left">: TypeRef</span> + + </div><!-- end member-title --> + + <div class="member-body"> + + </div> + </div><!-- end member --> + <div id="SeqType" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index 425d6c40f..6e992f807 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -5750,7 +5750,7 @@ conjunctively. I.e. for a flag conjunction <code>fc</code>, <span class="no-left"> flags: </span> - FlagConjunction + FlagSet <span class="no-left">)</span> @@ -5765,13 +5765,13 @@ conjunctively. I.e. for a flag conjunction <code>fc</code>, </div><!-- end member-title --> <div class="member-body"> - <p>Does this flag set have all of the flags in given flag conjunction? -Pre: The intersection of the typeflags of both sets must be non-empty.</p> + <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><!-- end member --> - <div id="is(flags,butNot)" class="member "> + <div id="is(flags)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5796,15 +5796,7 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p> <span class="no-left"> flags: </span> - FlagSet - - <span class="no-left">, </span> - - - <span class=""> - butNot: - </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -5819,13 +5811,13 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p> </div><!-- end member-title --> <div class="member-body"> - <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> + <p>Does this flag set have all of the flags in given flag conjunction? +Pre: The intersection of the typeflags of both sets must be non-empty.</p> </div> </div><!-- end member --> - <div id="is(flags)" class="member "> + <div id="is(flags,butNot)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5850,6 +5842,14 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</ <span class="no-left"> flags: </span> + FlagConjunction + + <span class="no-left">, </span> + + + <span class=""> + butNot: + </span> FlagSet @@ -5865,8 +5865,9 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</ </div><!-- end member-title --> <div class="member-body"> - <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> + <p>Does this flag set have all of the flags in given flag conjunction? +and at the same time contain none of the flags in the <code>butNot</code> set? +Pre: The intersect...</p> </div> </div><!-- end member --> @@ -5896,7 +5897,7 @@ This means that both the kind flags and the carrier bits have non-empty inter... <span class="no-left"> flags: </span> - FlagConjunction + FlagSet <span class="no-left">, </span> @@ -5919,9 +5920,8 @@ This means that both the kind flags and the carrier bits have non-empty inter... </div><!-- end member-title --> <div class="member-body"> - <p>Does this flag set have all of the flags in given flag conjunction? -and at the same time contain none of the flags in the <code>butNot</code> set? -Pre: The intersect...</p> + <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><!-- end member --> diff --git a/api/dotty/tools/dotc/core/Phases.html b/api/dotty/tools/dotc/core/Phases.html index d6dd0e938..7d1d94bb8 100644 --- a/api/dotty/tools/dotc/core/Phases.html +++ b/api/dotty/tools/dotc/core/Phases.html @@ -5493,50 +5493,6 @@ </div> </div><!-- end member --> - <div id="atPhaseNotLaterThanTyper(op)" class="member "> - <div class="member-title"> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - atPhaseNotLaterThanTyper - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - op: - </span> - Context<span class="right-arrow"> => </span>T - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: T</span> - - </div><!-- end member-title --> - - <div class="member-body"> - - </div> - </div><!-- end member --> - <div id="isAfterTyper" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html index d7cf3c678..d3b798775 100644 --- a/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html +++ b/api/dotty/tools/dotc/core/StdNames$/ScalaNames.html @@ -19501,6 +19501,37 @@ </div> </div><!-- end member --> + <div id="selectDynamicMethod" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + selectDynamicMethod + + </span> + + + + + + + <span class="no-left">: N</span> + + </div><!-- end member-title --> + + <div class="member-body"> + + </div> + </div><!-- end member --> + <div id="selectOverloadedMethod" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index f86c3b4e5..22c483de6 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -9862,7 +9862,7 @@ of this run.</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet <span class="no-left">, </span> @@ -9898,7 +9898,7 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags + <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags in <code>butNot</code> are set?</p> </div> @@ -9929,7 +9929,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet <span class="no-left">)</span> @@ -9957,7 +9957,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set?</p> + <p>Has this denotation one of the flags in <code>fs</code> set?</p> </div> </div><!-- end member --> @@ -9987,7 +9987,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -10015,7 +10015,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set?</p> + <p>Has this denotation all of the flags in <code>fs</code> set?</p> </div> </div><!-- end member --> @@ -10045,7 +10045,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">, </span> @@ -10081,7 +10081,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags + <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> @@ -13844,7 +13844,7 @@ have existing symbols.</p> <span class="no-left"> that: => </span> - SingleDenotation + Denotation <span class="no-left">)</span> @@ -13854,12 +13854,13 @@ have existing symbols.</p> - <span class="no-left">: SingleDenotation</span> + <span class="no-left">: Denotation</span> </div><!-- end member-title --> <div class="member-body"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> </div><!-- end member --> @@ -13888,7 +13889,7 @@ have existing symbols.</p> <span class="no-left"> that: => </span> - Denotation + SingleDenotation <span class="no-left">)</span> @@ -13898,13 +13899,12 @@ have existing symbols.</p> - <span class="no-left">: Denotation</span> + <span class="no-left">: SingleDenotation</span> </div><!-- end member-title --> <div class="member-body"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> </div><!-- end member --> @@ -14551,7 +14551,7 @@ If <code>prev</code> is not defined in current class, do nothing.</p> </div> </div><!-- end member --> - <div id="requiredMethod(name,argTypes)(ctx)" class="member "> + <div id="requiredMethod(name)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -14578,17 +14578,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> @@ -14619,7 +14608,7 @@ Type </div> </div><!-- end member --> - <div id="requiredMethod(name)(ctx)" class="member "> + <div id="requiredMethod(name,argTypes)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -14646,6 +14635,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> @@ -15267,7 +15267,7 @@ as seen from subclasses.</p> </div> </div><!-- end member --> - <div id="showSummary(ctx)" class="member "> + <div id="showSummary(depth)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -15288,6 +15288,17 @@ as seen from subclasses.</p> <span class="no-left">(</span> + + <span class="no-left"> + depth: + </span> + Int + + + <span class="no-left">)</span> + + <span class="no-left">(</span> + <span class="no-left keyword">implicit</span> @@ -15309,11 +15320,14 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - + <p>The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.</p> + </div> </div><!-- end member --> - <div id="showSummary(depth)(ctx)" class="member "> + <div id="showSummary(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -15334,17 +15348,6 @@ as seen from subclasses.</p> <span class="no-left">(</span> - - <span class="no-left"> - depth: - </span> - Int - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - <span class="no-left keyword">implicit</span> @@ -15366,10 +15369,7 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.</p> - + </div> </div><!-- end member --> @@ -17002,7 +17002,7 @@ and at signature <code>NotAMethod</code>.</p> </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -17024,20 +17024,6 @@ and at signature <code>NotAMethod</code>.</p> <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -17098,7 +17084,7 @@ and at signature <code>NotAMethod</code>.</p> </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -17120,6 +17106,20 @@ and at signature <code>NotAMethod</code>.</p> <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index a65464972..a193c0869 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -10298,7 +10298,7 @@ of this run.</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet <span class="no-left">, </span> @@ -10334,7 +10334,7 @@ of this run.</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags + <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags in <code>butNot</code> are set?</p> </div> @@ -10365,7 +10365,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet <span class="no-left">)</span> @@ -10393,7 +10393,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation all of the flags in <code>fs</code> set?</p> + <p>Has this denotation one of the flags in <code>fs</code> set?</p> </div> </div><!-- end member --> @@ -10423,7 +10423,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -10451,7 +10451,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set?</p> + <p>Has this denotation all of the flags in <code>fs</code> set?</p> </div> </div><!-- end member --> @@ -10481,7 +10481,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">, </span> @@ -10517,7 +10517,7 @@ in <code>butNot</code> are set?</p> </div><!-- end member-title --> <div class="member-body"> - <p>Has this denotation one of the flags in <code>fs</code> set, whereas none of the flags + <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> @@ -14832,7 +14832,7 @@ representing... <span class="no-left"> that: => </span> - SingleDenotation + Denotation <span class="no-left">)</span> @@ -14842,12 +14842,13 @@ representing... - <span class="no-left">: SingleDenotation</span> + <span class="no-left">: Denotation</span> </div><!-- end member-title --> <div class="member-body"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> </div><!-- end member --> @@ -14876,7 +14877,7 @@ representing... <span class="no-left"> that: => </span> - Denotation + SingleDenotation <span class="no-left">)</span> @@ -14886,13 +14887,12 @@ representing... - <span class="no-left">: Denotation</span> + <span class="no-left">: SingleDenotation</span> </div><!-- end member-title --> <div class="member-body"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> </div><!-- end member --> @@ -15819,7 +15819,7 @@ from source.</p> </div> </div><!-- end member --> - <div id="requiredMethod(name,argTypes)(ctx)" class="member "> + <div id="requiredMethod(name)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -15846,17 +15846,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> @@ -15887,7 +15876,7 @@ Type </div> </div><!-- end member --> - <div id="requiredMethod(name)(ctx)" class="member "> + <div id="requiredMethod(name,argTypes)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -15914,6 +15903,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> @@ -16857,7 +16857,7 @@ as seen from subclasses.</p> </div> </div><!-- end member --> - <div id="showSummary(ctx)" class="member "> + <div id="showSummary(depth)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -16878,6 +16878,17 @@ as seen from subclasses.</p> <span class="no-left">(</span> + + <span class="no-left"> + depth: + </span> + Int + + + <span class="no-left">)</span> + + <span class="no-left">(</span> + <span class="no-left keyword">implicit</span> @@ -16899,11 +16910,14 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - + <p>The summarized string representation of this showable element. +Recursion depth is limited to some smallish value. Default is +Config.summarizeDepth.</p> + </div> </div><!-- end member --> - <div id="showSummary(depth)(ctx)" class="member "> + <div id="showSummary(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -16924,17 +16938,6 @@ as seen from subclasses.</p> <span class="no-left">(</span> - - <span class="no-left"> - depth: - </span> - Int - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - <span class="no-left keyword">implicit</span> @@ -16956,10 +16959,7 @@ as seen from subclasses.</p> </div><!-- end member-title --> <div class="member-body"> - <p>The summarized string representation of this showable element. -Recursion depth is limited to some smallish value. Default is -Config.summarizeDepth.</p> - + </div> </div><!-- end member --> @@ -18833,7 +18833,7 @@ and at signature <code>NotAMethod</code>.</p> </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -18855,20 +18855,6 @@ and at signature <code>NotAMethod</code>.</p> <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -18929,7 +18915,7 @@ and at signature <code>NotAMethod</code>.</p> </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -18951,6 +18937,20 @@ and at signature <code>NotAMethod</code>.</p> <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/core/Types$/MethodType.html b/api/dotty/tools/dotc/core/Types$/MethodType.html index 65f3dddab..f572aafef 100644 --- a/api/dotty/tools/dotc/core/Types$/MethodType.html +++ b/api/dotty/tools/dotc/core/Types$/MethodType.html @@ -5903,7 +5903,7 @@ Type - <span class="no-left">: R</span> + <span class="no-left">: Type</span> </div><!-- end member-title --> @@ -6151,7 +6151,7 @@ which cannot be eliminated by de-aliasing?</p> <span class="no-left"> x$1: </span> - DependencyStatus + Byte <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 5293487d6..baf66e856 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -5938,7 +5938,7 @@ agree wit...</p> </div> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5961,9 +5961,12 @@ agree wit...</p> <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> @@ -5991,11 +5994,14 @@ agree wit...</p> </div><!-- end member-title --> <div class="member-body"> - + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6018,12 +6024,9 @@ agree wit...</p> <span class="no-left"> - args: + arg: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type <span class="no-left">)</span> @@ -6051,10 +6054,7 @@ Type </div><!-- end member-title --> <div class="member-body"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + </div> </div><!-- end member --> diff --git a/api/dotty/tools/dotc/parsing/JavaScanners$.html b/api/dotty/tools/dotc/parsing/JavaScanners$.html index 2df974c77..9e189bd35 100644 --- a/api/dotty/tools/dotc/parsing/JavaScanners$.html +++ b/api/dotty/tools/dotc/parsing/JavaScanners$.html @@ -5396,7 +5396,7 @@ </div> </div><!-- end member --> - <div id="$326$" class="member "> + <div id="$91$" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5409,7 +5409,7 @@ </span> <span class="member-name "> - $326$ + $91$ </span> diff --git a/api/dotty/tools/dotc/parsing/Scanners$.html b/api/dotty/tools/dotc/parsing/Scanners$.html index e9ca8d314..19a80a87e 100644 --- a/api/dotty/tools/dotc/parsing/Scanners$.html +++ b/api/dotty/tools/dotc/parsing/Scanners$.html @@ -5522,7 +5522,7 @@ </div> </div><!-- end member --> - <div id="$174$" class="member "> + <div id="$53$" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5535,7 +5535,7 @@ </span> <span class="member-name "> - $174$ + $53$ </span> diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html index c2bdf5512..52d5eb3d6 100644 --- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html +++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html @@ -6026,7 +6026,7 @@ <span class="no-left"> x$0: </span> - CharSequence + StringBuffer <span class="no-left">)</span> @@ -6070,7 +6070,7 @@ <span class="no-left"> x$0: </span> - StringBuffer + CharSequence <span class="no-left">)</span> @@ -6303,10 +6303,10 @@ </div> </div><!-- end member --> - <div id="getBytes(x$0,x$1,x$2,x$3)" class="member "> + <div id="getBytes(x$0)" class="member "> <div class="member-title"> <span class="member-annotations"> - @Deprecated @deprecated + @throws </span> <span class="member-modifiers"> @@ -6328,34 +6328,7 @@ <span class="no-left"> x$0: </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$2: - </span> - Array -<span class="no-left no-right">[</span> -Byte -<span class="no-left">]</span> - - <span class="no-left">, </span> - - - <span class=""> - x$3: - </span> - Int + String <span class="no-left">)</span> @@ -6365,7 +6338,7 @@ Byte - <span class="no-left">: Unit</span> + <span class="no-left">: Array</span> </div><!-- end member-title --> @@ -6374,10 +6347,10 @@ Byte </div> </div><!-- end member --> - <div id="getBytes(x$0)" class="member "> + <div id="getBytes(x$0,x$1,x$2,x$3)" class="member "> <div class="member-title"> <span class="member-annotations"> - @throws + @Deprecated @deprecated </span> <span class="member-modifiers"> @@ -6399,7 +6372,34 @@ Byte <span class="no-left"> x$0: </span> - String + Int + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$2: + </span> + Array +<span class="no-left no-right">[</span> +Byte +<span class="no-left">]</span> + + <span class="no-left">, </span> + + + <span class=""> + x$3: + </span> + Int <span class="no-left">)</span> @@ -6409,7 +6409,7 @@ Byte - <span class="no-left">: Array</span> + <span class="no-left">: Unit</span> </div><!-- end member-title --> @@ -6418,7 +6418,7 @@ Byte </div> </div><!-- end member --> - <div id="getBytes(x$0)" class="member "> + <div id="getBytes()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6440,12 +6440,6 @@ Byte <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Charset - - <span class="no-left">)</span> @@ -6462,7 +6456,7 @@ Byte </div> </div><!-- end member --> - <div id="getBytes()" class="member "> + <div id="getBytes(x$0)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6484,6 +6478,12 @@ Byte <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Charset + + <span class="no-left">)</span> @@ -6500,7 +6500,7 @@ Byte </div> </div><!-- end member --> - <div id="getChars(x$0,x$1,x$2,x$3)" class="member "> + <div id="getChars(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6525,22 +6525,6 @@ Byte <span class="no-left"> x$0: </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$2: - </span> Array <span class="no-left no-right">[</span> Char @@ -6550,7 +6534,7 @@ Char <span class=""> - x$3: + x$1: </span> Int @@ -6571,7 +6555,7 @@ Char </div> </div><!-- end member --> - <div id="getChars(x$0,x$1)" class="member "> + <div id="getChars(x$0,x$1,x$2,x$3)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6596,6 +6580,22 @@ Char <span class="no-left"> x$0: </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">, </span> + + + <span class=""> + x$2: + </span> Array <span class="no-left no-right">[</span> Char @@ -6605,7 +6605,7 @@ Char <span class=""> - x$1: + x$3: </span> Int @@ -6664,7 +6664,7 @@ Char </div> </div><!-- end member --> - <div id="indexOf(x$0,x$1)" class="member "> + <div id="indexOf(x$0)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6691,14 +6691,6 @@ Char </span> Int - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -6716,7 +6708,7 @@ Char </div> </div><!-- end member --> - <div id="indexOf(x$0)" class="member "> + <div id="indexOf(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6741,6 +6733,14 @@ Char <span class="no-left"> x$0: </span> + String + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> Int @@ -6829,7 +6829,7 @@ Char <span class="no-left"> x$0: </span> - String + Int <span class="no-left">, </span> @@ -6932,7 +6932,7 @@ Char </div> </div><!-- end member --> - <div id="lastIndexOf(x$0,x$1)" class="member "> + <div id="lastIndexOf(x$0)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6957,15 +6957,7 @@ Char <span class="no-left"> x$0: </span> - Int - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int + String <span class="no-left">)</span> @@ -7080,7 +7072,7 @@ Char </div> </div><!-- end member --> - <div id="lastIndexOf(x$0)" class="member "> + <div id="lastIndexOf(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7105,7 +7097,15 @@ Char <span class="no-left"> x$0: </span> - String + Int + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int <span class="no-left">)</span> @@ -7378,7 +7378,7 @@ Char </div> </div><!-- end member --> - <div id="regionMatches(x$0,x$1,x$2,x$3,x$4)" class="member "> + <div id="regionMatches(x$0,x$1,x$2,x$3)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7403,21 +7403,13 @@ Char <span class="no-left"> x$0: </span> - Boolean - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> Int <span class="no-left">, </span> <span class=""> - x$2: + x$1: </span> String @@ -7425,7 +7417,7 @@ Char <span class=""> - x$3: + x$2: </span> Int @@ -7433,7 +7425,7 @@ Char <span class=""> - x$4: + x$3: </span> Int @@ -7454,7 +7446,7 @@ Char </div> </div><!-- end member --> - <div id="regionMatches(x$0,x$1,x$2,x$3)" class="member "> + <div id="regionMatches(x$0,x$1,x$2,x$3,x$4)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7479,7 +7471,7 @@ Char <span class="no-left"> x$0: </span> - Int + Boolean <span class="no-left">, </span> @@ -7487,7 +7479,7 @@ Char <span class=""> x$1: </span> - String + Int <span class="no-left">, </span> @@ -7495,7 +7487,7 @@ Char <span class=""> x$2: </span> - Int + String <span class="no-left">, </span> @@ -7505,6 +7497,14 @@ Char </span> Int + <span class="no-left">, </span> + + + <span class=""> + x$4: + </span> + Int + <span class="no-left">)</span> @@ -7547,7 +7547,7 @@ Char <span class="no-left"> x$0: </span> - Char + CharSequence <span class="no-left">, </span> @@ -7555,7 +7555,7 @@ Char <span class=""> x$1: </span> - Char + CharSequence <span class="no-left">)</span> @@ -7599,7 +7599,7 @@ Char <span class="no-left"> x$0: </span> - CharSequence + Char <span class="no-left">, </span> @@ -7607,7 +7607,7 @@ Char <span class=""> x$1: </span> - CharSequence + Char <span class="no-left">)</span> @@ -7776,7 +7776,7 @@ Char </div> </div><!-- end member --> - <div id="split(x$0)" class="member "> + <div id="split(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7803,6 +7803,14 @@ Char </span> String + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + <span class="no-left">)</span> @@ -7820,7 +7828,7 @@ Char </div> </div><!-- end member --> - <div id="split(x$0,x$1)" class="member "> + <div id="split(x$0)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7847,14 +7855,6 @@ Char </span> String - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - <span class="no-left">)</span> @@ -8500,7 +8500,7 @@ Char </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -8522,20 +8522,6 @@ Char <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -8596,7 +8582,7 @@ Char </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -8618,6 +8604,20 @@ Char <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html index 2c52fe077..fffab4f1d 100644 --- a/api/dotty/tools/dotc/printing/index.html +++ b/api/dotty/tools/dotc/printing/index.html @@ -5821,6 +5821,39 @@ </div> </div><!-- end member --> + <div id="XprintMode" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + val + </span> + <span class="member-name "> + + XprintMode + + </span> + + + + + + + <span class="no-left">: Key</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <p>A property to indicate whether the compiler is currently doing -Xprint</p> +<p>-Xprint will print <code>sym.name</code> instead of <code>sym.originalName</code></p> + + </div> + </div><!-- end member --> + </div> </div><!-- end entity-container --> </div> diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html index e135f98ed..90a2dc874 100644 --- a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html +++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html @@ -5664,7 +5664,7 @@ in a single interpreter request.</p> </div> </div><!-- end member --> - <div id="$522$" class="member private"> + <div id="$187$" class="member private"> <div class="member-title"> <span class="member-annotations"> @@ -5677,7 +5677,7 @@ in a single interpreter request.</p> </span> <span class="member-name "> - $522$ + $187$ </span> diff --git a/api/dotty/tools/dotc/typer/Dynamic.html b/api/dotty/tools/dotc/typer/Dynamic.html index 2b47a8c75..916e3f070 100644 --- a/api/dotty/tools/dotc/typer/Dynamic.html +++ b/api/dotty/tools/dotc/typer/Dynamic.html @@ -5334,13 +5334,21 @@ <div id="entity-body" class="entity-section"> - <p>Translates selection that does not typecheck according to the scala.Dynamic rules: + <p>Handles programmable member selections of <code>Dynamic</code> instances and values +with structural types. Two functionalities:</p> +<ol> +<li>Translates selection that does not typecheck according to the scala.Dynamic rules: foo.bar(baz) = quux ~~> foo.selectDynamic(bar).update(baz, quux) foo.bar = baz ~~> foo.updateDynamic("bar")(baz) foo.bar(x = bazX, y = bazY, baz, ...) ~~> foo.applyDynamicNamed("bar")(("x", bazX), ("y", bazY), ("", baz), ...) foo.bar(baz0, baz1, ...) ~~> foo.applyDynamic(bar)(baz0, baz1, ...) -foo.bar ~~> foo.selectDynamic(bar)</p> +foo.bar ~~> foo.selectDynamic(bar)</li> +</ol> <p>The first matching rule of is applied.</p> +<ol> +<li>Translates member selections on structural types to calls of <code>selectDynamic</code> +or <code>selectDynamicMethod</code> on a <code>Selectable</code> instance. @See handleStructural.</li> +</ol> </div> @@ -5433,6 +5441,72 @@ foo.bar ~~> foo.selectDynamic(bar)</p> </div> </div><!-- end member --> + <div id="handleStructural(tree)(ctx)" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + handleStructural + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tree: + </span> + <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</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">: Tree</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <p>Handle reflection-based dispatch for members of structural types. +Given <code>x.a</code>, where <code>x</code> is of (widened) type <code>T</code> and <code>x.a</code> is of type <code>U</code>:</p> +<p>If <code>U</code> is a value type,...</p> +<p>[U]</p> +<p></p> +<p>[(T1,...,Tn) => R]</p> +<p></p> +<p> +</p> + + </div> + </div><!-- end member --> + <div id="typedDynamicApply(tree,pt)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/typer/Inliner.html b/api/dotty/tools/dotc/typer/Inliner.html index 9efc5fcd1..ae85a2bb0 100644 --- a/api/dotty/tools/dotc/typer/Inliner.html +++ b/api/dotty/tools/dotc/typer/Inliner.html @@ -5407,7 +5407,7 @@ </div> </div><!-- end member --> - <div id="$875$" class="member private"> + <div id="$65$" class="member private"> <div class="member-title"> <span class="member-annotations"> @@ -5420,7 +5420,7 @@ </span> <span class="member-name "> - $875$ + $65$ </span> diff --git a/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html index 967bfe1af..b808c86ab 100644 --- a/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html +++ b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html @@ -5338,7 +5338,7 @@ <div id="entity-members" class="entity-section "> - <div id="$632$" class="member "> + <div id="$70$" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5351,7 +5351,7 @@ </span> <span class="member-name "> - $632$ + $70$ </span> @@ -5369,7 +5369,7 @@ </div> </div><!-- end member --> - <div id="$633$" class="member "> + <div id="$71$" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5382,7 +5382,7 @@ </span> <span class="member-name "> - $633$ + $71$ </span> diff --git a/api/dotty/tools/dotc/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html index f74ca156a..011dfd158 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner.html @@ -8114,6 +8114,71 @@ if this is not possible, replace the ClassInfo as above.</li> </div> </div><!-- end member --> + <div id="avoidPrivateLeaks(sym,pos)(ctx)" class="member "> + <div class="member-title"> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + avoidPrivateLeaks + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + sym: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Symbols$/Symbol.html">Symbol</a> + + <span class="no-left">, </span> + + + <span class=""> + pos: + </span> + Position + + + <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">: Type</span> + + </div><!-- end member-title --> + + <div class="member-body"> + + </div> + </div><!-- end member --> + <div id="avoidingType(expr,bindings)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> diff --git a/api/dotty/tools/dotc/typer/index.html b/api/dotty/tools/dotc/typer/index.html index f5dc8c2d1..9272cf8dd 100644 --- a/api/dotty/tools/dotc/typer/index.html +++ b/api/dotty/tools/dotc/typer/index.html @@ -5566,10 +5566,18 @@ </div><!-- end member-title --> <div class="member-body"> - <p>Translates selection that does not typecheck according to the scala.Dynamic rules: -foo.bar(baz) = quux ~~> foo.selectDynamic(bar).upd... -</p> -<p></p> + <p>Handles programmable member selections of <code>Dynamic</code> instances and values +with structural types. Two functionalities:</p> +<ol> +<li>Translates selection that does not typecheck according to the scala.Dynamic rules: +foo.bar(baz) = quux ~~> foo.selectDynamic(bar).update(baz, quux) +foo.bar = baz ~~> foo.updateDynamic("bar")(baz) +foo.bar(x = bazX, y = bazY, baz, ...) ~~> foo.applyDynamicNamed("bar")(("x", bazX), ("y", bazY), ("", baz), ...) +foo.bar(baz0, baz1, ...) ~~> foo.applyDynamic(bar)(baz0, baz1, ...) +foo.bar ~~> foo.selectDynamic(bar)</li> +</ol> +<p>The first matching rule of is appli...</p> +<ol></ol> </div> </div><!-- end member --> diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html index b2248142d..cbceaf979 100644 --- a/api/dotty/tools/dotc/util/Positions$/Position.html +++ b/api/dotty/tools/dotc/util/Positions$/Position.html @@ -6060,7 +6060,7 @@ All quantities are encoded opaquely in a Long.</p> </div> </div><!-- end member --> - <div id="lineContent" class="member "> + <div id="lineContent(lineNumber)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6078,6 +6078,19 @@ All quantities are encoded opaquely in a Long.</p> </span> + + <span class="no-left">(</span> + + + <span class="no-left"> + lineNumber: + </span> + Int + + + <span class="no-left">)</span> + + @@ -6091,7 +6104,7 @@ All quantities are encoded opaquely in a Long.</p> </div> </div><!-- end member --> - <div id="lineContent(lineNumber)" class="member "> + <div id="lineContent" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6109,19 +6122,6 @@ All quantities are encoded opaquely in a Long.</p> </span> - - <span class="no-left">(</span> - - - <span class="no-left"> - lineNumber: - </span> - Int - - - <span class="no-left">)</span> - - @@ -7043,7 +7043,7 @@ both positions. It is always a synthetic position.</p> </div> </div><!-- end member --> - <div id="wait(x$0,x$1)" class="member "> + <div id="wait()" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7065,20 +7065,6 @@ both positions. It is always a synthetic position.</p> <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Long - - <span class="no-left">, </span> - - - <span class=""> - x$1: - </span> - Int - - <span class="no-left">)</span> @@ -7139,7 +7125,7 @@ both positions. It is always a synthetic position.</p> </div> </div><!-- end member --> - <div id="wait()" class="member "> + <div id="wait(x$0,x$1)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -7161,6 +7147,20 @@ both positions. It is always a synthetic position.</p> <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Long + + <span class="no-left">, </span> + + + <span class=""> + x$1: + </span> + Int + + <span class="no-left">)</span> |