diff options
Diffstat (limited to 'api/dotty')
-rw-r--r-- | api/dotty/tools/dotc/core/Contexts$/Context.html | 16 | ||||
-rw-r--r-- | api/dotty/tools/dotc/core/Symbols$/Symbol.html | 36 | ||||
-rw-r--r-- | api/dotty/tools/io/Jar$/WManifest.html | 14 |
3 files changed, 33 insertions, 33 deletions
diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 6670ada7d..035f7d89d 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5563,7 +5563,7 @@ classes (which should be short-lived).</li> <span class="no-left"> - ctx: + c: </span> Context @@ -5581,7 +5581,7 @@ classes (which should be short-lived).</li> <span class="no-left"> - c: + ctx: </span> Context @@ -5598,6 +5598,12 @@ classes (which should be short-lived).</li> <span class="no-left">(</span> + <span class="no-left"> + c: + </span> + Context + + <span class="no-left">)</span> </div> </div> @@ -5610,12 +5616,6 @@ classes (which should be short-lived).</li> <span class="no-left">(</span> - <span class="no-left"> - c: - </span> - Context - - <span class="no-left">)</span> </div> </div> diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 68c4e174e..1d3eba38e 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5512,24 +5512,6 @@ <span class="no-left"> - self: - </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"> sym: </span> Symbol @@ -5652,6 +5634,24 @@ </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> <h1 class="section "> diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index 61d4918bd..71b96d535 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5482,7 +5482,7 @@ <span class="no-left"> x$0: </span> - InputStream + Manifest <span class="no-left">)</span> @@ -5497,12 +5497,6 @@ <span class="no-left">(</span> - <span class="no-left"> - x$0: - </span> - Manifest - - <span class="no-left">)</span> </div> </div> @@ -5515,6 +5509,12 @@ <span class="no-left">(</span> + <span class="no-left"> + x$0: + </span> + InputStream + + <span class="no-left">)</span> </div> </div> |