diff options
Diffstat (limited to 'api/dotty')
-rw-r--r-- | api/dotty/tools/dotc/core/Contexts$/Context.html | 224 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Flags$/FlagConjunction.html | 62 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html | 154 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/Symbol.html | 228 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html | 75 | ||||
-rw-r--r-- | api/dotty/tools/dotc/printing/PlainPrinter.html | 24 | ||||
-rw-r--r-- | api/dotty/tools/dotc/printing/RefinedPrinter.html | 12 | ||||
-rw-r--r-- | api/dotty/tools/dotc/typer/TypeAssigner.html | 94 | ||||
-rw-r--r-- | api/dotty/tools/dotc/util/Positions$/Position.html | 36 | ||||
-rw-r--r-- | api/dotty/tools/io/Jar$/WManifest.html | 12 |
11 files changed, 540 insertions, 383 deletions
diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 36b9ffd67..efbc74927 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5528,12 +5528,6 @@ classes (which should be short-lived).</li> <span class="no-left">(</span> - <span class="no-left"> - ctx: - </span> - Context - - <span class="no-left">)</span> </div> </div> @@ -5576,6 +5570,12 @@ classes (which should be short-lived).</li> <span class="no-left">(</span> + <span class="no-left"> + ctx: + </span> + Context + + <span class="no-left">)</span> </div> </div> @@ -12668,9 +12668,9 @@ Any </script> </div><!-- end member --> - <div id="nameString(name)" class="member "> + <div id="nameString(sym)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -12692,9 +12692,9 @@ Any <span class="no-left"> - name: + sym: </span> - Name + Symbol <span class="no-left">)</span> @@ -12709,14 +12709,20 @@ Any </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-nameString(name)"> - <p>The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names</p> + <div class="member-body-short" id="short-body-nameString(sym)"> + <p>The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +I...</p> </div> - <div class="member-body-long" id ="long-body-nameString(name)"> - <p>The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names</p> + <div class="member-body-long" id ="long-body-nameString(sym)"> + <p>The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +If settings.uniqid, adds id.</p> </div> </div> @@ -12733,9 +12739,9 @@ Any </script> </div><!-- end member --> - <div id="nameString(sym)" class="member "> + <div id="nameString(name)" class="member "> <div class="member-title"> - <span class="expand-button " onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -12757,9 +12763,9 @@ Any <span class="no-left"> - sym: + name: </span> - Symbol + Name <span class="no-left">)</span> @@ -12774,20 +12780,14 @@ Any </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-nameString(sym)"> - <p>The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -I...</p> + <div class="member-body-short" id="short-body-nameString(name)"> + <p>The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names</p> </div> - <div class="member-body-long" id ="long-body-nameString(sym)"> - <p>The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -If settings.uniqid, adds id.</p> + <div class="member-body-long" id ="long-body-nameString(name)"> + <p>The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names</p> </div> </div> @@ -16263,9 +16263,9 @@ It has</p> </script> </div><!-- end member --> - <div id="toText(sym)" class="member "> + <div id="toText(name)" 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(name)');">[+]</span> <span class="member-annotations"> </span> @@ -16287,9 +16287,9 @@ It has</p> <span class="no-left"> - sym: + name: </span> - Symbol + Name <span class="no-left">)</span> @@ -16304,14 +16304,12 @@ It has</p> </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., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate i...</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(sym)"> - <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p> + <div class="member-body-long" id ="long-body-toText(name)"> + <p>The name as a text</p> </div> </div> @@ -16328,9 +16326,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ </script> </div><!-- end member --> - <div id="toText(name)" class="member "> + <div id="toText(tp)" 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(tp)');">[+]</span> <span class="member-annotations"> </span> @@ -16352,9 +16350,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <span class="no-left"> - name: + tp: </span> - Name + Type <span class="no-left">)</span> @@ -16369,12 +16367,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(name)"> - <p>The name as a text</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(name)"> - <p>The name as a text</p> + <div class="member-body-long" id ="long-body-toText(tp)"> + <p>Textual representation of type</p> </div> </div> @@ -16391,9 +16389,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(denot)" 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(denot)');">[+]</span> <span class="member-annotations"> </span> @@ -16415,9 +16413,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <span class="no-left"> - annot: + denot: </span> - Annotation + Denotation <span class="no-left">)</span> @@ -16432,12 +16430,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(denot)"> + <p>Textual representation of denotation</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(denot)"> + <p>Textual representation of denotation</p> </div> </div> @@ -16454,9 +16452,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(tree)" 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(tree)');">[+]</span> <span class="member-annotations"> </span> @@ -16478,9 +16476,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <span class="no-left"> - denot: + tree: </span> - Denotation + <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> @@ -16495,12 +16496,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(tree)"> + <p>Textual representation of tree</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(tree)"> + <p>Textual representation of tree</p> </div> </div> @@ -16543,7 +16544,7 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <span class="no-left"> result: </span> - SearchResult + ImportInfo <span class="no-left">)</span> @@ -16559,11 +16560,11 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <div class="member-body"> <div class="member-body-short" id="short-body-toText(result)"> - <p>Textual representation of implicit search result</p> + <p>Textual representation of info relating to an import clause</p> </div> <div class="member-body-long" id ="long-body-toText(result)"> - <p>Textual representation of implicit search result</p> + <p>Textual representation of info relating to an import clause</p> </div> </div> @@ -16580,9 +16581,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ </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> @@ -16604,12 +16605,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</ <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> + SearchResult <span class="no-left">)</span> @@ -16624,12 +16622,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 implicit search result</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 implicit search result</p> </div> </div> @@ -16646,9 +16644,9 @@ T </script> </div><!-- end member --> - <div id="toText(tp)" class="member "> + <div id="toText(sym)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span> <span class="member-annotations"> </span> @@ -16670,9 +16668,9 @@ T <span class="no-left"> - tp: + sym: </span> - Type + Symbol <span class="no-left">)</span> @@ -16687,12 +16685,14 @@ T </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(sym)"> + <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 class="member-body-long" id ="long-body-toText(tp)"> - <p>Textual representation of type</p> + <div class="member-body-long" id ="long-body-toText(sym)"> + <p>Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p> </div> </div> @@ -16709,9 +16709,9 @@ T </script> </div><!-- end member --> - <div id="toText(result)" class="member "> + <div id="toText(const)" 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(const)');">[+]</span> <span class="member-annotations"> </span> @@ -16733,9 +16733,9 @@ T <span class="no-left"> - result: + const: </span> - ImportInfo + Constant <span class="no-left">)</span> @@ -16750,12 +16750,12 @@ T </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(const)"> + <p>Textual representation of constant</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(const)"> + <p>Textual representation of constant</p> </div> </div> @@ -16772,9 +16772,9 @@ T </script> </div><!-- end member --> - <div id="toText(sc)" class="member "> + <div id="toText(annot)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(annot)');">[+]</span> <span class="member-annotations"> </span> @@ -16796,9 +16796,9 @@ T <span class="no-left"> - sc: + annot: </span> - Scope + Annotation <span class="no-left">)</span> @@ -16813,12 +16813,12 @@ T </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-toText(sc)"> - <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</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(sc)"> - <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> + <div class="member-body-long" id ="long-body-toText(annot)"> + <p>Textual representation of annotation</p> </div> </div> @@ -16835,9 +16835,9 @@ T </script> </div><!-- end member --> - <div id="toText(const)" class="member "> + <div id="toText(sc)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span> <span class="member-annotations"> </span> @@ -16859,9 +16859,9 @@ T <span class="no-left"> - const: + sc: </span> - Constant + Scope <span class="no-left">)</span> @@ -16876,12 +16876,12 @@ T </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(sc)"> + <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</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(sc)"> + <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p> </div> </div> diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index d360aa4e8..93971c27e 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -6023,9 +6023,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 invisible" onclick="toggleMemberBody(this, 'is(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -6049,15 +6049,7 @@ String <span class="no-left"> flags: </span> - FlagSet - - <span class="no-left">, </span> - - - <span class=""> - butNot: - </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -6072,14 +6064,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 all of the flags in given flag conjunction? +Pre: The intersection of the typeflags of both sets must be non-empty.</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 all of the flags in given flag conjunction? +Pre: The intersection of the typeflags of both sets must be non-empty.</p> </div> </div> @@ -6096,9 +6088,9 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</ </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> @@ -6124,6 +6116,14 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</ </span> FlagSet + <span class="no-left">, </span> + + + <span class=""> + butNot: + </span> + FlagSet + <span class="no-left">)</span> @@ -6137,14 +6137,14 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</ </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> @@ -6238,7 +6238,7 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p> <div id="is(flags)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'is(flags)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'is(flags)');">[+]</span> <span class="member-annotations"> </span> @@ -6262,7 +6262,7 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p> <span class="no-left"> flags: </span> - FlagConjunction + FlagSet <span class="no-left">)</span> @@ -6278,13 +6278,13 @@ Pre: The intersection of the typeflags of both sets must be non-empty.</p> <div class="member-body"> <div class="member-body-short" id="short-body-is(flags)"> - <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 class="member-body-long" id ="long-body-is(flags)"> - <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 intersection.</p> </div> </div> diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index a4d328e96..124cf2e6f 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11804,9 +11804,9 @@ of this run.</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> @@ -11830,14 +11830,6 @@ of this run.</p> <span class="no-left"> fs: </span> - FlagConjunction - - <span class="no-left">, </span> - - - <span class=""> - butNot: - </span> FlagSet @@ -11866,14 +11858,12 @@ of this run.</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 one 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 one of the flags in <code>fs</code> set?</p> </div> </div> @@ -11916,7 +11906,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -11945,11 +11935,11 @@ in <code>butNot</code> are set?</p> <div class="member-body"> <div class="member-body-short" id="short-body-is(fs)(ctx)"> - <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 class="member-body-long" id ="long-body-is(fs)(ctx)"> - <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> @@ -11966,9 +11956,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> @@ -11992,7 +11982,15 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet + + <span class="no-left">, </span> + + + <span class=""> + butNot: + </span> + FlagSet <span class="no-left">)</span> @@ -12020,12 +12018,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 one 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 one of the flags in <code>fs</code> set, whereas none of the flags +in <code>butNot</code> are set?</p> </div> </div> @@ -12068,7 +12068,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">, </span> @@ -12105,12 +12105,12 @@ in <code>butNot</code> are set?</p> <div class="member-body"> <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)"> - <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> <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)"> - <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> @@ -17272,7 +17272,7 @@ have existing symbols.</p> <span class="no-left"> that: => </span> - Denotation + SingleDenotation <span class="no-left">)</span> @@ -17282,18 +17282,16 @@ have existing symbols.</p> - <span class="no-left">: Denotation</span> + <span class="no-left">: SingleDenotation</span> </div><!-- end member-title --> <div class="member-body"> <div class="member-body-short" id="short-body-orElse(that)"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> <div class="member-body-long" id ="long-body-orElse(that)"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> </div> <script> @@ -17335,7 +17333,7 @@ have existing symbols.</p> <span class="no-left"> that: => </span> - SingleDenotation + Denotation <span class="no-left">)</span> @@ -17345,16 +17343,18 @@ have existing symbols.</p> - <span class="no-left">: SingleDenotation</span> + <span class="no-left">: Denotation</span> </div><!-- end member-title --> <div class="member-body"> <div class="member-body-short" id="short-body-orElse(that)"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> <div class="member-body-long" id ="long-body-orElse(that)"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> </div> <script> @@ -18338,9 +18338,9 @@ If <code>prev</code> is not defined in current class, do nothing.</p> </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> @@ -18366,6 +18366,17 @@ 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> @@ -18392,10 +18403,10 @@ If <code>prev</code> is not defined in current class, do nothing.</p> </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> @@ -18412,9 +18423,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> @@ -18440,17 +18451,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> @@ -18477,10 +18477,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> @@ -18497,9 +18497,9 @@ Type </script> </div><!-- end member --> - <div id="requiredMethodRef(name,argTypes)(ctx)" class="member "> + <div id="requiredMethodRef(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name,argTypes)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -18525,17 +18525,6 @@ 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> @@ -18562,10 +18551,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-requiredMethodRef(name,argTypes)(ctx)"> + <div class="member-body-short" id="short-body-requiredMethodRef(name)(ctx)"> </div> - <div class="member-body-long" id ="long-body-requiredMethodRef(name,argTypes)(ctx)"> + <div class="member-body-long" id ="long-body-requiredMethodRef(name)(ctx)"> </div> </div> @@ -18582,9 +18571,9 @@ Type </script> </div><!-- end member --> - <div id="requiredMethodRef(name)(ctx)" class="member "> + <div id="requiredMethodRef(name,argTypes)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name,argTypes)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -18610,6 +18599,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> @@ -18636,10 +18636,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-requiredMethodRef(name)(ctx)"> + <div class="member-body-short" id="short-body-requiredMethodRef(name,argTypes)(ctx)"> </div> - <div class="member-body-long" id ="long-body-requiredMethodRef(name)(ctx)"> + <div class="member-body-long" id ="long-body-requiredMethodRef(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 94a40969d..e579004b8 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5472,7 +5472,7 @@ <span class="no-left"> - sym: + self: </span> Symbol @@ -5499,42 +5499,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"> - <div class="member-title"> - <span class="member-name">Symbol</span> - <span class="no-left">(</span> - - - <span class="no-left"> - self: - </span> - Symbol - - - <span class="no-left">)</span> - </div> - </div> - <div class="member"> @@ -5612,6 +5576,42 @@ </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 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> <h1 class="section "> @@ -12499,9 +12499,9 @@ of this run.</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> @@ -12525,14 +12525,6 @@ of this run.</p> <span class="no-left"> fs: </span> - FlagConjunction - - <span class="no-left">, </span> - - - <span class=""> - butNot: - </span> FlagSet @@ -12561,14 +12553,12 @@ of this run.</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 one 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 one of the flags in <code>fs</code> set?</p> </div> </div> @@ -12611,7 +12601,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">)</span> @@ -12640,11 +12630,11 @@ in <code>butNot</code> are set?</p> <div class="member-body"> <div class="member-body-short" id="short-body-is(fs)(ctx)"> - <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 class="member-body-long" id ="long-body-is(fs)(ctx)"> - <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> @@ -12661,9 +12651,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> @@ -12687,7 +12677,15 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagConjunction + FlagSet + + <span class="no-left">, </span> + + + <span class=""> + butNot: + </span> + FlagSet <span class="no-left">)</span> @@ -12715,12 +12713,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 one 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 one of the flags in <code>fs</code> set, whereas none of the flags +in <code>butNot</code> are set?</p> </div> </div> @@ -12763,7 +12763,7 @@ in <code>butNot</code> are set?</p> <span class="no-left"> fs: </span> - FlagSet + FlagConjunction <span class="no-left">, </span> @@ -12800,12 +12800,12 @@ in <code>butNot</code> are set?</p> <div class="member-body"> <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)"> - <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> <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)"> - <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> @@ -18751,7 +18751,7 @@ These are called a "flock". Flock members are generated by</p> <span class="no-left"> that: => </span> - Denotation + SingleDenotation <span class="no-left">)</span> @@ -18761,18 +18761,16 @@ These are called a "flock". Flock members are generated by</p> - <span class="no-left">: Denotation</span> + <span class="no-left">: SingleDenotation</span> </div><!-- end member-title --> <div class="member-body"> <div class="member-body-short" id="short-body-orElse(that)"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> <div class="member-body-long" id ="long-body-orElse(that)"> - <p>If this denotation does not exist, fallback to alternative</p> - + </div> </div> <script> @@ -18814,7 +18812,7 @@ These are called a "flock". Flock members are generated by</p> <span class="no-left"> that: => </span> - SingleDenotation + Denotation <span class="no-left">)</span> @@ -18824,16 +18822,18 @@ These are called a "flock". Flock members are generated by</p> - <span class="no-left">: SingleDenotation</span> + <span class="no-left">: Denotation</span> </div><!-- end member-title --> <div class="member-body"> <div class="member-body-short" id="short-body-orElse(that)"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> <div class="member-body-long" id ="long-body-orElse(that)"> - + <p>If this denotation does not exist, fallback to alternative</p> + </div> </div> <script> @@ -20120,9 +20120,9 @@ from source.</p> </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> @@ -20148,6 +20148,17 @@ 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> @@ -20174,10 +20185,10 @@ from source.</p> </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> @@ -20194,9 +20205,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> @@ -20222,17 +20233,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> @@ -20259,10 +20259,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> @@ -20279,9 +20279,9 @@ Type </script> </div><!-- end member --> - <div id="requiredMethodRef(name,argTypes)(ctx)" class="member "> + <div id="requiredMethodRef(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name,argTypes)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -20307,17 +20307,6 @@ 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> @@ -20344,10 +20333,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-requiredMethodRef(name,argTypes)(ctx)"> + <div class="member-body-short" id="short-body-requiredMethodRef(name)(ctx)"> </div> - <div class="member-body-long" id ="long-body-requiredMethodRef(name,argTypes)(ctx)"> + <div class="member-body-long" id ="long-body-requiredMethodRef(name)(ctx)"> </div> </div> @@ -20364,9 +20353,9 @@ Type </script> </div><!-- end member --> - <div id="requiredMethodRef(name)(ctx)" class="member "> + <div id="requiredMethodRef(name,argTypes)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'requiredMethodRef(name,argTypes)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -20392,6 +20381,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> @@ -20418,10 +20418,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-requiredMethodRef(name)(ctx)"> + <div class="member-body-short" id="short-body-requiredMethodRef(name,argTypes)(ctx)"> </div> - <div class="member-body-long" id ="long-body-requiredMethodRef(name)(ctx)"> + <div class="member-body-long" id ="long-body-requiredMethodRef(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 51b434199..ebb15d0c3 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -10728,7 +10728,7 @@ to the given type symbol?</p> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isStable(ctx)');">[+]</span> <span class="member-annotations"> - @tailrec + </span> <span class="member-modifiers"> final diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html index 3520c4228..f1d8bab04 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html @@ -5561,9 +5561,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(param)" class="member "> + <div id="ParamRefNameString(param)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(param)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(param)');">[+]</span> <span class="member-annotations"> </span> @@ -5575,7 +5575,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5587,7 +5587,7 @@ <span class="no-left"> param: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> + <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a> <span class="no-left">)</span> @@ -5602,10 +5602,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(param)"> + <div class="member-body-short" id="short-body-ParamRefNameString(param)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(param)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(param)"> </div> </div> @@ -5687,6 +5687,69 @@ the decoded original name.</p> </script> </div><!-- end member --> + <div id="toTextRef(tp)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toTextRef(tp)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + override + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + toTextRef + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tp: + </span> + <a href="../../../../../.././api/dotty/tools/dotc/core/Types$/SingletonType.html">SingletonType</a> + + + <span class="no-left">)</span> + + + + + + + <span class="no-left">: Text</span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-toTextRef(tp)"> + <p>The string representation of this type used as a prefix</p> + + </div> + <div class="member-body-long" id ="long-body-toTextRef(tp)"> + <p>The string representation of this type used as a prefix</p> + + </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> </div><!-- end entity-container --> </div> diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html index 12e321d7d..3fe9659f1 100644 --- a/api/dotty/tools/dotc/printing/PlainPrinter.html +++ b/api/dotty/tools/dotc/printing/PlainPrinter.html @@ -5596,9 +5596,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(name)" class="member protected"> + <div id="ParamRefNameString(name)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(name)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -5610,7 +5610,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5622,7 +5622,7 @@ <span class="no-left"> name: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TypeName.html">TypeName</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> <span class="no-left">)</span> @@ -5637,10 +5637,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(name)"> + <div class="member-body-short" id="short-body-ParamRefNameString(name)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(name)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(name)"> </div> </div> @@ -5657,9 +5657,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(param)" class="member protected"> + <div id="ParamRefNameString(param)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(param)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(param)');">[+]</span> <span class="member-annotations"> </span> @@ -5671,7 +5671,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5683,7 +5683,7 @@ <span class="no-left"> param: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a> <span class="no-left">)</span> @@ -5698,10 +5698,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(param)"> + <div class="member-body-short" id="short-body-ParamRefNameString(param)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(param)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(param)"> </div> </div> diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html index 85dfbe5aa..493287dec 100644 --- a/api/dotty/tools/dotc/printing/RefinedPrinter.html +++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html @@ -5691,9 +5691,9 @@ </script> </div><!-- end member --> - <div id="TypeParamRefNameString(name)" class="member protected"> + <div id="ParamRefNameString(name)" class="member protected"> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'TypeParamRefNameString(name)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ParamRefNameString(name)');">[+]</span> <span class="member-annotations"> </span> @@ -5705,7 +5705,7 @@ </span> <span class="member-name "> - TypeParamRefNameString + ParamRefNameString </span> @@ -5717,7 +5717,7 @@ <span class="no-left"> name: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TypeName.html">TypeName</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> <span class="no-left">)</span> @@ -5732,10 +5732,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-TypeParamRefNameString(name)"> + <div class="member-body-short" id="short-body-ParamRefNameString(name)"> </div> - <div class="member-body-long" id ="long-body-TypeParamRefNameString(name)"> + <div class="member-body-long" id ="long-body-ParamRefNameString(name)"> </div> </div> diff --git a/api/dotty/tools/dotc/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html index c6c007390..7b58af844 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner.html @@ -9448,6 +9448,100 @@ that the package object shows up as the prefix.</p> </script> </div><!-- end member --> + <div id="safeSubstParam(tp,pref,argType)(ctx)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'safeSubstParam(tp,pref,argType)(ctx)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + safeSubstParam + + </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=""> + pref: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a> + + <span class="no-left">, </span> + + + <span class=""> + argType: + </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">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a></span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-safeSubstParam(tp,pref,argType)(ctx)"> + <p>Substitute argument type <code>argType</code> for parameter <code>pref</code> in type <code>tp</code>, +skolemizing the argument type if it is not stable and <code>pref</code> occurs in <code>tp</code>.</p> + + </div> + <div class="member-body-long" id ="long-body-safeSubstParam(tp,pref,argType)(ctx)"> + <p>Substitute argument type <code>argType</code> for parameter <code>pref</code> in type <code>tp</code>, +skolemizing the argument type if it is not stable and <code>pref</code> occurs in <code>tp</code>.</p> + + </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="selectionType(site,name,pos)(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'selectionType(site,name,pos)(ctx)');">[+]</span> diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html index d24a1d72d..726f50309 100644 --- a/api/dotty/tools/dotc/util/Positions$/Position.html +++ b/api/dotty/tools/dotc/util/Positions$/Position.html @@ -5458,24 +5458,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 @@ -5502,6 +5484,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 "> diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index f8b2bc0ef..c9ed4c575 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5439,6 +5439,12 @@ <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + Manifest + + <span class="no-left">)</span> </div> </div> @@ -5469,12 +5475,6 @@ <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Manifest - - <span class="no-left">)</span> </div> </div> |