aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/subst.go
AgeCommit message (Expand)Author
2021-08-26cmd/compile/internal/types2: implement TypeList.String (debugging support)Robert Griesemer
2021-08-25cmd/compile: always accept 1.18 syntax but complain if not 1.18Robert Griesemer
2021-08-24cmd/compile/internal/types2: use a TypeList type to hold type argumentsRobert Griesemer
2021-08-24cmd/compile/internal/types2: use []*TypeParam rather than []*TypeName for typ...Robert Griesemer
2021-08-19cmd/compile/internal/types2: return an error from InstantiateRobert Findley
2021-08-18cmd/compile/internal/types2: no need to validate substituted instancesRobert Findley
2021-08-14cmd/compile/internal/types2: remove targs from substMapRobert Findley
2021-08-14cmd/compile/internal/types2: merge Instantiate and InstantiateLazyRob Findley
2021-08-06[dev.typeparams] cmd/compile: change types2.Union API to accept a list of TermsRobert Griesemer
2021-08-05[dev.typeparams] cmd/compile/internal/types2: implement type sets with term l...Robert Griesemer
2021-07-29[dev.typeparams] cmd/compile/internal/types2: use the TParams API consistentlyRobert Griesemer
2021-07-29[dev.typeparams] cmd/compile: set type parameter indices when they are boundRobert Griesemer
2021-07-29[dev.typeparams] cmd/compile/internal/types2: use type terms to represent unionsRobert Griesemer
2021-07-28[dev.typeparams] cmd/compile/internal/types2: merge instance and Named to eli...Rob Findley
2021-07-13[dev.typeparams] cmd/compile/internal/types2: move instantiation code to inst...Robert Griesemer
2021-07-13[dev.typeparams] cmd/compile/internal/types2: replace types2.Instantiate with...Robert Griesemer
2021-07-09[dev.typeparams] cmd/compile/internal/types2: recursive substitution must ter...Robert Griesemer
2021-07-09[dev.typeparams] cmd/compile/internal/types2: use scope numbers to identify l...Robert Griesemer
2021-07-07[dev.typeparams] cmd/compile: fix bug with types2.Instantiate with interface ...Dan Scales
2021-06-30[dev.typeparams] cmd/compile/internal/types2: move embedding positions from C...Robert Griesemer
2021-06-30[dev.typeparams] cmd/compile/internal/types2: introduce type set abstraction ...Robert Griesemer
2021-06-16[dev.typeparams] cmd/compile/internal/types2: support local defined typesMatthew Dempsky
2021-06-04[dev.typeparams] cmd/compile: lazy import resolution for types2Matthew Dempsky
2021-06-02[dev.typeparams] cmd/compile/internal/types2: eliminate need for unpack and a...Robert Griesemer
2021-06-02[dev.typeparams] cmd/compile/internal/types2: clean up type set/union interse...Robert Griesemer
2021-06-02[dev.typeparams] cmd/compile/internal/types2: replace Sum type with Union typeRobert Griesemer
2021-05-24[dev.typeparams] cmd/compile/internal/types2: factor out constraint satisfact...Robert Griesemer
2021-05-24[dev.typeparams] cmd/compile/internal/types2: accept embedded interface elementsRobert Griesemer
2021-05-05cmd/compile/internal/types2: implement types2.InstantiateRobert Griesemer
2021-04-14cmd/compile/internal/types2: add Named.SetTParams and Named.Orig methodsRobert Griesemer
2021-02-18[dev.typeparams] cmd/compile/internal/types2: remove Type.Under method in fav...Robert Griesemer
2021-02-18[dev.typeparams] cmd/compile/internal/types2: replace Named, TypeParam method...Robert Griesemer
2020-12-11[dev.typeparams] cmd/compile/internal/types2: bring over subst.go changes fro...Robert Griesemer
2020-12-01[dev.typeparams] cmd/compile/internal/types2: remove support for type paramet...Robert Griesemer
2020-10-21[dev.typeparams] cmd/compile/internal/importer, types2: initial check-in of t...Robert Griesemer