| Commit message (Expand) | Author | Age | Files | Lines |
* | cmd/compile: enable more lenient type inference for untyped arguments | Robert Griesemer | 2023-05-18 | 1 | -0/+1 |
* | go/types, types2: permit partially instantiated functions as function arguments | Robert Griesemer | 2023-05-16 | 3 | -51/+148 |
* | go/types, types2: remove superfluous argument test in Checker.arguments | Robert Griesemer | 2023-05-16 | 1 | -11/+0 |
* | go/types: minor refactoring of missingMethod following CL 494615 | Rob Findley | 2023-05-12 | 1 | -4/+7 |
* | go/types, types2: call recordInstance in instantiateSignature | Robert Griesemer | 2023-05-12 | 1 | -19/+12 |
* | go/types, types2: be sure to type-check wrong methods in missingMethod | Rob Findley | 2023-05-12 | 1 | -0/+4 |
* | go/types, types2: move xlist next to targs in Checker.arguments signature | Robert Griesemer | 2023-05-10 | 2 | -6/+6 |
* | go/types, types2: control type inference in Checker.funcInst via infer argument | Robert Griesemer | 2023-05-10 | 2 | -12/+30 |
* | go/types, types2: explicitly look for nil type arguments in infer | Robert Griesemer | 2023-05-10 | 1 | -7/+13 |
* | all: fix a lot of comments | cui fliter | 2023-05-10 | 3 | -3/+3 |
* | go/types, types2: infer minimum default type for untyped arguments | Robert Griesemer | 2023-05-08 | 4 | -25/+70 |
* | go/types, types2: move functions for untyped constants into const.go | Robert Griesemer | 2023-05-08 | 3 | -293/+309 |
* | go/types, types2: remove genericMultiExpr (inline it in genericExprList) | Robert Griesemer | 2023-05-08 | 2 | -31/+30 |
* | go/types, types2: factor out maximum type computation | Robert Griesemer | 2023-05-05 | 2 | -9/+24 |
* | go/types, types2: better error message for bad assignment | Robert Griesemer | 2023-05-05 | 1 | -1/+1 |
* | go/types, types2: exclude untyped nil arguments early in type inference | Robert Griesemer | 2023-05-05 | 2 | -10/+8 |
* | go/types, types2: remove Config.EnableReverseTypeInference flag | Robert Griesemer | 2023-05-04 | 7 | -19/+11 |
* | go/types, types2: consider generic functions in inference simplify step | Robert Griesemer | 2023-05-04 | 1 | -0/+20 |
* | go/types, types2: rename generic function arguments | Robert Griesemer | 2023-05-04 | 2 | -2/+16 |
* | go/types, types2: make Checker.renameTParams work on any type | Robert Griesemer | 2023-05-04 | 2 | -9/+14 |
* | go/types, types2: rename allowVersionf to verifyVersionf | Robert Griesemer | 2023-05-03 | 8 | -21/+21 |
* | go/types, types2: use version data type instead of major,minor ints | Robert Griesemer | 2023-05-03 | 11 | -92/+108 |
* | go/types, types2: combine version check with version error reporting | Robert Griesemer | 2023-05-03 | 10 | -69/+49 |
* | cmd/compile: enable reverse type inference | Robert Griesemer | 2023-05-03 | 1 | -1/+6 |
* | go/types, types2: implement reverse type inference for function arguments | Robert Griesemer | 2023-05-03 | 6 | -41/+178 |
* | go/types, types2: isParameterized must be able to handle tuples | Robert Griesemer | 2023-05-01 | 2 | -5/+9 |
* | go/types, types2: remove parse (we only need mustParse for tests) | Robert Griesemer | 2023-04-28 | 1 | -19/+5 |
* | go/types, types2: extract package name from test sources automatically | Robert Griesemer | 2023-04-28 | 13 | -113/+113 |
* | go/types, types2: call mustParse when using mustTypecheck | Robert Griesemer | 2023-04-28 | 1 | -1/+8 |
* | go/types, types2: abort type unification if no progress is made | Robert Griesemer | 2023-04-21 | 1 | -1/+1 |
* | go/types: fix version downgrade bug without Config.GoVersion | Russ Cox | 2023-04-20 | 2 | -2/+5 |
* | go/types, types2: be deliberate with Checker.use in Checker.assignVar | Robert Griesemer | 2023-04-19 | 1 | -1/+2 |
* | go/types, types2: don't panic for invalid assignments of comma-ok expressions | Robert Griesemer | 2023-04-19 | 1 | -6/+16 |
* | go/types, types2: consistently set x.mode in Checker.assignment | Robert Griesemer | 2023-04-18 | 1 | -0/+3 |
* | go/types, types2: factor out type parameter renaming from type inference | Robert Griesemer | 2023-04-17 | 2 | -10/+16 |
* | go/types, types2: (slightly) refactor tpWalker.isParameterized (cleanup) | Robert Griesemer | 2023-04-17 | 1 | -29/+25 |
* | go/types,types2: fix panic in reverse type inference when -lang<go1.18 | Rob Findley | 2023-04-14 | 1 | -1/+7 |
* | go/types, cmd/compile/internal/types2: use per-file Go version | Russ Cox | 2023-04-14 | 15 | -47/+124 |
* | go/types,types2: add a test for const initializer panic | Rob Findley | 2023-04-13 | 1 | -0/+28 |
* | Revert "go/types, types2: remove unnecessary tests for x.typ == Typ[Invalid]" | Robert Findley | 2023-04-13 | 1 | -2/+6 |
* | go/types, types2: factor out inference cycle detector (cleanup) | Robert Griesemer | 2023-04-13 | 1 | -8/+19 |
* | go/types, types2: generalize tparamIndex to arbitrary type parameter lists | Robert Griesemer | 2023-04-13 | 1 | -10/+6 |
* | all: add wasip1 support | Johan Brandhorst-Satzkorn | 2023-04-11 | 1 | -1/+1 |
* | go/types, types2: adjust Check.funcInst signature | Robert Griesemer | 2023-03-29 | 2 | -18/+14 |
* | go/types, types2: slightly tighter checks in Checker.use | Robert Griesemer | 2023-03-29 | 1 | -1/+1 |
* | go/types, types2: reverse inference of function type arguments | Robert Griesemer | 2023-03-29 | 11 | -81/+194 |
* | go/types, types2: don't report assignment mismatch errors if there are other ... | Robert Griesemer | 2023-03-28 | 2 | -21/+29 |
* | go/types, types2: simplify Checker.exprList | Robert Griesemer | 2023-03-28 | 3 | -5/+5 |
* | go/types, types2: remove return values from Checker.assignVar/initVar | Robert Griesemer | 2023-03-28 | 1 | -19/+10 |
* | go/types, types2: refactor initVars | Robert Griesemer | 2023-03-28 | 1 | -45/+88 |