mirror
/
go
mirror of https://github.com/golang/go.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

go/types: updated README (after rebasing on top of master) 

Change-Id: I3d63346aa00b6de8a7ba725081affb155cc828f1
This commit is contained in:
Robert Griesemer 2020-04-02 15:11:10 -07:00
parent ac135a4bcf
commit ab835222b0
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/go/types/README
View File

@ -91,7 +91,7 @@ current state and issues.
TO PLAY WITH THIS PROTOTYPE
- Cherry-pick this CL on top of tip (the cherry-pick was tested with
tip at b3b174ffcf):
tip at 48a90d639d):
git fetch "https://go.googlesource.com/go" ... && git cherry-pick FETCH_HEAD
@ -128,14 +128,15 @@ This is solely to distinguish them from regular Go code and to prevent gofmt
from touching them. We expect a proper implementation to keep using ".go".
Updates:
8/04/2019: Several bugs around type inference and type instantiation fixed.
8/16/2019: Many issues around type instantiations and contracts with methods fixed.
10/8/2019: Contracts with type constraints starting to be usable.
8/4/2019 : Several bugs around type inference and type instantiation fixed.
8/16/2019 : Many issues around type instantiations and contracts with methods fixed.
10/8/2019 : Contracts with type constraints starting to be usable.
12/15/2019: Significant progress with much of the functionality present.
12/19/2019: Several bugs around type bounds checking fixed; more complex examples.
12/20/2019: Treat contracts as objects, not types anymore. Various bug fixes and more examples.
1/14/2020: Implemented contract embedding and instantiation. Lots of bug fixes.
3/12/2020: Many bug fixes. First steps towards a source-to-source translator.
3/18/2020: More bug fixes. Fixed type inference for directional channel types.
1/14/2020 : Implemented contract embedding and instantiation. Lots of bug fixes.
3/12/2020 : Many bug fixes. First steps towards a source-to-source translator.
3/18/2020 : More bug fixes. Fixed type inference for directional channel types.
4/2/2020 : More bug fixes. Improved gofmt for generic code. Better error messages.
Change-Id: I29839b5e95d7050fce1dcb3334d3d324883cf76f