Anthony Latsis 31cafb0a27 Switch DiagnosticEngine::warnUntilLanguageMode and co. to LanguageMode

2026-02-10 16:06:56 +00:00

..

ApplyInverses.cpp

Sema: apply scoping SuppAssocType scoping rule roots

2025-12-16 15:20:56 -08:00

ConcreteContraction.cpp

Sema: introduce SuppressedAssociatedTypesWithDefaults

2025-12-02 18:00:03 -08:00

ConcreteTypeWitness.cpp

…

Debug.h

…

Diagnostics.cpp

RequirementMachine: Diagnose unsupported value generic parameter definitions properly

2025-10-08 02:13:03 +01:00

Diagnostics.h

RequirementMachine: Diagnose unsupported value generic parameter definitions properly

2025-10-08 02:13:03 +01:00

GenericSignatureQueries.cpp

RequirementMachine: Adding shape abstractions

2025-10-31 17:29:45 +00:00

Histogram.h

…

HomotopyReduction.cpp

…

InterfaceType.cpp

Requirement Machine: Fix an issue with pack expansion + tuple type crashes

2025-10-31 17:53:59 +00:00

KnuthBendix.cpp

…

MinimalConformances.cpp

…

NameLookup.cpp

…

NameLookup.h

…

NormalizeRewritePath.cpp

…

PropertyMap.cpp

…

PropertyMap.h

…

PropertyRelations.cpp

…

PropertyUnification.cpp

…

RequirementBuilder.cpp

RequirementMachine: Adding shape abstractions

2025-10-31 17:29:45 +00:00

RequirementLowering.cpp

Reparenting: require statement of inheritance

2026-02-06 13:23:22 -08:00

RequirementLowering.h

Sema: introduce SuppressedAssociatedTypesWithDefaults

2025-12-02 18:00:03 -08:00

RequirementMachine.cpp

RequirementMachine: New way of propagating failure when building rewrite system for protocol

2025-10-04 09:17:46 -04:00

RequirementMachine.h

RequirementMachine: New way of propagating failure when building rewrite system for protocol

2025-10-04 09:17:46 -04:00

RequirementMachineRequests.cpp

Switch DiagnosticEngine::warnUntilLanguageMode and co. to LanguageMode

2026-02-10 16:06:56 +00:00

RewriteContext.cpp

…

RewriteContext.h

…

RewriteLoop.cpp

…

RewriteLoop.h

…

RewriteSystem.cpp

RequirementMachine: Adding shape abstractions

2025-10-31 17:29:45 +00:00

RewriteSystem.h

…

Rule.cpp

…

Rule.h

…

RuleBuilder.cpp

RequirementMachine: New way of propagating failure when building rewrite system for protocol

2025-10-04 09:17:46 -04:00

RuleBuilder.h

RequirementMachine: New way of propagating failure when building rewrite system for protocol

2025-10-04 09:17:46 -04:00

SimplifySubstitutions.cpp

…

Symbol.cpp

…

Symbol.h

…

Term.cpp

RequirementMachine: Adding shape abstractions

2025-10-31 17:29:45 +00:00

Term.h

RequirementMachine: Adding shape abstractions

2025-10-31 17:29:45 +00:00

Trie.h

…

TypeDifference.cpp

…

TypeDifference.h

…