Doug Gregor b51ad81bbe [Typed throws] Address comments about inferring Error conformances

2023-10-15 22:59:48 -07:00

..

ConcreteContraction.cpp

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

ConcreteTypeWitness.cpp

RequirementMachine: Don't filter out unavailable Sendable conformance if allowMissing=true

2022-06-22 00:48:59 -04:00

Debug.h

RequirementMachine: Add -debug-requirement-machine=split-concrete-equiv-class flag

2022-09-19 23:50:21 -04:00

Diagnostics.cpp

AST: Replace TypeArrayView<GenericTypeParamType> with ArrayRef<GenericTypeParamType *>

2023-06-29 19:23:44 -04:00

Diagnostics.h

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

GenericSignatureQueries.cpp

RequirementMachine: Better validation in RequirementMachine::getReducedShapeTerm()

2023-07-03 15:41:09 -04:00

Histogram.h

RequirementMachine: Track maximum value stored in the histogram

2021-12-07 15:31:47 -05:00

HomotopyReduction.cpp

RequirementMachine: Fix potential 'pollution' from installing an invalid requirement machine

2023-08-21 23:36:37 -04:00

InterfaceType.cpp

RequirementMachine: Don't allow PackExpansionType to sneak in

2023-09-19 22:34:37 -04:00

KnuthBendix.cpp

Revert "RequirementMachine: Remove completion procedure hacks for old minimal conformances algorithm"

2022-11-01 19:10:47 -04:00

MinimalConformances.cpp

[RequirementMachine] Add a new symbol kind for the shape of a parameter

2022-10-06 20:38:30 -07:00

NameLookup.cpp

[NameLookup] Plumb source location arguments through all name lookup APIs.

2023-06-11 23:09:47 -07: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

AST: Replace TypeArrayView<GenericTypeParamType> with ArrayRef<GenericTypeParamType *>

2023-06-29 19:23:44 -04:00

PropertyMap.h

AST: Replace TypeArrayView<GenericTypeParamType> with ArrayRef<GenericTypeParamType *>

2023-06-29 19:23:44 -04:00

PropertyRelations.cpp

RequirementMachine: Write some comments

2022-03-28 22:16:09 -04:00

PropertyUnification.cpp

RequirementMachine: Correct desugaring of same-type requirements with pack expansion on both sides

2023-07-25 02:47:45 -04:00

RequirementBuilder.cpp

RequirementMachine: Fix warning in noassert build

2023-08-15 13:51:27 -04:00

RequirementLowering.cpp

[Typed throws] Address comments about inferring Error conformances

2023-10-15 22:59:48 -07:00

RequirementLowering.h

[RequirementMachine] Only skip Sendable requirements inferred from preconcurrency

2023-01-19 20:28:50 -08:00

RequirementMachine.cpp

RequirementMachine: Same-type requirements imply same-shape requirements

2023-07-03 15:41:09 -04:00

RequirementMachine.h

RequirementMachine: Same-type requirements imply same-shape requirements

2023-07-03 15:41:09 -04:00

RequirementMachineRequests.cpp

RequirementMachine: Pass SubstFlags::PreservePackExpansionLevel when re-sugaring requirements

2023-09-19 23:11:05 -04:00

RewriteContext.cpp

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

RewriteContext.h

[RequirementMachine] Store the singleton 'Storage' instance for shape

2022-10-07 10:35:49 -07:00

RewriteLoop.cpp

RequirementMachine: Fix some comments

2022-08-11 14:10:01 -04:00

RewriteLoop.h

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

RewriteSystem.cpp

RequirementMachine: Add missing closing brace in debug output

2023-07-03 15:41:09 -04:00

RewriteSystem.h

AST: Replace TypeArrayView<GenericTypeParamType> with ArrayRef<GenericTypeParamType *>

2023-06-29 19:23:44 -04:00

Rule.cpp

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

Rule.h

[NFC] add llvm namespace to Optional and None

2023-06-27 09:03:52 -07:00

RuleBuilder.cpp

RequirementMachine: Same-type requirements imply same-shape requirements

2023-07-03 15:41:09 -04:00

RuleBuilder.h

RequirementMachine: Same-type requirements imply same-shape requirements

2023-07-03 15:41:09 -04:00

SimplifySubstitutions.cpp

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

Symbol.cpp

RequirementMachine: Add missing entry to Symbol::Kinds

2023-08-29 22:44:24 -04:00

Symbol.h

RequirementMachine: Correct concrete type unification with pack expansion on both sides

2023-07-25 02:47:46 -04:00

Term.cpp

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

Term.h

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

Trie.h

[NFC] Reformat all the LLVMs

2023-06-27 09:03:52 -07:00

TypeDifference.cpp

RequirementMachine: Correct concrete type unification with pack expansion on both sides

2023-07-25 02:47:46 -04:00

TypeDifference.h

RequirementMachine: Factor out TypeDifference::getOriginalSubstitution()

2022-02-07 08:20:59 -05:00