]> Cypherpunks.ru repositories - gostls13.git/history - src/cmd/compile/internal/types2/unify.go
go/types, types2: implement Alias proposal (export API)
[gostls13.git] / src / cmd / compile / internal / types2 / unify.go
2023-11-13 Robert Griesemergo/types, types2: implement Alias proposal (export...
2023-11-09 Robert Griesemergo/types, types2: introduce _Alias type node
2023-08-30 Robert Griesemergo/types, types2: use asNamed(t) instead of t.(*Named...
2023-08-29 Robert Griesemergo/types, types2: remove order dependency in inference...
2023-08-17 Robert Griesemergo/types, types2: disable interface inference for versi...
2023-08-17 Robert GriesemerRevert "go/types, types2: remove internal constant...
2023-08-15 Robert Griesemergo/types, types2: move emode computation closer to...
2023-08-15 Robert Griesemergo/types, types2: use exact unification when comparing...
2023-08-01 Robert Griesemergo/types, types2: remove internal constant enableInterf...
2023-07-18 Jes Cokall: fix typos
2023-06-26 Robert Griesemergo/types, types2: replace TODO with clarifying comment
2023-06-26 Robert Griesemergo/types, types2: fix interface unification
2023-06-26 Robert Griesemergo/types, types2: more readable inference trace
2023-06-12 Robert Griesemergo/types, types2: use inexact unification when unifying...
2023-06-06 Robert Griesemergo/types, types2: handle named and literal interfaces...
2023-06-02 Robert Griesemergo/types, types2: report inference instead of assignmen...
2023-05-30 Robert Griesemergo/types, types2: use exact unification for component...
2023-05-30 Robert Griesemergo/types, types2: add unifyMode to unifier, pass it...
2023-05-25 Robert Griesemergo/types, types2: don't infer type argument for unused...
2023-05-23 Robert Griesemergo/types, types2: enable interface inference
2023-05-23 Robert Griesemergo/types, types2: consider shared methods when unifying...
2023-05-23 Robert GriesemerRevert "go/types, types2: consider shared methods when...
2023-05-23 Robert Griesemergo/types, types2: consider shared methods when unifying...
2023-05-19 Robert Griesemergo/types, types2: fix comments in unify.go
2023-05-10 cui fliterall: fix a lot of comments
2023-04-21 Robert Griesemergo/types, types2: abort type unification if no progress...
2023-03-09 Robert Griesemergo/types, types2: clean up defined type identity check...
2023-03-01 Robert Griesemergo/types, types2: handle unbound type parameters in...
2023-03-01 Robert Griesemergo/types, types2: simplify unification when x == y...
2023-03-01 Robert Griesemergo/types, types2: use new type inference algorithm...
2023-02-09 Robert Griesemergo/types, types2: remove need to store type parameter...
2023-02-09 Robert Griesemergo/types, types2: simplify unify.inferred signature
2023-02-06 Robert Griesemergo/types, types2: eliminate need to sort arguments...
2023-02-02 Robert Griesemergo/types, types2: simplify symmetric code
2023-02-02 Robert Griesemergo/types, types2: avoid recursive invocation when unify...
2023-02-02 Robert Griesemergo/types, types2: remove (internal) exactUnification...
2023-02-01 Robert Griesemergo/types, types2: use go.dev/issue/nnnnn when referring...
2023-02-01 Robert Griesemergo/types, types2: unifier constructor to accept type...
2023-02-01 Robert Griesemergo/types, types2: further simplify unification
2023-02-01 Robert Griesemergo/types, types2: replace unifier type parameter list...
2023-01-27 Robert Griesemergo/types, types2: move tparamIndex from unify.go into...
2023-01-27 Robert Griesemergo/types, types2: simplify unifier
2023-01-26 Robert Griesemergo/types, types2: remove misleading example from comment
2023-01-20 Robert Griesemergo/types, types2: use go.dev/issue/nnnnn when referring...
2022-06-16 Matthew Dempsky[dev.unified] all: merge master (635b124) into dev...
2022-06-06 Robert Findleygo/types, types2: store Named instance information...
2022-03-29 Nicolas Hillegeer[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-03-21 Robert Griesemergo/types, types2: re-enable panic if unification stack...
2022-03-07 David Chase[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-03-01 Robert Griesemergo/types, types2: clarify a comment and add an extra...
2022-03-01 Robert Griesemergo/types, types2: correctly consider ~ (tilde) in const...
2022-02-13 Robert Griesemergo/types, types2: add additional tests using core types...
2022-02-12 Robert Griesemergo/types, types2: unify core types for unbound type...
2022-02-03 Chressie Himpel[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-02-02 Robert Findleygo/types, types2: add a const to control recursion...
2022-01-31 Robert Griesemergo/types, types2: fix unification code for defined...
2022-01-31 Robert Griesemergo/types, types2: fix implements and identical predicates
2022-01-12 Robert Griesemergo/types, types2: prevent unification from recursing...
2021-11-17 Robert Findleygo/types: check for non-negative index in tparamIndex
2021-11-17 Robert Griesemercmd/compile/internal/types2: when type hashing, use...
2021-11-13 Robert Griesemercmd/compile/internal/types2: remove asNamed
2021-11-05 Roland Shoemaker[dev.boringcrypto] all: merge master into dev.boringcrypto
2021-10-27 Robert Griesemercmd/compile/internal/types2: rename isNamed predicate...
2021-10-08 Robert Griesemercmd/compile/internal/types2: partial revert of incorrec...
2021-09-28 Robert Griesemercmd/compile/internal/types2: avoid infinite recursion...
2021-09-27 Robert Griesemergo/types, types2: factor out some code, fix/add comment...
2021-09-20 Katie Hockman[dev.fuzz] all: merge master (af72ddf) into dev.fuzz
2021-09-15 Robert Griesemercmd/compile/internal/types2: remove some unnecessary...
2021-09-09 Jay Conrod[dev.fuzz] all: merge master (65f0d24) into dev.fuzz
2021-08-31 Robert Findleygo/types: address some TODOs (cleanup)
2021-08-30 Robert Griesemercmd/compile/internal/types2: use a typeWriter to write...
2021-08-26 Michael Matloob[dev.cmdgo] all: merge master (5e6a7e9) into dev.cmdgo
2021-08-26 Robert Griesemercmd/compile/internal/types2: address some TODOs (cleanup)
2021-08-25 Michael Matloob[dev.cmdgo] all: merge master (c2f96e6) into dev.cmdgo
2021-08-24 Robert Griesemercmd/compile/internal/types2: use a TypeList type to...
2021-08-24 Robert Griesemercmd/compile/internal/types2: use []*TypeParam rather...
2021-08-16 Roland Shoemaker[dev.boringcrypto] all: merge commit 57c115e1 into...
2021-08-14 Rob Findleycmd/compile/internal/types2: define Identical for instances
2021-08-14 Rob Findleycmd/compile/internal/types2: merge Instantiate and...
2021-08-12 Gerrit Code ReviewMerge "all: REVERSE MERGE dev.typeparams (4d3cc84)...
2021-08-12 Matthew Dempskyall: REVERSE MERGE dev.typeparams (4d3cc84) into master
2021-08-12 Matthew Dempsky[dev.typeparams] all: merge master (46fd547) into dev...
2021-08-10 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: expand...
2021-08-05 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: implement...
2021-08-02 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: move...
2021-07-26 Matthew Dempsky[dev.typeparams] all: merge master (ecaa681) into dev...
2021-07-22 Matthew Dempsky[dev.typeparams] all: merge master (798ec73) into dev...
2021-07-20 Matthew Dempsky[dev.typeparams] all: merge master (c8f4e61) into dev...
2021-07-14 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: interface...
2021-07-08 Matthew Dempsky[dev.typeparams] all: merge master (296ddf2) into dev...
2021-07-07 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: disallow...
2021-07-06 Jay Conrod[dev.cmdgo] all: merge master (912f075) into dev.cmdgo
2021-07-02 Matthew Dempsky[dev.typeparams] all: merge master (912f075) into dev...
2021-07-01 Matthew Dempsky[dev.typeparams] all: merge master (4711bf3) into dev...
2021-06-30 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: remove...
2021-06-30 Robert Griesemer[dev.typeparams] cmd/compile/internal/types2: introduce...
2021-06-25 Cuong Manh Le[dev.typeparams] all: merge master (37f9a8f) into dev...
2021-06-21 Cuong Manh Le[dev.typeparams] all: merge master (16e82be) into dev...
2021-06-16 Cuong Manh Le[dev.typeparams] all: merge master (785a8f6) into dev...
2021-06-14 Matthew Dempsky[dev.typeparams] all: merge master (fdab5be) into dev...
next