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

Compute interface types for constructors.

Browse Source 
Swift SVN r8992
This commit is contained in:
Doug Gregor
2013-10-07 21:51:11 +00:00
parent 7fc2720826
commit d33d78acac
8 changed files with 139 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
lib/Serialization/Deserialization.cpp
View File

@@ -906,11 +906,13 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
DeclID parentID;
bool isImplicit, hasSelectorStyleSignature, isObjC;
TypeID signatureID;
TypeID interfaceID;
DeclID implicitSelfID;
decls_block::ConstructorLayout::readRecord(scratch, parentID, isImplicit,
hasSelectorStyleSignature,
isObjC, signatureID,
interfaceID,
implicitSelfID);
auto parent = getDeclContext(parentID);
if (declOrOffset.isComplete())
@@ -938,6 +940,7 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
// A polymorphic constructor type needs to refer to the constructor to get
// its generic parameters.
ctor->setType(getType(signatureID));
ctor->setInterfaceType(getType(interfaceID));
// Set the initializer type of the constructor.
auto allocType = ctor->getType();
@@ -957,6 +960,27 @@ Decl *ModuleFile::getDecl(DeclID DID, Optional<DeclContext *> ForcedContext,
ctx));
}
// Set the initializer interface type of the constructor.
allocType = ctor->getInterfaceType();
if (allocType) {
selfTy = allocType->castTo<AnyFunctionType>()->getInput()
->castTo<MetaTypeType>()->getInstanceType();
if (auto polyFn = allocType->getAs<GenericFunctionType>()) {
ctor->setInitializerInterfaceType(
GenericFunctionType::get(polyFn->getGenericParams(),
polyFn->getRequirements(),
selfTy, polyFn->getResult(),
polyFn->getExtInfo(),
ctx));
} else {
auto fn = allocType->castTo<FunctionType>();
ctor->setInitializerInterfaceType(FunctionType::get(selfTy,
fn->getResult(),
fn->getExtInfo(),
ctx));
}
}
if (isImplicit)
ctor->setImplicit();
if (hasSelectorStyleSignature)