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
Files
c78afdc6d15f05ade0c42bdddf098d3b676345f5
swift-mirror/lib/Sema
History
Doug Gregor c78afdc6d1 [Macros] Tighten restriction on non-expression macros not having return types 
There is no reason to special-case `Void` to permit it. Rather, make
this a syntactic rule. Thanks to Alex Hoppen for the suggestion.
2023-06-09 23:25:26 -07:00
..
BuilderTransform.cpp
[Sema] Walk SyntacticElementTarget for completion
2023-06-07 00:35:01 +01:00
CMakeLists.txt
…
CodeSynthesis.cpp
[Sema] InitAccessors: Don't synthesize default memberwise arg for init accessor initializations
2023-06-08 12:13:55 -07:00
CodeSynthesis.h
Sema: Inherit SPI groups when synthesizing modify accessor.
2023-05-01 15:34:08 -07:00
CodeSynthesisDistributedActor.cpp
Sema: Relax distributed actor typechecking for swiftinterfaces.
2023-04-26 08:44:44 -07:00
CompletionContextFinder.cpp
[Sema] Walk SyntacticElementTarget for completion
2023-06-07 00:35:01 +01:00
ConstantnessSemaDiagnostics.cpp
…
Constraint.cpp
[ConstraintSystem] Add same-shape constraint
2023-05-02 09:32:19 -07:00
ConstraintGraph.cpp
…
ConstraintLocator.cpp
[CS] Improve diagnostics a bit for pattern mismatch
2023-06-07 00:35:02 +01:00
ConstraintSystem.cpp
[CS] Improve diagnostics a bit for pattern mismatch
2023-06-07 00:35:02 +01:00
CSApply.cpp
Merge pull request #64280 from hamishknight/platypus
2023-06-06 20:21:45 -07:00
CSBindings.cpp
[CSBindings] Mark type variables that represent type parameter packs as "involving type variables"
2023-05-16 16:32:24 -07:00
CSDiagnostics.cpp
Merge pull request #66283 from xedin/init-accessors
2023-06-07 08:16:35 -07:00
CSDiagnostics.h
Merge pull request #65806 from xedin/rdar-108977234
2023-05-16 09:56:41 -07:00
CSFix.cpp
Merge pull request #65785 from angela-laar/fix-covariant-erasure-for-constrained-existentials
2023-05-18 16:58:45 -07:00
CSGen.cpp
[CS] Improve diagnostics a bit for pattern mismatch
2023-06-07 00:35:02 +01:00
CSRanking.cpp
[ConstraintSystem] Add a locator to openType and some of its callers
2023-05-02 09:32:19 -07:00
CSSimplify.cpp
Merge pull request #64280 from hamishknight/platypus
2023-06-06 20:21:45 -07:00
CSSolver.cpp
[CS] Allow ExprPatterns to be type-checked in the solver
2023-06-07 00:35:01 +01:00
CSStep.cpp
[ConstraintSystem] NFC: Standardize the way of type holefication
2023-04-21 15:22:13 -07:00
CSStep.h
…
CSSyntacticElement.cpp
[CS] Don't form conversion between switch subject and pattern
2023-06-07 00:35:01 +01:00
DebuggerTestingTransform.cpp
[Macros] "Subsume" the initializer when an accessor macros adds non-observers
2023-04-28 09:50:00 -07:00
DerivedConformanceActor.cpp
…
DerivedConformanceAdditiveArithmetic.cpp
…
DerivedConformanceCaseIterable.cpp
…
DerivedConformanceCodable.cpp
…
DerivedConformanceCodingKey.cpp
…
DerivedConformanceComparable.cpp
AST: Requestify lookup of protocol referenced by ImplementsAttr
2023-06-02 13:17:25 -04:00
DerivedConformanceDifferentiable.cpp
[Sema] Ensure synthesized NamedPatterns have types
2023-04-06 16:11:11 +01:00
DerivedConformanceDistributedActor.cpp
[Distributed] Report error rather than crash no ad-hoc requirements are implemented
2023-05-19 16:06:53 +02:00
DerivedConformanceEquatableHashable.cpp
AST: Requestify lookup of protocol referenced by ImplementsAttr
2023-06-02 13:17:25 -04:00
DerivedConformanceError.cpp
…
DerivedConformanceRawRepresentable.cpp
…
DerivedConformances.cpp
[Executors] Remote distributed actors get "crash on enqueue" default executor (#64969)
2023-04-10 19:12:03 +09:00
DerivedConformances.h
[Concurrency] Distributed actor's unownedExecutor should be optional (#64499)
2023-03-22 08:40:41 +09:00
IDETypeCheckingRequests.cpp
…
ImportResolution.cpp
Currently it errors when loading a module built from interface if it has package-name.
2023-04-27 16:25:11 -07:00
InstrumenterSupport.cpp
…
InstrumenterSupport.h
…
LookupVisibleDecls.cpp
[Macros] Break reference cycles involving visible name lookup
2023-04-16 13:31:42 -04:00
MiscDiagnostics.cpp
[AST] Add a new accessor kind for init accessors.
2023-06-06 18:57:31 -07:00
MiscDiagnostics.h
…
PCMacro.cpp
[Macros] "Subsume" the initializer when an accessor macros adds non-observers
2023-04-28 09:50:00 -07:00
PlaygroundTransform.cpp
[Macros] "Subsume" the initializer when an accessor macros adds non-observers
2023-04-28 09:50:00 -07:00
PreCheckExpr.cpp
Handle #if for if/switch expressions
2023-04-12 14:54:22 +01:00
ResilienceDiagnostics.cpp
Sema: Diagnose accessor exportability.
2023-05-01 15:34:08 -07:00
SourceLoader.cpp
[Dependency Scanning] Pull optional dependencies from the adjacent binary module for direct interface dependencies
2023-04-17 14:47:46 -07:00
SyntacticElementTarget.cpp
rename _forget to discard; deprecate _forget
2023-05-08 21:42:19 -07:00
TypeAccessScopeChecker.h
…
TypeCheckAccess.cpp
Frontend: Remove support for the -check-api-availability-only flag.
2023-03-23 23:02:13 -07:00
TypeCheckAccess.h
…
TypeCheckAttr.cpp
[Sema] InitAccessors: Verify that a property never appears both in initializes(...) and accesses(...)
2023-06-06 18:59:46 -07:00
TypeCheckAvailability.cpp
[Macros] Create type refinement context for MacroExpansionDecl
2023-05-16 20:47:12 -07:00
TypeCheckAvailability.h
Sema: Improve diagnostics for overrides of unavailable decls.
2023-04-26 18:29:22 -07:00
TypeCheckCaptures.cpp
…
TypeCheckCircularity.cpp
…
TypeCheckCodeCompletion.cpp
[Sema] Walk SyntacticElementTarget for completion
2023-06-07 00:35:01 +01:00
TypeCheckConcurrency.cpp
Further hardening: new compiler + old SDK still diagnose correctly
2023-05-03 11:03:34 +09:00
TypeCheckConcurrency.h
…
TypeCheckConstraints.cpp
Revert "Revert "Prevent noncopyable metatypes from being converted to Any""
2023-05-04 11:38:00 -07:00
TypeCheckDecl.cpp
[Sema] InitAccessors: Mark init accesor as mutating "self" only for value types
2023-06-06 18:59:13 -07:00
TypeCheckDecl.h
…
TypeCheckDeclObjC.cpp
[AST] Add a new accessor kind for init accessors.
2023-06-06 18:57:31 -07:00
TypeCheckDeclOverride.cpp
[AST] Add 'initializes' and 'accesses' attributes for init accessor
2023-06-06 18:59:13 -07:00
TypeCheckDeclPrimary.cpp
[Macros] Tighten restriction on non-expression macros not having return types
2023-06-09 23:25:26 -07:00
TypeCheckDistributed.cpp
[Distributed] Explicitly ban __owned and other specifiers we dont support
2023-05-25 10:59:01 +02:00
TypeCheckDistributed.h
…
TypeCheckEffects.cpp
[Macros] Code item macros
2023-04-04 09:54:57 -07:00
TypeChecker.cpp
…
TypeChecker.h
[CS] Allow ExprPatterns to be type-checked in the solver
2023-06-07 00:35:01 +01:00
TypeCheckExpr.cpp
[Module-scope lookup] Find arbitrary names in macro expansions.
2023-04-06 16:04:43 -07:00
TypeCheckExprObjC.cpp
…
TypeCheckGeneric.cpp
Sema: Add a simpler form of checkGenericArguments()
2023-06-01 22:36:24 -04:00
TypeCheckMacros.cpp
[Macros] Provide the freestanding macro role for expansion operations.
2023-06-09 12:59:56 -07:00
TypeCheckMacros.h
[Macros] Requestify MacroExpansionExpr expansion
2023-04-27 14:40:34 -07:00
TypeCheckNameLookup.cpp
[Module-scope lookup] Find arbitrary names in macro expansions.
2023-04-06 16:04:43 -07:00
TypeCheckObjC.h
…
TypeCheckPattern.cpp
[CS] Fix coercePatternToType enum cast handling
2023-06-07 00:35:02 +01:00
TypeCheckPropertyWrapper.cpp
…
TypeCheckProtocol.cpp
[AST] Add a new accessor kind for init accessors.
2023-06-06 18:57:31 -07:00
TypeCheckProtocol.h
…
TypeCheckProtocolInference.cpp
Sema: Generic parameter packs cannot witness associated type requirements
2023-04-05 23:42:16 -04:00
TypeCheckRegex.cpp
…
TypeCheckRegex.h
…
TypeCheckRequestFunctions.cpp
…
TypeCheckRuntimeMetadataAttr.cpp
…
TypeCheckStmt.cpp
Require switch on a noncopyable-type binding to be explicitly consume-d.
2023-06-02 18:14:37 -07:00
TypeCheckStorage.cpp
[Sema] InitAccessors: Mark properties with init accessor as computed
2023-06-06 18:59:46 -07:00
TypeCheckSwitchStmt.cpp
…
TypeCheckType.cpp
Restore sema code that bans consuming from being applied to no escape functions.
2023-06-06 12:42:23 -04:00
TypeCheckType.h
…
TypoCorrection.h
…