averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Eliminate the "pre-check protocol" pass from the type checker.

Browse Source 
Teach the ArchetypeBuilder how to use callbacks to get at the
protocols from which a protocol inherits and to which an associated
type conforms, so that we can use the type checker's lazy resolution
here.


Swift SVN r7107
This commit is contained in:
Doug Gregor
2013-08-09 22:09:07 +00:00
parent 03c9ade9b4
commit 411233da5a
7 changed files with 146 additions and 86 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lib/Serialization/ModuleFile.cpp
View File

@@ -755,7 +755,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
while (auto conformance = maybeReadConformance(underlyingType.getType()))
conformances.push_back(*conformance);
processConformances(ctx, alias, conformances);
alias->setCheckedInheritanceClause();
break;
}
@@ -797,7 +797,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
auto members = readMembers();
assert(members.hasValue() && "could not read struct members");
theStruct->setMembers(members.getValue(), SourceRange());
theStruct->setCheckedInheritanceClause();
break;
}
@@ -1030,7 +1030,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
auto members = readMembers();
assert(members.hasValue() && "could not read struct members");
proto->setMembers(members.getValue(), SourceRange());
proto->setCheckedInheritanceClause();
break;
}
@@ -1128,7 +1128,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
auto members = readMembers();
assert(members.hasValue() && "could not read class members");
theClass->setMembers(members.getValue(), SourceRange());
theClass->setCheckedInheritanceClause();
break;
}
@@ -1174,7 +1174,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
auto members = readMembers();
assert(members.hasValue() && "could not read union members");
theUnion->setMembers(members.getValue(), SourceRange());
theUnion->setCheckedInheritanceClause();
break;
}
@@ -1287,6 +1287,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
extension->setMembers(members.getValue(), SourceRange());
baseTy.getType()->getAnyNominal()->addExtension(extension);
extension->setCheckedInheritanceClause();
break;
}