Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2015

• Allow inout closure param type to be inferred from context or usage.

  Show description for 49e5130
  cwillmor

  committed
  49e5130

  Copy full SHA for 49e5130

Commits on Sep 15, 2015

• Don't favor exploring potential bindings of type variable if those

  Show description for e274f7b
  cwillmor

  committed
  e274f7b

  Copy full SHA for e274f7b

Commits on Aug 18, 2015

• remove ConstraintKind::Conjunction, it is unused and unnecessary - after

  Show description for f6ce68a
  lattner

  committed
  f6ce68a

  Copy full SHA for f6ce68a

Commits on Aug 11, 2015

• Reapply r31105, with some fixes to invalid unconstrained generics. These fixes correct

  Show description for a899872
  lattner

  committed
  a899872

  Copy full SHA for a899872

Commits on Aug 10, 2015

• revert r31105, it causes some regressions on validation tests.

  Show description for 2204dbc
  lattner

  committed
  2204dbc

  Copy full SHA for 2204dbc

• Introduce a new UnresolvedType to the type system, and have CSDiags start to use it

  Show description for de79b60
  lattner

  committed
  de79b60

  Copy full SHA for de79b60

Commits on Aug 5, 2015

• add a new ContinueAfterFailures default argument to ConstraintSystem::simplify,

  Show description for 4a5be36
  lattner

  committed
  4a5be36

  Copy full SHA for 4a5be36

Commits on Aug 1, 2015

• Handle diagnosing unbound archetypes in the outer level ambiguity diagnostics

  Show description for 9e7f602
  lattner

  committed
  9e7f602

  Copy full SHA for 9e7f602

Commits on Jul 30, 2015

• Revert r30787, r30789, r30795, r30796, r30797

  Show description for c1a2955
  benlangmuir

  committed
  c1a2955

  Copy full SHA for c1a2955

• Fix places in the constraint solver where it would give up once a single

  Show description for 4fb19ad
  lattner

  committed
  4fb19ad

  Copy full SHA for 4fb19ad

Commits on Jul 22, 2015

• Instead of assuming that the return type of a closure

  Show description for 50a667b
  rjmccall

  committed
  50a667b

  Copy full SHA for 50a667b

Commits on Jul 20, 2015

• Introduce a new TypeCheckExprFlags::AllowUnresolvedTypeVariables option,

  Show description for ab487a1
  lattner

  committed
  ab487a1

  Copy full SHA for ab487a1

Commits on Jul 13, 2015

• Split ConstraintSystem::solve() into a top-level and a recursive entrypoint.

  Show description for d7ccd18
  DougGregor

  committed
  d7ccd18

  Copy full SHA for d7ccd18

• introduce a new ConstraintSystem::solveSingle helper function to simplify some

  Show description for 85be767
  lattner

  committed
  85be767

  Copy full SHA for 85be767

Commits on Apr 29, 2015

• Replace bool parameter to TypeChecker::conformsToProtocol() with an option set.

  Show description for a30ca2a
  DougGregor

  committed
  a30ca2a

  Copy full SHA for a30ca2a

Commits on Apr 28, 2015

• random tidying up, rename the raw_ostream form of

  Show description for 976620b
  lattner

  committed
  976620b

  Copy full SHA for 976620b

Commits on Apr 4, 2015

• Support the use of members of protocol extensions on existential types.

  Show description for f4d98da
  DougGregor

  committed
  f4d98da

  Copy full SHA for f4d98da

Commits on Apr 2, 2015

• standardize naming of tuples and tuple patterns on "elements".

  Show description for 79ed57f
  lattner

  committed
  79ed57f

  Copy full SHA for 79ed57f

Commits on Feb 18, 2015

• Explicitly track the mapping from dependent types to their opened type variables.

  Show description for 3805e18
  DougGregor

  committed
  3805e18

  Copy full SHA for 3805e18

Commits on Jan 18, 2015

• <rdar://problem/18311362> TLF: Eliminate implicit bridging conversions

  Show description for 68dd563
  cwillmor

  committed
  68dd563

  Copy full SHA for 68dd563

Commits on Dec 5, 2014

• Looking up conformances for a type isn't always a public use of the type.

  Show description for 2b0fbcb
  jrose-apple

  committed
  2b0fbcb

  Copy full SHA for 2b0fbcb

Commits on Nov 19, 2014

• Update for upstream LLVM changes

  Show description for e9e1666
  benlangmuir

  committed
  e9e1666

  Copy full SHA for e9e1666

Commits on Nov 6, 2014

• Use llvm_unreachable(...) instead of assert(false && ...).

  Show description for bd1d9f3
  cwillmor

  committed
  bd1d9f3

  Copy full SHA for bd1d9f3

• If $T1 <a @autoclosure () -> T, try binding $T1 to T.

  Show description for c021b7a
  cwillmor

  committed
  c021b7a

  Copy full SHA for c021b7a

Commits on Oct 2, 2014

• Optional: Replace uses of Nothing with None.

  Show description for 042569a
  jrose-apple

  committed
  042569a

  Copy full SHA for 042569a

Commits on Oct 1, 2014

• Solver: eliminate construction constraints. We never need to retain them.

  Show description for 8cca0ae
  DougGregor

  committed
  8cca0ae

  Copy full SHA for 8cca0ae

Commits on Sep 18, 2014

• Solver: try binding collection literals before non-collection literals.

  Show description for 45953c5
  DougGregor

  committed
  45953c5

  Copy full SHA for 45953c5

Commits on Sep 12, 2014

• Diagnose free type variables that correspond to generic parameters.

  Show description for e002261
  DougGregor

  committed
  e002261

  Copy full SHA for e002261

• Thread constraint locators through opening of generic types.

  Show description for 43b6ed3
  DougGregor

  committed
  43b6ed3

  Copy full SHA for 43b6ed3

• Solver: use literal constraints to eagerly look through optional types.

  Show description for f27c8d1
  DougGregor

  committed
  f27c8d1

  Copy full SHA for f27c8d1

Commits on Sep 11, 2014

• Solver: don't try a default literal type binding when we have contextual type information.

  Show description for c3ca147
  DougGregor

  committed
  c3ca147

  Copy full SHA for c3ca147

Commits on Aug 25, 2014

• Don't allow bridging conversions when we're processing favored constraints.

  Show description for 16d8294
  DougGregor

  committed
  16d8294

  Copy full SHA for 16d8294

Commits on Aug 12, 2014

• Fix computation of “favored” constraints for binary expressions <rdar://problem/17943223>.

  Show description for 916e9a7
  DougGregor

  committed
  916e9a7

  Copy full SHA for 916e9a7

Commits on Aug 4, 2014

• Solver: if we fail to type-check with an implicitly unwrapped optional type, unwrap it.

  Show description for 6cac206
  DougGregor

  committed
  6cac206

  Copy full SHA for 6cac206

Commits on Aug 3, 2014

• Mitigate exponential solver behavior (rdar://problem/17162690)

  Show description for 71cf758
  jopamer

  committed
  71cf758

  Copy full SHA for 71cf758

Pagination

Previous

Next