]> Cypherpunks.ru repositories - gostls13.git/history - src/go/types/infer.go
go/types, types2: introduce _Alias type node
[gostls13.git] / src / go / types / infer.go
2023-11-09 Robert Griesemergo/types, types2: introduce _Alias type node
2023-08-17 Robert Griesemergo/types, types2: disable interface inference for versi...
2023-08-15 Robert Griesemergo/types, types2: don't verify infer result if no Confi...
2023-06-02 Robert Griesemergo/types, types2: remove version check for more lenient...
2023-06-01 Robert Griesemergo/types, types2: use exact matching when unifying...
2023-05-31 Robert Griesemergo/types, types2: better error message for some inferen...
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-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 Oleksandr Redkogo/types: fix typos in comments
2023-05-19 Robert Griesemercmd/compile: use more lenient type inference for untype...
2023-05-10 Robert Griesemergo/types, types2: explicitly look for nil type argument...
2023-05-10 cui fliterall: fix a lot of comments
2023-05-08 Robert Griesemergo/types, types2: infer minimum default type for untype...
2023-05-05 Robert Griesemergo/types, types2: exclude untyped nil arguments early...
2023-05-04 Robert Griesemergo/types, types2: remove Config.EnableReverseTypeInfere...
2023-05-04 Robert Griesemergo/types, types2: consider generic functions in inferen...
2023-05-04 Robert Griesemergo/types, types2: make Checker.renameTParams work on...
2023-05-03 Robert Griesemergo/types, types2: implement reverse type inference...
2023-05-01 Robert Griesemergo/types, types2: isParameterized must be able to handl...
2023-04-17 Robert Griesemergo/types, types2: factor out type parameter renaming...
2023-04-17 Robert Griesemergo/types, types2: (slightly) refactor tpWalker.isParame...
2023-04-13 Robert Griesemergo/types, types2: factor out inference cycle detector...
2023-04-13 Robert Griesemergo/types, types2: generalize tparamIndex to arbitrary...
2023-03-07 Robert Griesemergo/types, types2: fine-tune inference tracing output...
2023-03-01 Robert Griesemergo/types, types2: add cause parameter to missingMethod...
2023-03-01 Robert Griesemergo/types, types2: consider methods when unifying type...
2023-03-01 Robert Griesemergo/types, types2: better internal comment, added suitab...
2023-03-01 Robert Griesemergo/types, types2: simplify unification with constraints
2023-03-01 Robert Griesemergo/types, types2: move Checker.infer into infer.go...
2023-03-01 Robert Griesemergo/types, types2: remove code for infer1
2023-02-25 Robert Griesemergo/types, types2: fix comment in Checker.renameTParams
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: enable new type inference
2023-02-02 Robert Griesemergo/types, types2: implement simpler type inference...
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: 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-20 Robert Findleygo/types: add a test that generated files match types2
2023-01-20 Robert Griesemergo/types, types2: use go.dev/issue/nnnnn when referring...
2023-01-20 Robert Griesemergo/types: generate infer.go
2023-01-18 Robert Griesemergo/types: factor out type parameter renaming (cleanup)
2023-01-17 Robert Griesemergo/types: use nopos instead of token.NoPos to match...
2023-01-17 Robert Griesemergo/types, types2: do not abort constraint type inferenc...
2022-12-08 Robert Findleygo/types, types2: always rename type parameters during...
2022-12-05 Robert Griesemergo/types, types2: better error message for failing...
2022-11-05 Dan Kortschakall: fix comment typos
2022-10-10 Robert Griesemergo/types: use internal/types/errors instead of local...
2022-09-03 Robert Griesemergo/types, types2: use strings.Builder instead of bytes...
2022-06-24 Matthew Dempsky[dev.unified] all: merge master (5a1c5b8) into dev...
2022-06-22 Robert Griesemergo/types, types2: fix parameter order dependence in...
2022-06-16 Matthew Dempsky[dev.unified] all: merge master (635b124) into dev...
2022-06-06 Robert Findleygo/types, types2: ensure that named types never expand...
2022-06-06 Robert Findleygo/types, types2: store Named instance information...
2022-04-20 Chressie Himpel[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-04-11 Russ Coxall: gofmt main repo
2022-03-29 Nicolas Hillegeer[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-03-24 Robert Findleygo/types, types2: clean up a few typos, and an unused...
2022-03-10 Robert Griesemergo/types, types2: remove incorrect assertion (don't...
2022-03-07 David Chase[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-03-01 Robert Griesemergo/types, types2: correctly consider ~ (tilde) in const...
2022-02-24 Robert Griesemergo/types, types2: implement adjCoreType using TypeParam.is
2022-02-14 Robert Findleygo/types, types2: no need to revert tparam renaming...
2022-02-14 Robert Findleygo/types, types2: avoid infinitely recursive instantiation
2022-02-12 Robert Griesemergo/types, types2: unify core types for unbound type...
2022-02-09 Robert Griesemergo/types, types2: rename structuralType/String to coreT...
2022-02-08 Chressie Himpel[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-02-03 Chressie Himpel[dev.boringcrypto] all: merge master into dev.boringcrypto
2022-02-03 Robert Griesemergo/types, types2: shorter list for 2nd phase of functio...
2022-01-12 Robert Griesemergo/types, types2: make function type inference argument...
2022-01-12 Robert Griesemergo/types, types2: do not run CTI before FTI
2021-12-09 Jason7602cmd/compile: fix type error reported on the wrong line
2021-11-16 Robert Findleygo/types: rename structure to structuralType
2021-11-15 Robert Findleygo/types: assign error codes to new errors for Go 1.18
2021-11-05 Roland Shoemaker[dev.boringcrypto] all: merge master into dev.boringcrypto
2021-11-03 Robert Findleygo/types: adjust printing of type parameter in error
2021-11-02 Robert Findleygo/types: implement singleType and structure (type)
2021-11-02 Robert Findleygo/types: clean up asT converters (step 1 of 2)
2021-11-02 Robert Findleygo/types: clarify is/underIs semantics and implementation
2021-11-01 Robert Griesemergo/types, types2: remove confusing debugging output...
2021-09-29 Robert Griesemergo/types: avoid infinite recursion in unification
2021-09-27 Robert Griesemergo/types, types2: factor out some code, fix/add comment...
2021-09-21 Robert Findleygo/types: remove the report parameter from infer and...
2021-09-20 Katie Hockman[dev.fuzz] all: merge master (af72ddf) into dev.fuzz
2021-09-15 Robert Findleygo/types: instantiate methods when instantiating Named...
2021-09-09 Jay Conrod[dev.fuzz] all: merge master (65f0d24) into dev.fuzz
2021-09-09 Robert Findleygo/types: detect constraint type inference cycles
2021-08-25 Michael Matloob[dev.cmdgo] all: merge master (c2f96e6) into dev.cmdgo
2021-08-23 Robert Findleygo/types: use a TypeList type to hold type arguments
2021-08-23 Robert Findleygo/types: use []*TypeParam rather than []*TypeName...
2021-08-16 Robert Findleygo/types: merge Instantiate and InstantiateLazy
2021-08-16 Roland Shoemaker[dev.boringcrypto] all: merge commit 57c115e1 into...
2021-08-16 Robert Findleygo/types: minor cleanup of writeTParamList
2021-08-16 Robert Findleygo/types: implement type sets with term lists
2021-08-12 Gerrit Code ReviewMerge "all: REVERSE MERGE dev.typeparams (4d3cc84)...
2021-08-12 Matthew Dempskyall: REVERSE MERGE dev.typeparams (4d3cc84) into master
next