Age | Commit message (Expand) | Author |
2024-01-26 | go/types, types2: use existing case-insensitive lookup (remove TODO) | Robert Griesemer |
2023-11-13 | go/types, types2: implement Alias proposal (export API) | Robert Griesemer |
2023-11-09 | go/types, types2: introduce _Alias type node | Robert Griesemer |
2023-08-30 | go/types, types2: use asNamed(t) instead of t.(*Named) type assertions | Robert Griesemer |
2023-08-29 | go/types, types2: remove order dependency in inference involving channels | Robert Griesemer |
2023-08-17 | go/types, types2: disable interface inference for versions before Go 1.21 | Robert Griesemer |
2023-08-17 | Revert "go/types, types2: remove internal constant enableInterfaceInference" | Robert Griesemer |
2023-08-15 | go/types, types2: move emode computation closer to use (cleanup) | Robert Griesemer |
2023-08-15 | go/types, types2: use exact unification when comparing interface methods | Robert Griesemer |
2023-08-01 | go/types, types2: remove internal constant enableInterfaceInference | Robert Griesemer |
2023-07-18 | all: fix typos | Jes Cok |
2023-06-26 | go/types, types2: replace TODO with clarifying comment | Robert Griesemer |
2023-06-26 | go/types, types2: fix interface unification | Robert Griesemer |
2023-06-26 | go/types, types2: more readable inference trace | Robert Griesemer |
2023-06-12 | go/types, types2: use inexact unification when unifying against core types | Robert Griesemer |
2023-06-06 | go/types, types2: handle named and literal interfaces in interface unification | Robert Griesemer |
2023-06-02 | go/types, types2: report inference instead of assignment failure when types c... | Robert Griesemer |
2023-05-30 | go/types, types2: use exact unification for component types | Robert Griesemer |
2023-05-30 | go/types, types2: add unifyMode to unifier, pass it through | Robert Griesemer |
2023-05-25 | go/types, types2: don't infer type argument for unused parameter in interfaces | Robert Griesemer |
2023-05-23 | go/types, types2: enable interface inference | Robert Griesemer |
2023-05-23 | go/types, types2: consider shared methods when unifying against interfaces | Robert Griesemer |
2023-05-23 | Revert "go/types, types2: consider shared methods when unifying against inter... | Robert Griesemer |
2023-05-23 | go/types, types2: consider shared methods when unifying against interfaces | Robert Griesemer |
2023-05-19 | go/types, types2: fix comments in unify.go | Robert Griesemer |
2023-05-10 | all: fix a lot of comments | cui fliter |
2023-04-21 | go/types, types2: abort type unification if no progress is made | Robert Griesemer |
2023-03-09 | go/types, types2: clean up defined type identity check/unification | Robert Griesemer |
2023-03-01 | go/types, types2: handle unbound type parameters in switch (cleanup) | Robert Griesemer |
2023-03-01 | go/types, types2: simplify unification when x == y (pointer identity) | Robert Griesemer |
2023-03-01 | go/types, types2: use new type inference algorithm exclusively | Robert Griesemer |
2023-02-09 | go/types, types2: remove need to store type parameter list in unifier | Robert Griesemer |
2023-02-09 | go/types, types2: simplify unify.inferred signature | Robert Griesemer |
2023-02-06 | go/types, types2: eliminate need to sort arguments for type inference | Robert Griesemer |
2023-02-02 | go/types, types2: simplify symmetric code | Robert Griesemer |
2023-02-02 | go/types, types2: avoid recursive invocation when unifying underlying types | Robert Griesemer |
2023-02-02 | go/types, types2: remove (internal) exactUnification flag | Robert Griesemer |
2023-02-01 | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer |
2023-02-01 | go/types, types2: unifier constructor to accept type parameters and arguments | Robert Griesemer |
2023-02-01 | go/types, types2: further simplify unification | Robert Griesemer |
2023-02-01 | go/types, types2: replace unifier type parameter list with a map | Robert Griesemer |
2023-01-27 | go/types, types2: move tparamIndex from unify.go into infer.go | Robert Griesemer |
2023-01-27 | go/types, types2: simplify unifier | Robert Griesemer |
2023-01-26 | go/types, types2: remove misleading example from comment | Robert Griesemer |
2023-01-20 | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer |
2022-06-06 | go/types, types2: store Named instance information separately | Robert Findley |
2022-03-21 | go/types, types2: re-enable panic if unification stack-overflows | Robert Griesemer |
2022-03-01 | go/types, types2: clarify a comment and add an extra test | Robert Griesemer |
2022-03-01 | go/types, types2: correctly consider ~ (tilde) in constraint type inference | Robert Griesemer |
2022-02-13 | go/types, types2: add additional tests using core types during unification | Robert Griesemer |