You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@griesemer and I started the dev.types branch with the intention of collaborating on some exploratory ideas for the typechecker, but ended up just having too many copies of go/types to keep track of (master, dev.typeparams [+types2], dev.go2go).
Some of the work we intended for dev.types is happening on dev.typeparams, some of it is postponed for later. dev.types is likely not to be needed for a while, so we think it should be deleted for now.
No particular urgency, but at some point could someone on the release team delete it? Thanks!
(if there's any reason not to delete it, let me know -- I just thought we should keep things tidy)
@griesemer and I started the dev.types branch with the intention of collaborating on some exploratory ideas for the typechecker, but ended up just having too many copies of go/types to keep track of (master, dev.typeparams [+types2], dev.go2go).
Some of the work we intended for dev.types is happening on dev.typeparams, some of it is postponed for later. dev.types is likely not to be needed for a while, so we think it should be deleted for now.
No particular urgency, but at some point could someone on the release team delete it? Thanks!
(if there's any reason not to delete it, let me know -- I just thought we should keep things tidy)
CC @cagedmantis @dmitshur @toothrot
The text was updated successfully, but these errors were encountered: