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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

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

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

InterfaceType.cpp

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

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

KnuthBendix.cpp

RequirementMachine: Fix the most embarassing bug of all time

2025-06-17 17:51:26 -04:00

MinimalConformances.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

NameLookup.cpp

…

NameLookup.h

…

NormalizeRewritePath.cpp

…

PropertyMap.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

PropertyMap.h

…

PropertyRelations.cpp

…

PropertyUnification.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

RewriteContext.h

…

RewriteLoop.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

RewriteLoop.h

…

RewriteSystem.cpp

RequirementMachine: Adding shape abstractions

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

RewriteSystem.h

RequirementMachine: Fix the most embarassing bug of all time

2025-06-17 17:51:26 -04:00

Rule.cpp

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

Rule.h

RequirementMachine: Add two more completion termination checks for concrete type requirements

2025-06-17 17:51:25 -04:00

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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

Symbol.cpp

RequirementMachine: Add an assert

2025-06-10 16:49:57 -04:00

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

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

TypeDifference.h

…