Filip Sakellariou 08b0c3bc7b Rename NLFlag to NLFlags to match other OptionSet flag types.

2026-06-27 12:38:02 +02:00

..

ApplyInverses.cpp

Sema: infer inverses in opaque return types

2026-05-04 14:49:34 -07: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

Rename NLFlag to NLFlags to match other OptionSet flag types.

2026-06-27 12:38:02 +02:00

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

Sema: infer inverses in opaque return types

2026-05-04 14:49:34 -07:00

RequirementLowering.h

NFC: refactor the applyInverses bool

2026-04-29 16:56:00 -07: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

Sema: infer inverses in opaque return types

2026-05-04 14:49:34 -07: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

…