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
7aee5b6cf8c1b3ee6cb40a8c5736f8236401942c
swift-mirror/lib/AST/RequirementMachine
History
Slava Pestov 7aee5b6cf8 Merge pull request #42324 from slavapestov/rqm-superclass-vs-objc-existential 
RequirementMachine: Allow 'any C & P' to satisfy a superclass requirement 'C' if 'P' is an @objc protocol
2022-04-12 21:05:52 -04:00
..
ConcreteContraction.cpp
RequirementMachine: Fix handling of Sendable conformances for superclass requirements
2022-04-11 14:52:32 -04:00
ConcreteTypeWitness.cpp
RequirementMachine: Fix handling of Sendable conformances for superclass requirements
2022-04-11 14:52:32 -04:00
Debug.h
RequirementMachine: Fold RewriteSystem::processConflicts() into recordConflict() and add debug output
2022-04-01 01:05:54 -04:00
Diagnostics.h
[RequirementMachine] Simplify computing and emitting conflict diagnostics.
2022-03-29 18:27:45 -07:00
GenericSignatureQueries.cpp
RequirementMachine: More comments
2022-03-29 12:10:33 -04:00
Histogram.h
RequirementMachine: Track maximum value stored in the histogram
2021-12-07 15:31:47 -05:00
HomotopyReduction.cpp
RequirementMachine: More debug output from RewritePath::RewriteSystem::propagateRedundantRequirementIDs()
2022-04-04 12:41:57 -04:00
InterfaceType.cpp
RequirementMachine: More comments
2022-03-29 12:10:33 -04:00
KnuthBendix.cpp
RequirementMachine: Try harder to ensure completion only introduces property-like rules
2022-04-04 23:41:07 -04:00
MinimalConformances.cpp
RequirementMachine: Rule::isProtocolRefinementRule() allows transitive refinement
2022-03-17 15:06:05 -04:00
NameLookup.cpp
RequirementMachine: Better tests for concrete type requirements with opaque archetypes
2022-03-22 23:53:40 -04:00
NameLookup.h
RequirementMachine: Fix lookupConcreteNestedType() to cope with opaque archetypes
2022-03-17 17:45:52 -04:00
NormalizeRewritePath.cpp
RequirementMachine: Support for RewriteStep::Relation in computeNormalForm()
2022-03-15 13:35:34 -04:00
PropertyMap.cpp
RequirementMachine: Write some comments
2022-03-28 22:16:09 -04:00
PropertyMap.h
RequirementMachine: Simplify getTypeForSymbolRange() a bit
2022-03-29 00:43:41 -04:00
PropertyRelations.cpp
RequirementMachine: Write some comments
2022-03-28 22:16:09 -04:00
PropertyUnification.cpp
RequirementMachine: Allow 'any C & P' to satisfy a superclass requirement 'C' if 'P' is an @objc protocol
2022-04-12 16:43:56 -04:00
RequirementBuilder.cpp
RequirementMachine: More comments
2022-03-29 12:10:33 -04:00
RequirementLowering.cpp
Support missing Sendable conformances everywhere in the requirement machine
2022-04-08 16:10:38 -07:00
RequirementLowering.h
RequirementMachine: Generalize hack that allows associated type inheritance clauses to reference protocol typealiases
2022-04-05 18:42:35 -04:00
RequirementMachine.cpp
RequirementMachine: Move a bit of code in computeCompletion() for clarity
2022-04-05 00:04:39 -04:00
RequirementMachine.h
[RequirementMachine] Add a helper method to RequirementMachine to compute
2022-03-29 18:27:44 -07:00
RequirementMachineRequests.cpp
RequirementMachine: Generalize hack that allows associated type inheritance clauses to reference protocol typealiases
2022-04-05 18:42:35 -04:00
RewriteContext.cpp
RequirementMachine: Fold RewriteSystem::processConflicts() into recordConflict() and add debug output
2022-04-01 01:05:54 -04:00
RewriteContext.h
RequirementMachine: Simplify getTypeForSymbolRange() a bit
2022-03-29 00:43:41 -04:00
RewriteLoop.cpp
RequirementMachine: Rename RewritePath::getRulesInEmptyContext() to findRulesAppearingOnceInEmptyContext()
2022-04-04 12:41:57 -04:00
RewriteLoop.h
RequirementMachine: Rename RewritePath::getRulesInEmptyContext() to findRulesAppearingOnceInEmptyContext()
2022-04-04 12:41:57 -04:00
RewriteSystem.cpp
RequirementMachine: Diagnose redundant concrete conformance requirements
2022-04-05 21:12:51 -04:00
RewriteSystem.h
RequirementMachine: Fold RewriteSystem::processConflicts() into recordConflict() and add debug output
2022-04-01 01:05:54 -04:00
Rule.cpp
[NFC][RequirementMachine] Stylistic changes for computing confict
2022-03-30 14:09:06 -07:00
Rule.h
RequirementMachine: Allow markConflicting() on already-conflicting frozen rules
2022-04-01 01:05:54 -04:00
RuleBuilder.cpp
RequirementMachine: Move some code out of RuleBuilder and into RequirementSignatureRequest
2022-03-22 15:02:06 -04:00
RuleBuilder.h
RequirementMachine: Move some code out of RuleBuilder and into RequirementSignatureRequest
2022-03-22 15:02:06 -04:00
SimplifySubstitutions.cpp
RequirementMachine: Re-use requirement machines constructed by minimization for queries
2022-03-26 00:56:41 -04:00
Symbol.cpp
RequirementMachine: Print opaque archetypes using the 'stable' representation
2022-03-22 17:20:48 -04:00
Symbol.h
RequirementMachine: Split off Rule.cpp from RewriteSystem.cpp
2022-03-15 13:35:34 -04:00
Term.cpp
RequirementMachine: Reduction order on terms compares number of name symbols first
2022-02-13 00:24:23 -05:00
Term.h
RequirementMachine: Simplify the Symbol API for removal of merged associated types
2022-02-07 18:57:45 -05:00
Trie.h
RequirementMachine: Trie.insert() updates existing entry
2021-09-24 08:59:50 -04:00
TypeDifference.cpp
RequirementMachine: Check invariants in noassert builds
2022-03-03 14:05:02 -05:00
TypeDifference.h
RequirementMachine: Factor out TypeDifference::getOriginalSubstitution()
2022-02-07 08:20:59 -05:00