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

RequirementMachine: Remove -warn-redundant-requirements flag

2024-02-02 14:57:19 -05:00

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

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

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

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

PropertyMap.cpp

Adopt ABORT throughout the compiler

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

PropertyMap.h

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

PropertyRelations.cpp

Remove Value requirement Add GenericTypeParamKind

2024-09-04 15:13:43 -07:00

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

RequirementMachine: Small cleanup

2024-09-14 23:33:11 -04:00

RewriteLoop.cpp

Adopt ABORT throughout the compiler

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

RewriteLoop.h

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

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

RequirementMachine: Skip protocol type aliases that contain unbound dependent member types

2025-03-26 10:55:23 -04:00

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

RequirementMachine: Convert to new assertions

2024-06-22 08:53:22 -04:00

TypeDifference.cpp

Adopt ABORT throughout the compiler

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

TypeDifference.h

Migrate llvm::Optional to std::optional

2024-02-21 11:20:06 -08:00