John McCall a30d91e3cb Implement vararg expansion well enough to support argument forwarding. ...

I needed this for materializeForSet remission, but it makes inherited
variadic initializers work, too.

I tried to make this a reasonable starting point for a real language
feature.  Here's what's still missing:

- syntax
- semantic restrictions to ensure that the expression isn't written in
  invalid places or arbitrarily converted
- SILGen support for expansions that aren't the only variadic argument

rdar://16331406

2018-08-22 06:46:08 -04:00

..

AccessorKinds.def

Implement generalized accessors using yield-once coroutines.

2018-07-23 18:59:58 -04:00

AccessRequests.h

Remove SimpleRequest::breakCycle

2018-08-15 11:01:12 -07:00

AccessScope.h

[AST] Add an AccessScope::dump helper (#18756)

2018-08-16 10:30:30 -07:00

AccessScopeChecker.h

[Sema] Move AccessScopeChecker classes to separate file in AST.

2018-07-04 16:54:59 -07:00

AccessTypeIDZone.def

[Sema] Move AccessLevel calculation to AST-level requests.

2018-07-04 16:56:26 -07:00

AnyFunctionRef.h

Basic motions towards moving yields into AnyFunctionType.

2018-08-16 02:13:54 -04:00

AnyRequest.h

Request evaluator: Use DenseMap::find_as to look up Requests

2018-08-10 10:23:40 -07:00

ASTContext.h

[Request-evaluator] Track # of evaluations for each request kind.

2018-06-22 00:01:55 -07:00

ASTMangler.h

[Mangling] Fix mangling of nested generic typealiases.

2018-06-26 13:48:13 -07:00

ASTNode.h

…

ASTPrinter.h

…

ASTScope.h

Allow a closure-parent ASTScope to be formed from any number of exprs. NFC.

2018-07-05 02:48:41 -04:00

ASTVisitor.h

…

ASTWalker.h

Generalize storage implementations to support generalized accessors.

2018-06-30 05:19:03 -04:00

Attr.def

[AST] Add @_hasInitialValue to var/lets that have initializers.

2018-08-07 09:54:35 +10:00

Attr.h

Merge remote-tracking branch 'origin/master' into master-next

2018-07-05 11:49:26 -07:00

AttrKind.h

[AST] Add an AccessScope::dump helper (#18756)

2018-08-16 10:30:30 -07:00

Availability.h

[master-next] Adjust for VersionTuple moving from clang to llvm.

2018-06-12 16:44:11 -07:00

AvailabilitySpec.h

[master-next] Adjust for VersionTuple moving from clang to llvm.

2018-06-12 16:44:11 -07:00

Builtins.def

Runtime support for identity key paths.

2018-08-20 14:00:46 -07:00

Builtins.h

[gardening][enum class] Replace unsigned char with uint8_t for consistency

2018-03-12 13:57:36 +09:00

CanTypeVisitor.h

Basic plumbing to propagate metadata-generation results in IRGen.

2018-03-26 01:13:45 -04:00

CaptureInfo.h

Move merging of CapturedValue flags into the class itself so that it'll be more clear that dealing with this will be required if more flags are added in the future. And mergeFlags correctly on the dynamic self capture.

2018-08-06 11:41:28 -07:00

ClangModuleLoader.h

[AST/ClangImporter] Eliminate layering violation with isInOverlayModuleForImportedModule.

2018-06-04 16:40:45 -07:00

ClangNode.h

AST: disambiguate swift::detail namespace (NFC)

2018-05-02 10:55:43 -07:00

Comment.h

…

ConcreteDeclRef.h

[AST] Collapse storage for ConcreteDeclRef.

2018-05-02 13:39:21 -07:00

DebuggerClient.h

…

Decl.h

[TBDGen] Fix check for global accessors (#18883)

2018-08-21 18:22:59 -07:00

DeclContext.h

[AST] Rename several DeclContext methods to be clearer and shorter (#18798)

2018-08-17 14:05:24 -07:00

DeclNameLoc.h

…

DeclNodes.def

[AST] NFC: Attr.def clean up (#16031)

2018-04-24 21:24:48 -04:00

DefaultArgumentKind.h

Preserve default argument text through serialization (#18579)

2018-08-09 11:06:22 -07:00

DiagnosticConsumer.h

consumerAndRangeForLocation -> subconsumerForLocation

2018-08-06 18:00:17 -07:00

DiagnosticEngine.h

Merge remote-tracking branch 'origin/master' into master-next

2018-06-12 17:49:25 -07:00

DiagnosticsAll.def

…

DiagnosticsClangImporter.def

Diagnose clobbering clang's VFS with our own

2018-07-31 15:11:52 -07:00

DiagnosticsClangImporter.h

…

DiagnosticsCommon.def

Add errors for other invalid strings in digester

2018-08-17 04:16:20 -07:00

DiagnosticsCommon.h

…

DiagnosticsDriver.def

Add warning for bitcode marker without object (#18304)

2018-07-30 11:24:09 -07:00

DiagnosticsDriver.h

…

DiagnosticsFrontend.def

Diagnose missing and invalid vfs overlay files

2018-07-31 13:16:14 -07:00

DiagnosticsFrontend.h

…

DiagnosticsIRGen.def

…

DiagnosticsIRGen.h

…

DiagnosticsParse.def

Runtime support for identity key paths.

2018-08-20 14:00:46 -07:00

DiagnosticsParse.h

…

DiagnosticsRefactoring.def

…

DiagnosticsRefactoring.h

…

DiagnosticsSema.def

Implement vararg expansion well enough to support argument forwarding.

2018-08-22 06:46:08 -04:00

DiagnosticsSema.h

…

DiagnosticsSIL.def

Fix and improve DI diagnostics around inout uses of immutable constants.

2018-08-20 02:51:44 -04:00

DiagnosticsSIL.h

…

Evaluator.h

Use evaluator's dependency printing for cycles

2018-08-15 16:02:48 -07:00

ExistentialLayout.h

[ExistentialLayout] Introduce getKind() and use it.

2018-07-26 19:41:58 -07:00

Expr.h

Implement vararg expansion well enough to support argument forwarding.

2018-08-22 06:46:08 -04:00

ExprNodes.def

Implement vararg expansion well enough to support argument forwarding.

2018-08-22 06:46:08 -04:00

ForeignErrorConvention.h

…

ForeignInfo.h

…

FunctionRefKind.h

…

GenericEnvironment.h

Eliminate all vestiges of Substitution and SubstitutionList.

2018-05-11 21:43:40 -07:00

GenericParamKey.h

…

GenericSignature.h

Extract local helper to GenericSignature::buildConformanceAccessPath

2018-08-09 19:43:15 -07:00

GenericSignatureBuilder.h

Cache ConformanceAccessPaths in GSB::EquivalenceClass for big wins

2018-08-09 11:58:19 -07:00

Identifier.h

[Basic] Extract isEditorPlaceholder from Identifier to standalone function

2018-07-13 16:56:03 -07:00

IfConfigClause.h

…

Initializer.h

Parse: Remove uses of getParameterLists() from default argument parsing

2018-07-22 20:56:56 -07:00

IRGenOptions.h

Implement a -dump-type-info frontend action

2018-07-30 18:38:47 -07:00

KnownDecls.def

[SILGen] Show a message when an unexpected enum value is switched on (#15614)

2018-04-03 11:21:36 -07:00

KnownFoundationEntities.def

…

KnownIdentifiers.def

[Type checker] Improve diagnostics when an optional value is not unwrapped.

2018-07-13 11:02:04 -07:00

KnownProtocols.def

[SE-0194] Deriving Collections of Enum Cases

2018-03-09 00:22:55 -05:00

KnownProtocols.h

[AST] NFC: Repack misc DeclAttribute bits into inline bitfield

2018-04-18 11:25:11 -04:00

KnownStdlibTypes.def

[SIL Diagnostics] Add warnings for imprecision during assignment of

2018-06-18 12:02:23 -07:00

LayoutConstraint.h

[gardening][enum class] Replace unsigned char with uint8_t for consistency

2018-03-12 13:57:36 +09:00

LazyResolver.h

[Type checker] Eliminate the TypeChecker parameter from CompleteGenericTypeResolver.

2018-08-20 10:33:23 -07:00

LinkLibrary.h

…

LookupKinds.h

[AST/TypeChecker] Remove DynamicLookup flag.

2018-08-14 11:32:55 -07:00

Module.h

[AST] Rename several DeclContext methods to be clearer and shorter (#18798)

2018-08-17 14:05:24 -07:00

ModuleLoader.h

Add -track-system-dependencies Flag

2018-07-19 13:03:30 -07:00

NameLookup.h

[AST] Switch ProtocolDecl::requiresClass() over to decl-based resolution.

2018-08-06 10:07:16 -07:00

NameLookupRequests.h

Remove SimpleRequest::breakCycle

2018-08-15 11:01:12 -07:00

NameLookupTypeIDZone.def

[Name lookup] Turn the "Self bounds of a where clause" query into a request.

2018-08-13 19:03:35 -07:00

Ownership.h

Enable optional unowned/unowned(unsafe) references

2018-07-11 14:33:23 -04:00

ParameterList.h

AST: Remove tuple-forming methods on ParameterList

2018-08-11 03:29:16 -07:00

Pattern.h

[AST] std::function -> llvm::function_ref for some non-escaping params.

2018-05-01 08:29:06 +10:00

PatternNodes.def

…

PlatformKind.h

…

PlatformKinds.def

…

PrettyStackTrace.h

Add some more PrettyStackTrace entries to AST (#17208)

2018-06-14 13:55:52 -07:00

PrintOptions.h

Constify PrintOptions in ShouldPrintChecker::shouldPrint

2018-08-16 17:59:24 -07:00

ProtocolAssociations.h

…

ProtocolConformance.h

AST: Add new overload of ProtocolConformance{,Ref}::subst() taking a SubstitutionMap

2018-07-16 16:44:27 -07:00

ProtocolConformanceRef.h

AST: Create new 'invalid' state for ProtocolConformanceRef

2018-07-16 16:44:27 -07:00

RawComment.h

…

ReferenceCounting.h

[IRGen] Use a more precise computation for the kind of reference count.

2018-08-06 17:04:47 -07:00

ReferencedNameTracker.h

…

ReferenceStorage.def

[AST] NFC: Adopt reference storage type meta-programming macros

2018-06-30 06:44:33 -04:00

Requirement.h

…

RequirementEnvironment.h

AST: There's no longer any reason to pass SubstitutionMap by const reference

2018-05-19 00:45:36 -07:00

ResilienceExpansion.h

…

SearchPathOptions.h

Plumbing for a Virtual File System

2018-07-31 13:16:14 -07:00

SILLayout.h

…

SILOptions.h

[+0-all-args] Remove the SILOption EnableGuaranteedNormalArguments and minimally simplify code.

2018-07-29 20:15:51 -07:00

SimpleRequest.h

Remove SimpleRequest::breakCycle

2018-08-15 11:01:12 -07:00

Stmt.h

Implement generalized accessors using yield-once coroutines.

2018-07-23 18:59:58 -04:00

StmtNodes.def

Implement generalized accessors using yield-once coroutines.

2018-07-23 18:59:58 -04:00

StorageImpl.h

Pass around whether storage is mutable as an enum instead of a bool.

2018-08-16 02:13:54 -04:00

SubstitutionMap.h

Add debug info support for inlined and specialized generic variables.

2018-07-31 16:59:56 -07:00

SwiftNameTranslation.h

…

SyntaxASTMap.h

…

Type.h

AST: Change SubstitutionMap conformance lookup callbacks to take ProtocolDecl and not ProtocolType

2018-05-19 01:09:17 -07:00

TypeAlignments.h

Eliminate all vestiges of Substitution and SubstitutionList.

2018-05-11 21:43:40 -07:00

TypeCheckerDebugConsumer.h

…

TypeCheckerTypeIDZone.def

[Type Checker] Add a request kind for ‘dynamic’.

2018-07-18 14:50:39 -07:00

TypeCheckRequests.h

Remove SimpleRequest::breakCycle

2018-08-15 11:01:12 -07:00

TypeLoc.h

[AST] Remove “validated” bit from TypeLoc.

2018-06-14 15:29:57 -07:00

TypeMatcher.h

Excise simpler uses of getInput

2018-06-11 17:29:29 -07:00

TypeMemberVisitor.h

…

TypeNodes.def

[AST] NFC: Adopt reference storage type meta-programming macros

2018-06-30 06:44:33 -04:00

TypeOrExtensionDecl.h

…

TypeRefinementContext.h

[master-next] Adjust for VersionTuple moving from clang to llvm.

2018-06-12 16:44:11 -07:00

TypeRepr.h

Push FunctionTypeRepr Input Invariants Up

2018-06-13 18:41:20 -07:00

TypeReprNodes.def

[AST] Explicitly track things marked __owned.

2018-03-08 12:36:24 +11:00

TypeResolutionStage.h

[Type Checker] Add TypeResolution(Stage) to describe type computations.

2018-08-20 14:21:52 -07:00

Types.h

AST: Remove Can{,Any,Generic}FunctionType::getOld()

2018-08-18 01:54:17 -04:00

TypeVisitor.h

…

TypeWalker.h

…

USRGeneration.h

…

Witness.h

Eliminate all vestiges of Substitution and SubstitutionList.

2018-05-11 21:43:40 -07:00