Commits

Breadcrumbs

History for

on47607f6

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 21, 2022

• use new `llvm::Optional` API

  Show description for ab1b343
  eeckstein

  committed
  ab1b343

  Copy full SHA for ab1b343

Commits on Oct 10, 2022

• [AST] Replace the "type sequence" terminology with "parameter pack".

  hborla

  committed
  c4b9461

  Copy full SHA for c4b9461

Commits on Oct 7, 2022

• [Requirement] Rename RequirementKind::SameCount to SameShape.

  hborla

  committed
  38a2c82

  Copy full SHA for 38a2c82

Commits on Aug 23, 2022

• AST: Introduce RequirementKind::SameCount

  slavapestov

  committed
  5c32f21

  Copy full SHA for 5c32f21

Commits on Aug 9, 2022

• AST: Rename 'canonical wrt. generic signature' to 'reduced'

  Show description for 9d96ed9
  slavapestov

  committed
  9d96ed9

  Copy full SHA for 9d96ed9

Commits on Jun 29, 2022

• Sema: Check conditional requirements in inferTypeWitnessesViaValueWitnesses()

  Show description for 4473363
  slavapestov

  committed
  4473363

  Copy full SHA for 4473363

Commits on May 27, 2022

• Add experimental feature for type witness system inference

  DougGregor

  committed
  8da6cae

  Copy full SHA for 8da6cae

Commits on Apr 12, 2022

• [Sema] TypeCheckProtocolInference: using trailingWhereClause to get self bounds in source file.

  hank121314

  committed
  1dabc67

  Copy full SHA for 1dabc67

Commits on Apr 11, 2022

• [Sema] TypeCheckProtoclInference: Using generic signature to check conformance instead of trailingWhereClause

  hank121314

  committed
  ad00118

  Copy full SHA for ad00118

Commits on Apr 1, 2022

• [Distributed] ID synthesis must be eager, or we run into issues in real projects

  ktoso

  committed
  c889513

  Copy full SHA for c889513

Commits on Mar 28, 2022

• [NFC] Supplant RequirementCheckResult with CheckGenericArgumentsResult::Kind

  AnthonyLatsis

  committed
  4bbad02

  Copy full SHA for 4bbad02

• [NFC] TypeChecker: Use the non-diagnosing 'checkGenericArguments' in more places

  AnthonyLatsis

  committed
  0b3ac2b

  Copy full SHA for 0b3ac2b

Commits on Mar 25, 2022

• TypeWitnessSystem: Disable by default

  AnthonyLatsis

  committed
  38e48ac

  Copy full SHA for 38e48ac

• [NFC] TypeCheckProtocol: 'AbstractTypeWitnessKind' is no longer useful

  AnthonyLatsis

  committed
  b83137c

  Copy full SHA for b83137c

• Revert "AssociatedTypeInference: Delete old code for computing abstract type witnesses"

  Show description for 26943c5
  AnthonyLatsis

  committed
  26943c5

  Copy full SHA for 26943c5

Commits on Feb 15, 2022

• AssociatedTypeInference: Properly substitute into tentative type witnesses in inferAbstractTypeWitnesses()

  Show description for 2ebb123
  AnthonyLatsis

  committed
  2ebb123

  Copy full SHA for 2ebb123

• AssociatedTypeInference: Delete old code for computing abstract type witnesses

  AnthonyLatsis

  committed
  98567e8

  Copy full SHA for 98567e8

• TypeWitnessSystem: Handle ambiguities

  Show description for 789f90d
  AnthonyLatsis

  committed
  789f90d

  Copy full SHA for 789f90d

• TypeWitnessSystem: Add an 'IsAmbiguous' flag to EquivalenceClass

  AnthonyLatsis

  committed
  20e3464

  Copy full SHA for 20e3464

• AssociatedTypeInference: Add -dump-type-witness-systems flag to enable debug output

  AnthonyLatsis

  committed
  ceb123b

  Copy full SHA for ceb123b

• AssociatedTypeInference: Refactor inferAbstractTypeWitnesses() to use the type witness system

  AnthonyLatsis

  committed
  a40aa11

  Copy full SHA for a40aa11

• AssociatedTypeInference: Add TypeWitnessSystem-oriented version of 'computeAbstractTypeWitness'

  AnthonyLatsis

  committed
  8868d76

  Copy full SHA for 8868d76

• AssociatedTypeInference: Draft up TypeWitnessSystem

  AnthonyLatsis

  committed
  8f6a2df

  Copy full SHA for 8f6a2df

• AssociatedTypeInference: Rename 'completeSolution' to 'inferAbstractTypeWitnesses'

  AnthonyLatsis

  committed
  cb01397

  Copy full SHA for cb01397

Commits on Feb 13, 2022

• AST: Generalize ProtocolDecl::getRequirementSignature() to a new RequirementSignature type

  Show description for a1c03db
  slavapestov

  committed
  a1c03db

  Copy full SHA for a1c03db

Commits on Jan 25, 2022

• Allow @Sendable contravariance in witness params

  Show description for 602fb3f
  beccadax

  committed
  602fb3f

  Copy full SHA for 602fb3f

Commits on Dec 8, 2021

• RequirementMachine: Another cycle-breaking hack for associated type inference

  slavapestov

  committed
  044611d

  Copy full SHA for 044611d

Commits on Nov 19, 2021

• Sema: Pass the correct substitutions to 'checkGenericArguments' instead of mapping into context in place

  AnthonyLatsis

  committed
  588603f

  Copy full SHA for 588603f

Commits on Nov 10, 2021

• Merge pull request #40108 from AnthonyLatsis/sr15460

  Show description for ce77849
  slavapestov

  authored
  ce77849

  Copy full SHA for ce77849

Commits on Nov 9, 2021

• AssociatedTypeInference: Fix regression introduced in 1cf9622

  AnthonyLatsis

  committed
  3282b86

  Copy full SHA for 3282b86

• Merge pull request #40088 from DougGregor/async-witness-matching-resolution

  DougGregor

  authored
  546f22a

  Copy full SHA for 546f22a

• Prefer witnesses with no difference effects to ones that have fewer effects.

  Show description for 293e316
  DougGregor

  committed
  293e316

  Copy full SHA for 293e316

Commits on Nov 8, 2021

• Plumb the "Is Type Sequence" Bit Through the Surface AST

  CodaFi

  committed
  22405ce

  Copy full SHA for 22405ce

Commits on Oct 27, 2021

• Merge pull request #39937 from hborla/opaque-type-fixit

  Show description for a9c2055
  hborla

  authored
  a9c2055

  Copy full SHA for a9c2055

• [Diagnostics] Add the opaque type fix-it for failed associated type

  Show description for ba2187a
  hborla

  committed
  ba2187a

  Copy full SHA for ba2187a

Pagination

Previous

Next