aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/core/SymbolLoaders.html
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-10 09:27:45 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-10 09:27:45 +0000
commitc3bd69ce20a9250b772294885b57021c24e24a8e (patch)
treedf0d893384769716d1449af26986607c822333c1 /api/dotty/tools/dotc/core/SymbolLoaders.html
parent148942bd091b5dd2b33fcbdeb133e7537d5b3a1c (diff)
downloaddotty-c3bd69ce20a9250b772294885b57021c24e24a8e.tar.gz
dotty-c3bd69ce20a9250b772294885b57021c24e24a8e.tar.bz2
dotty-c3bd69ce20a9250b772294885b57021c24e24a8e.zip
Update gh-pages site for 80f9b6da66cb4eeabfd5ab97e422752ff134d590
Diffstat (limited to 'api/dotty/tools/dotc/core/SymbolLoaders.html')
-rw-r--r--api/dotty/tools/dotc/core/SymbolLoaders.html10
1 files changed, 5 insertions, 5 deletions
diff --git a/api/dotty/tools/dotc/core/SymbolLoaders.html b/api/dotty/tools/dotc/core/SymbolLoaders.html
index c02103c0d..56acd8b8f 100644
--- a/api/dotty/tools/dotc/core/SymbolLoaders.html
+++ b/api/dotty/tools/dotc/core/SymbolLoaders.html
@@ -5800,7 +5800,7 @@ have ReflectPackage defined.</p>
- <span class="no-left">: EmptyScope$</span>
+ <span class="no-left">: EmptyScope.type</span>
</div><!-- end member-title -->
@@ -6012,7 +6012,7 @@ and give them <code>completer</code> as type.</p>
- <span class="no-left">: EmptyScope$</span>
+ <span class="no-left">: EmptyScope.type</span>
</div><!-- end member-title -->
@@ -6280,7 +6280,7 @@ and give them <code>completer</code> as type.</p>
- <span class="no-left">: EmptyScope$</span>
+ <span class="no-left">: EmptyScope.type</span>
</div><!-- end member-title -->
@@ -6428,7 +6428,7 @@ and give them <code>completer</code> as type.</p>
- <span class="no-left">: EmptyScope$</span>
+ <span class="no-left">: EmptyScope.type</span>
</div><!-- end member-title -->
@@ -6669,7 +6669,7 @@ with source completer for given <code>src</code> as type.
- <span class="no-left">: EmptyScope$</span>
+ <span class="no-left">: EmptyScope.type</span>
</div><!-- end member-title -->