Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 21, 2022

• go/types, types2: re-enable panic if unification stack-overflows

  Show description for efbff6e
  griesemer

  committed
  efbff6e

  Copy full SHA for efbff6e

Commits on Mar 1, 2022

• go/types, types2: clarify a comment and add an extra test

  Show description for 6da16b6
  griesemer

  committed
  6da16b6

  Copy full SHA for 6da16b6

• go/types, types2: correctly consider ~ (tilde) in constraint type inference

  Show description for 0807986
  griesemer

  committed
  0807986

  Copy full SHA for 0807986

Commits on Feb 13, 2022

• go/types, types2: add additional tests using core types during unification

  Show description for 5bd7348
  griesemer

  committed
  5bd7348

  Copy full SHA for 5bd7348

Commits on Feb 12, 2022

• go/types, types2: unify core types for unbound type parameters

  Show description for f03ab0e
  griesemer

  committed
  f03ab0e

  Copy full SHA for f03ab0e

Commits on Feb 2, 2022

• go/types, types2: add a const to control recursion panics in unification

  Show description for 77eff30
  findleyr

  committed
  77eff30

  Copy full SHA for 77eff30

Commits on Jan 31, 2022

• go/types, types2: fix unification code for defined types

  Show description for eab9a77
  griesemer

  committed
  eab9a77

  Copy full SHA for eab9a77

• go/types, types2: fix implements and identical predicates

  Show description for 360e1b8
  griesemer

  committed
  360e1b8

  Copy full SHA for 360e1b8

Commits on Jan 12, 2022

• go/types, types2: prevent unification from recursing endlessly

  Show description for deb4580
  griesemer

  committed
  deb4580

  Copy full SHA for deb4580

Commits on Nov 18, 2021

• go/types: remove asNamed

  Show description for 9115a7b
  findleyr

  committed
  9115a7b

  Copy full SHA for 9115a7b

Commits on Nov 17, 2021

• go/types: check for non-negative index in tparamIndex

  Show description for 0981724
  findleyr

  committed
  0981724

  Copy full SHA for 0981724

Commits on Nov 2, 2021

• go/types: rename isNamed predicate to hasName

  Show description for 60fd3ed
  findleyr

  committed
  60fd3ed

  Copy full SHA for 60fd3ed

Commits on Oct 8, 2021

• go/types: partial revert of incorrect unification "fix"

  Show description for 78d749f
  griesemer

  committed
  78d749f

  Copy full SHA for 78d749f

Commits on Sep 29, 2021

• go/types: avoid infinite recursion in unification

  Show description for 3f224bb
  griesemer

  committed
  3f224bb

  Copy full SHA for 3f224bb

Commits on Sep 27, 2021

• go/types, types2: factor out some code, fix/add comments (cleanups)

  Show description for d4007ae
  griesemer

  committed
  d4007ae

  Copy full SHA for d4007ae

Commits on Sep 12, 2021

• go/types: remove some unnecessary loading/expansion of Named types

  Show description for ad97d20
  findleyr

  committed
  ad97d20

  Copy full SHA for ad97d20

Commits on Aug 31, 2021

• go/types: use a typeWriter to write types (cleanup)

  Show description for 2d98a4b
  findleyr

  committed
  2d98a4b

  Copy full SHA for 2d98a4b

Commits on Aug 23, 2021

• go/types: use a TypeList type to hold type arguments

  Show description for 7a6d64f
  findleyr

  committed
  7a6d64f

  Copy full SHA for 7a6d64f

• go/types: use []*TypeParam rather than []*TypeName type param lists

  Show description for 2438660
  findleyr

  committed
  2438660

  Copy full SHA for 2438660

Commits on Aug 16, 2021

• go/types: define Identical for instances

  Show description for 56a919f
  findleyr

  committed
  56a919f

  Copy full SHA for 56a919f

• go/types: merge Instantiate and InstantiateLazy

  Show description for ff36d11
  findleyr

  committed
  ff36d11

  Copy full SHA for ff36d11

• go/types: expand is only required for *Named types

  Show description for aab1d1f
  findleyr

  committed
  aab1d1f

  Copy full SHA for aab1d1f

• go/types: implement type sets with term lists

  Show description for d043c8e
  findleyr

  committed
  d043c8e

  Copy full SHA for d043c8e

Commits on Aug 4, 2021

• [dev.typeparams] go/types: move instance.go contents into named.go (cleanup)

  Show description for d27a889
  findleyr

  committed
  d27a889

  Copy full SHA for d27a889

Commits on Jul 19, 2021

• [dev.typeparams] go/types: interface identity must consider full type set

  Show description for 62f6f13
  findleyr

  committed
  62f6f13

  Copy full SHA for 62f6f13

Commits on Jul 17, 2021

• [dev.typeparams] go/types: disallow "free" type parameter as RHS of a type declaration

  Show description for c4cd76f
  findleyr

  committed
  c4cd76f

  Copy full SHA for c4cd76f

Commits on Jul 16, 2021

• [dev.typeparams] go/types: remove unused *Checker arguments (cleanup)

  Show description for b98b8b9
  findleyr

  committed
  b98b8b9

  Copy full SHA for b98b8b9

• [dev.typeparams] go/types: remove typeparams wrappers and aliases

  Show description for fce6290
  findleyr

  committed
  fce6290

  Copy full SHA for fce6290

• [dev.typeparams] go/types: introduce type set abstraction for interfaces

  Show description for 24f9eb2
  findleyr

  committed
  24f9eb2

  Copy full SHA for 24f9eb2

Commits on Jun 17, 2021

• [dev.typeparams] go/types: replace Sum type with Union type

  Show description for c7a4605
  findleyr

  committed
  c7a4605

  Copy full SHA for c7a4605

• [dev.typeparams] go/types: accept embedded interface elements

  Show description for e7451f6
  findleyr

  committed
  e7451f6

  Copy full SHA for e7451f6

Commits on Apr 28, 2021

• go/types: fix type inference

  Show description for 414af50
  findleyr

  committed
  414af50

  Copy full SHA for 414af50

Commits on Mar 2, 2021

• go/parser,go/types: hide API changes related to type parameters

  Show description for a6eeb4a
  findleyr

  committed
  a6eeb4a

  Copy full SHA for a6eeb4a

Commits on Dec 15, 2020

• [dev.typeparams] go/types: import unify.go and infer.go from dev.go2go

  Show description for 9699929
  findleyr

  committed
  9699929

  Copy full SHA for 9699929

Loading